Transforms DiNeROS Petri Nets to P/T-Nets
Quality-based Software-Selection and Hardware-Mapping as Model Transformation Problem
Jastadd solution for the live contest of TTC18
Artefact source code for "Relational Reference Attribute Grammars: Improving Continuous Model Validation" (https://zenodo.org/record/3666664)
Connecting Conceptual Models using Relational Reference Attribute Grammars
Scripts to compile a patched x86_64 realtime kernel for Ubuntu 20.04 (Focal Fossa) and 18.04 (Bionic Beaver). Debian packages available as CI artifacts. This kernel is required to control a Panda robot.
Backup the notes that you have in your CodiMD history to a
Fork of https://bitbucket.org/extendj/ragdoc-view
Fork of https://bitbucket.org/extendj/ragdoc-builder/
Use case of the paper "Incremental Causal Connection for Self-Adaptive Systems Based on Relational Reference Attribute Grammars"
RAG part of the use case of the paper "Incremental Causal Connection for Self-Adaptive Systems Based on Relational Reference Attribute Grammars"