Explore projects

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

Skript zur Vorlesung Data Science im Informatik Bachelor an der HHU

Web-Version: https://voelkel.pages.cs.uni-duesseldorf.de/ds-skript

Generate parsers using SableCC as part of a Gradle build

Description: Python package sbmlxdf. Converts between SBML (.xml) and Pandas dataframes, Excel spreadsheets (.xlsx), *.csv. SBML model creation, modification, validation and access.

The ProB Model Checker and Animator Plugin for Rodin

Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.

Public codebase for "Local Topology Measures of Contextual Language Model Latent Spaces With Applications to Dialogue Term Extraction" published in SIGDIAL 2024.

Modified version of the TLA+ tools for usage in ProB

Repository for the Masters Thesis "Debiasing Text-to-Image Diffusion Models" and the corresponding pipeline Debias DIffusion