Pinned Repositories
cardygan
emfViz
gips
Graph-Based (M)ILP Problem Specification Tool
gips-examples
Examples for the GIPS framework.
gips-gcm-2023-example
GIPS GCM 2023 example
gips-website-hugo
Hugo-based website for the GIPS framework project.
hulk-ase-2016
iflye
Incremental Fast Lightweight (y) virtual network Embedding framework
SimSG
A simulation framework build around the eMoflon-Tool, based on the concept of stochastic graph transformations.
Thesis_FG_ES
Template for student theses
Real-Time Systems Lab's Repositories
Echtzeitsysteme/gips
Graph-Based (M)ILP Problem Specification Tool
Echtzeitsysteme/iflye
Incremental Fast Lightweight (y) virtual network Embedding framework
Echtzeitsysteme/SimSG
A simulation framework build around the eMoflon-Tool, based on the concept of stochastic graph transformations.
Echtzeitsysteme/Thesis_FG_ES
Template for student theses
Echtzeitsysteme/emfViz
Echtzeitsysteme/gips-examples
Examples for the GIPS framework.
Echtzeitsysteme/gips-website-hugo
Hugo-based website for the GIPS framework project.
Echtzeitsysteme/able
A framework for prototyping applications consisting of Android devices, Bluetooth LE communication, and Embedded hardware
Echtzeitsysteme/echtzeitkiosk-backend
Echtzeitsysteme/echtzeitkiosk-frontend
Echtzeitsysteme/gips-eclipse-build
CI and build scripts for GIPS framework Eclipse installations.
Echtzeitsysteme/gips-gcm-2023-artifact-vm
Setup to provision the GIPS GCM 2023 artifact VM
Echtzeitsysteme/gips-gcm-2023-example
GIPS GCM 2023 example
Echtzeitsysteme/gips-tests
Test projects for the GIPS framework.
Echtzeitsysteme/gips-updatesite
Eclipse updatesite for the GIPS framework plug-in.
Echtzeitsysteme/gips-vm
CI and build scripts for the GIPS framework VM based on Ubuntu.
Echtzeitsysteme/Re.actionFramework
Framework for the Re.action language
Echtzeitsysteme/Re.actionFramework-tests
Demos and Unit-Tests for the Re.action Framework
Echtzeitsysteme/slide-templates
Templates for student presentations
Echtzeitsysteme/tud-cppp-server
Holds the resources of the Central Server-App for the Wide-Sensor-Network Task of the CPPP
Echtzeitsysteme/tchecker
TChecker is an open-source verification tool for timed automata
Echtzeitsysteme/timed-automata-analysis-backend
Echtzeitsysteme/timed-automata-analysis-frontend
A project for analyzing Timed Automata.
Echtzeitsysteme/cardygan-mvn
Temporary repository for providing maven releases of cardygan.
Echtzeitsysteme/cmake-cortex-m4
Echtzeitsysteme/esp_wifi_repeater
A full functional WiFi Repeater (correctly: a WiFi NAT Router)
Echtzeitsysteme/fm4_eclipse_template
Echtzeitsysteme/fm4_qemu
A fork of xPack QEMU ARM project, used to simulate the S6E2CC microcontroller
Echtzeitsysteme/SimSG-tests
Demos and Unit-Tests for the SimSG simulation tool.
Echtzeitsysteme/STTT-SC-Eval