i11, RWTH Aachen

embeddedRTPS

Portable implementation of the RTPS/DDS protocol for embedded devices.

sequential-convex-programming

embeddedRTPS-STM32

cpm_lab

p-dmpc

Prioritized Distributed Model Predictive Control for Networked Trajectory Planning

embeddedRTPS-Linux

control-in-networked-vehicles

Rosless-Lanelet2

Map handling framework for automated driving without ROS dependency

cardiovascular-and-respiratory-model

IntegrationService-UDPBridge

lexy

C++ parsing DSL

novelty-detection-analysis-system

Novelty Detection analysis system to detect and imputate data inconsistencies in ICU datasets.

ArcadeBT

clam-pi

Static Analyzer for LLVM bitcode based on Abstract Interpretation

CPM-Scenario

Library for handling CPM scenario files.

crab-pi

A library for building abstract interpretation-based analyses

Dataset-Converter

A tool to convert datasets into scenarios for the CPM Lab.

F1-NextGen-Low-Level-Controller

Low level controller for F1-NextGen

F1-NextGen-Mid-Level-Controller

Mid level controller for F1-NextGen

micro_ros_espidf_component

micro-ROS ESP32 IDF component and sample code

mros2-esp32

reference implementation of mROS 2 for ESP32 boards

RF-for-ARDS-classification

Random Forest implementation for the classification of ARDS in ICU time-series data

ssl-vehicle-tracking

Provides ROS2 packages with which vehicles can be tracked on a pressure sensitive surface layer. This is divided into wheel detection and tracking as well as vehicle detection.

STLLVM-Examples

Examples of STLLVM generated by the LLVM IR compiler

Summary-ETFA22

Source code and benchmarks for the ETFA22 submission.

TSA-FMICS22

Source code and benchmarks for the FMICS22 submission.

uti_msgs

z3

The Z3 Theorem Prover