Explore projects

Transforms DiNeROS Petri Nets to P/T-Nets

Combination of RSUM and RSYNC including the query by-example approach.

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

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.

Fork of the official "rosjava_catkin_package_a" tutorial.

A workspace to automatically deploy a panda simulation.

A port of actionlib to rosjava.

Contains everything from the ModelJoin syntax for our role projects.

development version of erdal's repos. stripped down.

Sample applications for the panda simulation.

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

Project generate Scala Code for RSync and RSUM applications.

Original NatSpec from DevBoost