Explore projects

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.

development version of erdal's repos. stripped down.

Generates ROS-Java Packages for DiNeROS

A workspace to automatically deploy a panda simulation.

Transforms a global Petri net to local Petri nets

Supplementary material for "How to improve the understanding of roles in modeling"

Docker image for artefact of "Continuous model validation using reference attribute grammars" (https://dl.acm.org/doi/10.1145/3276604.3276616)

Contains everything from the ModelJoin syntax for our role projects.

Distributed Petri Nets to ROS Toolchain

development version of erdal's repos. stripped down.

Sample applications for the panda simulation.

This repo represents a container for the solution of the Exercise 3 of the CBSE exercise.

Quality-based Software-Selection and Hardware-Mapping as Model Transformation Problem

Original NatSpec from DevBoost

Scripts to compile a patched x86_64 realtime kernel for Ubuntu 18.04 (Bionic Beaver). Debian packages available as CI artifacts. This kernel is required to control a Panda robot.