Real-Time Systems Lab

Pinned Repositories

cardygan
Language:Alloy3 4 01
emfViz
Language:Java2 4 00
gips
Graph-Based (M)ILP Problem Specification Tool
Language:Java3 3 951
gips-examples
Examples for the GIPS framework.
Language:Xtend2 3 101
gips-gcm-2023-example
GIPS GCM 2023 example
Language:Java1 2 00
gips-website-hugo
Hugo-based website for the GIPS framework project.
Language:CSS2 3 110
hulk-ase-2016
Language:Java2 6 10
iflye
Incremental Fast Lightweight (y) virtual network Embedding framework
Language:Java4 3 452
SimSG
A simulation framework build around the eMoflon-Tool, based on the concept of stochastic graph transformations.
Language:Java3 8 00
Thesis_FG_ES
Template for student theses
Language:TeX3 5 41

Real-Time Systems Lab's Repositories

Echtzeitsysteme/iflye
Incremental Fast Lightweight (y) virtual network Embedding framework
Language:Java4 3 452
Echtzeitsysteme/gips
Graph-Based (M)ILP Problem Specification Tool
Language:Java3 3 951
Echtzeitsysteme/SimSG
A simulation framework build around the eMoflon-Tool, based on the concept of stochastic graph transformations.
Language:Java3 8 00
Echtzeitsysteme/Thesis_FG_ES
Template for student theses
Language:TeX3 5 41
Echtzeitsysteme/emfViz
Language:Java2 4 00
Echtzeitsysteme/gips-examples
Examples for the GIPS framework.
Language:Xtend2 3 101
Echtzeitsysteme/gips-website-hugo
Hugo-based website for the GIPS framework project.
Language:CSS2 3 110
Echtzeitsysteme/able
A framework for prototyping applications consisting of Android devices, Bluetooth LE communication, and Embedded hardware
Language:C1 5 440
Echtzeitsysteme/echtzeitkiosk-backend
Language:TypeScript1 5 100
Echtzeitsysteme/echtzeitkiosk-frontend
Language:TypeScript1 5 111
Echtzeitsysteme/gips-eclipse-build
CI and build scripts for GIPS framework Eclipse installations.
Language:Shell1 2 19
Echtzeitsysteme/gips-gcm-2023-artifact-vm
Setup to provision the GIPS GCM 2023 artifact VM
Language:Shell1 3 0
Echtzeitsysteme/gips-gcm-2023-example
GIPS GCM 2023 example
Language:Java1 2 00
Echtzeitsysteme/gips-tests
Test projects for the GIPS framework.
Language:Java1 4 211
Echtzeitsysteme/gips-updatesite
Eclipse updatesite for the GIPS framework plug-in.
Language:HTML1 3 2
Echtzeitsysteme/gips-vm
CI and build scripts for the GIPS framework VM based on Ubuntu.
Language:Shell1 2 11
Echtzeitsysteme/Re.actionFramework
Framework for the Re.action language
Language:Java10
Echtzeitsysteme/Re.actionFramework-tests
Demos and Unit-Tests for the Re.action Framework
Language:Java1 5 00
Echtzeitsysteme/slide-templates
Templates for student presentations
Language:TeX1 3 20
Echtzeitsysteme/tud-cppp-server
Holds the resources of the Central Server-App for the Wide-Sensor-Network Task of the CPPP
Language:Java1 9 0
Echtzeitsysteme/tchecker
TChecker is an open-source verification tool for timed automata
Language:C++00
Echtzeitsysteme/timed-automata-analysis-backend
0 1 00
Echtzeitsysteme/timed-automata-analysis-frontend
A project for analyzing Timed Automata.
Language:TypeScript00
Echtzeitsysteme/cardygan-mvn
Temporary repository for providing maven releases of cardygan.
5 0
Echtzeitsysteme/cmake-cortex-m4
Language:C3 0
Echtzeitsysteme/esp_wifi_repeater
A full functional WiFi Repeater (correctly: a WiFi NAT Router)
Language:C1 0
Echtzeitsysteme/fm4_eclipse_template
Language:C5 0
Echtzeitsysteme/fm4_qemu
A fork of xPack QEMU ARM project, used to simulate the S6E2CC microcontroller
Language:C1 0
Echtzeitsysteme/SimSG-tests
Demos and Unit-Tests for the SimSG simulation tool.
Language:Java
Echtzeitsysteme/STTT-SC-Eval
Language:HTML6 0