Explore projects

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

Modified version of the TLA+ tools for usage in ProB

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

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

Skript zur Vorlesung Data Science im Informatik Bachelor an der HHU

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

The ProB Model Checker and Animator Plugin for Rodin

adds access to prob via vscode

Kodkod Wrapper for ProB

The Camille Editor for Rodin