Explore projects
-
Docker image for artefact of "Continuous model validation using reference attribute grammars" (https://dl.acm.org/doi/10.1145/3276604.3276616)
Updated -
JastAdd / Ragdoc Builder
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
Jesper / trainbenchmark
BSD 3-Clause "New" or "Revised" LicenseUpdated -
JastAdd / ecore2relast
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Contains everything from the ModelJoin syntax for our role projects.
Updated -
-
JastAdd / Reusable Analysis
GNU General Public License v3.0 onlyUpdated -
Model refactoring with relational Reference Attribute Grammars
Updated -
CeTI / ROS / Ubuntu Realtime Kernel
BSD 3-Clause "New" or "Revised" LicenseScripts 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.
Updated -
development version of erdal's repos. stripped down.
Updated -
JastAdd / pnml / pnml-relast
BSD 3-Clause "New" or "Revised" LicenseA grammar and reader for Petri nets in the PNML format.
Updated -
Updated
-
JastAdd / ros2rag
BSD 3-Clause "New" or "Revised" LicenseMPM4CPS Paper - Codename ‘Ros2Rag’
Updated -
-
Sample applications for the panda simulation.
Updated -
A workspace to automatically deploy a panda simulation.
Updated -
JastAdd / relast-preprocessor
BSD 3-Clause "New" or "Revised" LicenseAn extensible relast source-to-source compiler
Updated