Repositories list

• gips-examples

  Public
  Examples for the GIPS framework.

  simulationemfpattern-matching+ 12

  simulationemfpattern-matchingmodelmodelinggipsilpgtemoflonpm+ 5

  Java

  •

  GNU General Public License v3.0

  •77 forks•22 stars•11 issue•00 pull requests•Updated Apr 16, 2026Apr 16, 2026

• tcheckerpy

  Public
  Python

  •

  MIT License

  •00 forks•11 star•00 issues•00 pull requests•Updated Apr 15, 2026Apr 15, 2026

• tchecker

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

  C++

  •

  MIT License

  •2222 forks•11 star•00 issues•00 pull requests•Updated Apr 15, 2026Apr 15, 2026

• gips

  Public
  Graph-Based (M)ILP Problem Specification Tool

  simulationemfpattern-matching+ 14

  simulationemfpattern-matchingmodelmodelinggipsilpgtemoflonvirtual-network-embedding+ 7

  Java

  •

  GNU General Public License v3.0

  •33 forks•55 stars•2323 issues•00 pull requests•Updated Apr 14, 2026Apr 14, 2026

• gips-vm

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

  simulationemfpattern-matching+ 11

  simulationemfpattern-matchingmodelmodelingilpgtemoflonpminteger-linear-programming+ 4

  Shell

  •

  GNU General Public License v3.0

  •33 forks•11 star•00 issues•00 pull requests•Updated Apr 12, 2026Apr 12, 2026

• gips-eclipse-build

  Public
  CI and build scripts for GIPS framework Eclipse installations.

  cisimulationemf+ 15

  cisimulationemfeclipsepattern-matchingmodelmodelingidegipsilp+ 8

  Shell

  •

  GNU General Public License v3.0

  •44 forks•11 star•00 issues•00 pull requests•Updated Apr 12, 2026Apr 12, 2026

• gips-tests

  Public
  Test projects for the GIPS framework.

  gipsemoflon

  gipsemoflon

  Java

  •

  GNU General Public License v3.0

  •22 forks•11 star•99 issues•55 pull requests•Updated Apr 1, 2026Apr 1, 2026

• gips-website-hugo

  Public
  Hugo-based website for the GIPS framework project.

  static-site-generatorwebhugo+ 2

  static-site-generatorwebhugogipsemoflon

  CSS

  •

  GNU General Public License v3.0

  •00 forks•22 stars•00 issues•00 pull requests•Updated Mar 19, 2026Mar 19, 2026

• tchecker-webapp

  Public
  TypeScript

  •

  GNU General Public License v3.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Mar 12, 2026Mar 12, 2026

• gips-updatesite

  Public
  Eclipse updatesite for the GIPS framework plug-in.

  simulationemfeclipse+ 13

  simulationemfeclipsepattern-matchingmodelmodelinggipsilpgtemoflon+ 6

  HTML

  •

  GNU General Public License v3.0

  •11 fork•11 star•00 issues•00 pull requests•Updated Mar 12, 2026Mar 12, 2026

• gips-examples-2026-02-24-branches-backup

  Public archive
  Examples for the GIPS framework.

  Java

  •

  GNU General Public License v3.0

  •77 forks•00 stars•00 issues•00 pull requests•Updated Feb 20, 2026Feb 20, 2026

• iflye

  Public
  Incremental Fast Lightweight (y) virtual network Embedding framework

  simulationemfnetwork+ 8

  simulationemfnetworkpattern-matchingmodelvirtualilpembeddingemoflongraph-transformation+ 1

  Java

  •

  GNU General Public License v3.0

  •44 forks•55 stars•1212 issues•00 pull requests•Updated Jan 27, 2026Jan 27, 2026

• ihtp-paper-2025-resources

  Public
  Resources for the GIPS paper on the Integrated Healthcare Timetabling Problem (IHTP) 2025.

  gipsihtpspecial-issue+ 3

  gipsihtpspecial-issueihtcihtc-2024ordal

  Java

  •

  GNU General Public License v3.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Nov 12, 2025Nov 12, 2025

• tchecker_mutation

  Public
  Python

  •

  GNU General Public License v3.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Oct 20, 2025Oct 20, 2025

• reoptimisation-paper-2025-example

  Public
  Example implementation of the paper: "Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision"

  gipsmdomodel-driven-optimisation+ 3

  gipsmdomodel-driven-optimisationre-optimisation-problemsreoptimisationspecification-rewriting

  Java

  •

  GNU General Public License v3.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Sep 16, 2025Sep 16, 2025

• Thesis_FG_ES

  Public
  Template for student theses

  latexthesislatex-template

  latexthesislatex-template

  BibTeX Style

  •00 forks•33 stars•22 issues•00 pull requests•Updated Jul 29, 2025Jul 29, 2025

• gips-ihtc-2024-submission

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

  competitionmilpgips+ 6

  competitionmilpgipsframworkilpsubmissionmixed-integer-programmingihtcihtc-2024

  Java

  •

  GNU General Public License v3.0

  •77 forks•22 stars•00 issues•00 pull requests•Updated Jun 25, 2025Jun 25, 2025

• echtzeitkiosk-backend

  Public
  TypeScript

  •

  GNU General Public License v3.0

  •00 forks•11 star•88 issues•00 pull requests•Updated May 27, 2025May 27, 2025

• echtzeitkiosk-frontend

  Public
  TypeScript

  •

  GNU General Public License v3.0

  •00 forks•11 star•1010 issues•00 pull requests•Updated May 27, 2025May 27, 2025

• juppaal

  Public
  Java API for working with UPPAAL model files

  Java

  •77 forks•00 stars•00 issues•00 pull requests•Updated May 23, 2025May 23, 2025

• timed-automata-analysis-frontend

  Public
  A project for analyzing Timed Automata.

  TypeScript

  •

  MIT License

  •11 fork•00 stars•00 issues•00 pull requests•Updated Apr 14, 2025Apr 14, 2025

• gips-gcm-2023-example

  Public archive
  GIPS GCM 2023 example

  examplegcmgips+ 2

  examplegcmgipsartifactgcm-2023

  Java

  •

  GNU General Public License v3.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Nov 27, 2024Nov 27, 2024

• gips-gcm-2023-artifact-vm

  Public archive
  Setup to provision the GIPS GCM 2023 artifact VM

  vagrantvmvirtualbox+ 5

  vagrantvmvirtualboxprovisioninggcmgipsemoflongcm-2023

  Shell

  •

  GNU General Public License v3.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Nov 27, 2024Nov 27, 2024

• slide-templates

  Public
  Templates for student presentations

  templatetexlatex+ 3

  templatetexlatexslidespowerpointpptx

  TeX

  •00 forks•11 star•00 issues•00 pull requests•Updated Nov 12, 2024Nov 12, 2024

• timed-automata-analysis-backend

  Public
  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 19, 2024Jun 19, 2024

• cmake-cortex-m4

  Public
  C

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 25, 2022Sep 25, 2022

• emfViz

  Public
  Java

  •00 forks•22 stars•00 issues•00 pull requests•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

  •11 fork•33 stars•00 issues•00 pull requests•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

  •00 forks•11 star•00 issues•22 pull requests•Updated Jan 4, 2022Jan 4, 2022

• fm4_eclipse_template

  Public
  C

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 30, 2021Jun 30, 2021