Explore projects

The ProB Model Checker and Animator Plugin for Rodin

Unofficial implementation of the HHU slide deck in the corporate design portal in LaTeX.

TBA

Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.

XBA problem generation from SBML code metabolic/kinetic models. Support of Growth Balance Analysis (GBA), FBA and RBA

Generate parsers using SableCC as part of a Gradle build

Code for "Dialogue Evaluation with Offline Reinforcement Learning" paper

Prune a metabolic model (remove redundant reactions). Based on Network Reducer (Erdrich et al. 2015).

Public codebase for "Dialogue Term Extraction using Transfer Learning and Topological Data Analysis" published at SIGDIAL 2022.