Real-Time Systems Lab

tchecker

C++ 0 0

TChecker is an open-source verification tool for timed automata

Updated 2024-10-12 17:59:10 +00:00

timed-automata-analysis-frontend

TypeScript 0 0

A project for analyzing Timed Automata.

Updated 2024-10-11 23:50:16 +00:00

gips-website-hugo

CSS 0 0

Hugo-based website for the GIPS framework project.

Updated 2024-10-11 09:57:12 +00:00

gips-tests

Java 0 0

Test projects for the GIPS framework.

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

gips

Java 0 0

Graph-Based ILP Problem Specification Tool

Updated 2024-10-10 11:47:48 +00:00

gips-examples

Xtend 0 0

Examples for the GIPS framework.

Updated 2024-10-07 13:30:12 +00:00

slide-templates

TeX 0 0

Templates for student presentations

Updated 2024-09-17 12:52:31 +00:00

gips-eclipse-build

Shell 0 0

CI and build scripts for GIPS framework Eclipse installations.

Updated 2024-09-16 06:34:11 +00:00

iflye

Java 0 0

Incremental Fast Lightweight (y) virtual network Embedding framework

Updated 2024-08-02 11:31:55 +00:00

Thesis_FG_ES

TeX 0 0

Template für Abschlussarbeiten

Updated 2024-07-30 12:29:09 +00:00

gips-updatesite

HTML 0 0

Eclipse updatesite for the GIPS framework plug-in.

Updated 2024-07-26 13:36:36 +00:00

timed-automata-analysis-backend

0 0

Updated 2024-06-19 15:49:38 +00:00

gips-vm

Shell 0 0

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

Updated 2024-06-07 07:35:23 +00:00

gips-gcm-2023-example

Java 0 0

GIPS GCM 2023 example

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

echtzeitkiosk-frontend

TypeScript 0 0

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