Repositories list

• gips-examples

  Public
  Examples for the GIPS framework.

  simulationemfpattern-matching+ 12modelmodelinggipsilpgtemoflonpm+ 5

  Java

  •

  GNU General Public License v3.0

  •5•2•1•2•Updated Sep 22, 2025Sep 22, 2025

• gips

  Public
  Graph-Based (M)ILP Problem Specification Tool

  simulationemfpattern-matching+ 14modelmodelinggipsilpgtemoflonvirtual-network-embedding+ 7

  Java

  •

  GNU General Public License v3.0

  •3•5•27•1•Updated Sep 22, 2025Sep 22, 2025

• iflye

  Public
  Incremental Fast Lightweight (y) virtual network Embedding framework

  simulationemfnetwork+ 8pattern-matchingmodelvirtualilpembeddingemoflongraph-transformation+ 1

  Java

  •

  GNU General Public License v3.0

  •3•4•12•0•Updated Sep 16, 2025Sep 16, 2025

• tchecker

  Public
  TChecker is an open-source verification tool for timed automata

  C++

  •

  MIT License

  •21•0•0•1•Updated Sep 15, 2025Sep 15, 2025

• gips-vm

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

  simulationemfpattern-matching+ 11modelmodelingilpgtemoflonpminteger-linear-programming+ 4

  Shell

  •

  GNU General Public License v3.0

  •2•1•0•0•Updated Sep 14, 2025Sep 14, 2025

• gips-eclipse-build

  Public
  CI and build scripts for GIPS framework Eclipse installations.

  cisimulationemf+ 15eclipsepattern-matchingmodelmodelingidegipsilp+ 8

  Shell

  •

  GNU General Public License v3.0

  •3•1•1•0•Updated Sep 13, 2025Sep 13, 2025

• tcheckerpy

  Public
  Python

  •

  MIT License

  •0•0•0•0•Updated Sep 8, 2025Sep 8, 2025

• gips-updatesite

  Public
  Eclipse updatesite for the GIPS framework plug-in.

  simulationemfpattern-matching+ 13modelmodelinggipsilpgtemoflonpm+ 6

  HTML

  •

  GNU General Public License v3.0

  •1•1•0•0•Updated Sep 4, 2025Sep 4, 2025

• gips-tests

  Public
  Test projects for the GIPS framework.

  gipsemoflon

  Java

  •

  GNU General Public License v3.0

  •2•1•10•5•Updated Sep 3, 2025Sep 3, 2025

• tchecker-webapp

  Public
  TypeScript

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Sep 1, 2025Sep 1, 2025

• tchecker_mutation

  Public
  Python

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Aug 24, 2025Aug 24, 2025

• gips-website-hugo

  Public
  Hugo-based website for the GIPS framework project.

  static-site-generatorwebhugo+ 2gipsemoflon

  CSS

  •

  GNU General Public License v3.0

  •0•2•1•0•Updated Aug 12, 2025Aug 12, 2025

• Thesis_FG_ES

  Public
  Template for student theses

  latexthesislatex-template

  BibTeX Style

  •0•3•2•0•Updated Jul 29, 2025Jul 29, 2025

• gips-ihtc-2024-submission

  Public
  GIPS-based submission for the IHTC (Integrated Healthcare Timetabling Competition) 2024.

  competitionmilpgips+ 6framworkilpsubmissionmixed-integer-programmingihtcihtc-2024

  Java

  •

  GNU General Public License v3.0

  •5•2•0•0•Updated Jun 25, 2025Jun 25, 2025

• echtzeitkiosk-backend

  Public
  TypeScript

  •

  GNU General Public License v3.0

  •0•1•8•0•Updated May 27, 2025May 27, 2025

• echtzeitkiosk-frontend

  Public
  TypeScript

  •

  GNU General Public License v3.0

  •1•1•10•0•Updated May 27, 2025May 27, 2025

• juppaal

  Public
  Java API for working with UPPAAL model files

  Java

  •7•0•0•0•Updated May 23, 2025May 23, 2025

• timed-automata-analysis-frontend

  Public
  A project for analyzing Timed Automata.

  TypeScript

  •

  MIT License

  •1•0•0•0•Updated Apr 14, 2025Apr 14, 2025

• gips-gcm-2023-example

  Public archive
  GIPS GCM 2023 example

  examplegcmgips+ 2artifactgcm-2023

  Java

  •

  GNU General Public License v3.0

  •0•1•0•0•Updated Nov 27, 2024Nov 27, 2024

• gips-gcm-2023-artifact-vm

  Public archive
  Setup to provision the GIPS GCM 2023 artifact VM

  vagrantvmvirtualbox+ 5provisioninggcmgipsemoflongcm-2023

  Shell

  •

  GNU General Public License v3.0

  •0•1•0•0•Updated Nov 27, 2024Nov 27, 2024

• slide-templates

  Public
  Templates for student presentations

  templatetexlatex+ 3slidespowerpointpptx

  TeX

  •0•1•0•0•Updated Nov 12, 2024Nov 12, 2024

• timed-automata-analysis-backend

  Public
  MIT License

  •0•0•0•0•Updated Jun 19, 2024Jun 19, 2024

• cmake-cortex-m4

  Public
  C

  •0•0•0•0•Updated Sep 25, 2022Sep 25, 2022

• emfViz

  Public
  Java

  •0•2•0•0•Updated Sep 14, 2022Sep 14, 2022

• SimSG

  Public
  A simulation framework build around the eMoflon-Tool, based on the concept of stochastic graph transformations.

  Java

  •1•3•0•0•Updated Apr 12, 2022Apr 12, 2022

• tud-cppp-server

  Public
  Holds the resources of the Central Server-App for the Wide-Sensor-Network Task of the CPPP

  Java

  •0•1•0•2•Updated Jan 4, 2022Jan 4, 2022

• fm4_eclipse_template

  Public
  C

  •0•0•0•0•Updated Jun 30, 2021Jun 30, 2021

• fm4_qemu

  Public
  A fork of xPack QEMU ARM project, used to simulate the S6E2CC microcontroller

  C

  •

  Other

  •16•0•0•0•Updated May 19, 2021May 19, 2021

• SimSG-tests

  Public
  Demos and Unit-Tests for the SimSG simulation tool.

  Java

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Apr 15, 2021Apr 15, 2021

• Re.actionFramework

  Public
  Framework for the Re.action language

  Java

  •0•1•0•0•Updated Feb 2, 2021Feb 2, 2021