Real-Time Systems Lab

iflye

Java 0 0

Incremental Fast Lightweight (y) virtual network Embedding framework

Updated 2024-05-20 11:42:14 +00:00

gips-examples

Xtend 0 0

Examples for the GIPS framework.

Updated 2024-05-20 11:08:09 +00:00

gips

Java 0 0

Graph-Based ILP Problem Specification Tool

Updated 2024-05-19 13:56:42 +00:00

gips-vm

Shell 0 0

CI and build scripts for the GIPS framework VM based on Ubuntu.

Updated 2024-05-19 13:25:02 +00:00

tchecker

C++ 0 0

TChecker is an open-source verification tool for timed automata

Updated 2024-05-17 14:12:12 +00:00

Thesis_FG_ES

TeX 0 0

Template für Abschlussarbeiten

Updated 2024-05-16 14:35:40 +00:00

gips-gcm-2023-example

Java 0 0

GIPS GCM 2023 example

Updated 2024-04-26 08:23:59 +00:00

gips-tests

Java 0 0

Test projects for the GIPS framework.

Updated 2024-04-19 10:57:40 +00:00

gips-website-hugo

CSS 0 0

Hugo-based website for the GIPS framework project.

Updated 2024-04-08 16:14:37 +00:00

gips-updatesite

HTML 0 0

Eclipse updatesite for the GIPS framework plug-in.

Updated 2024-04-05 13:25:45 +00:00

slide-templates

TeX 0 0

Templates for student presentations

Updated 2024-04-04 16:48:08 +00:00

gips-eclipse-build

Shell 0 0

CI and build scripts for GIPS framework Eclipse installations.

Updated 2024-04-04 12:47:00 +00:00

echtzeitkiosk-frontend

TypeScript 0 0

Updated 2023-06-23 07:20:46 +00:00

gips-gcm-2023-artifact-vm

Shell 0 0

Setup to provision the GIPS GCM 2023 artifact VM

Updated 2023-05-09 14:12:08 +00:00

gips-seams-2023-artifact-vm

Shell 0 0

Setup to provision the GIPS SEAMS 2023 artifact VM

Updated 2023-01-29 10:25:47 +00:00