System update scheduled for Friday, December 1st between 08:15 and 08:45 CET. If unpleasant, please contact Andreas or Markus.
LaTeX project template for our students writing their BA/MA/DA theses
RAG part of the use case of the paper "Incremental Causal Connection for Self-Adaptive Systems Based on Relational Reference Attribute Grammars"
Use case of the paper "Incremental Causal Connection for Self-Adaptive Systems Based on Relational Reference Attribute Grammars"
Fork of https://bitbucket.org/extendj/ragdoc-builder/
Fork of https://bitbucket.org/extendj/ragdoc-view
Backup the notes that you have in your CodiMD history to a
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.
Connecting Conceptual Models using Relational Reference Attribute Grammars
Artefact source code for "Relational Reference Attribute Grammars: Improving Continuous Model Validation" (https://zenodo.org/record/3666664)
Jastadd solution for the live contest of TTC18
Quality-based Software-Selection and Hardware-Mapping as Model Transformation Problem