Real-Time Systems Lab

iflye

Java 0 0

Incremental Fast Lightweight (y) virtual network Embedding framework

Updated 2025-01-24 07:52:34 +00:00

gips-examples

HTML 0 0

Examples for the GIPS framework.

Updated 2025-01-24 07:52:28 +00:00

gips

Java 0 0

Graph-Based ILP Problem Specification Tool

Updated 2025-01-23 00:04:57 +00:00

gips-tests

Java 0 0

Test projects for the GIPS framework.

Updated 2025-01-22 13:18:08 +00:00

gips-eclipse-build

Shell 0 0

CI and build scripts for GIPS framework Eclipse installations.

Updated 2025-01-21 14:21:36 +00:00

tchecker

C++ 0 0

TChecker is an open-source verification tool for timed automata

Updated 2025-01-13 14:13:00 +00:00

gips-website-hugo

CSS 0 0

Hugo-based website for the GIPS framework project.

Updated 2025-01-02 08:12:40 +00:00

timed-automata-analysis-frontend

TypeScript 0 0

A project for analyzing Timed Automata.

Updated 2024-12-03 16:23:12 +00:00

Thesis_FG_ES

TeX 0 0

Template für Abschlussarbeiten

Updated 2024-12-02 09:16:13 +00:00

gips-updatesite

HTML 0 0

Eclipse updatesite for the GIPS framework plug-in.

Updated 2024-12-02 08:10:04 +00:00

gips-gcm-2023-example

Java 0 0

GIPS GCM 2023 example

Updated 2024-11-27 13:29:31 +00:00

gips-gcm-2023-artifact-vm

Shell 0 0

Setup to provision the GIPS GCM 2023 artifact VM

Updated 2024-11-27 13:28:03 +00:00

slide-templates

TeX 0 0

Templates for student presentations

Updated 2024-11-06 13:02:13 +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