Explore projects

ProB Modelling Examples as Jupyter Notebooks.

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

Kodkod Wrapper for ProB

The Camille Editor for Rodin

TBA

LaTeX-Vorlage für Bachelor und Masterarbeiten.

Standalone version of the Rodin Event-B parser and AST, published to Maven Central

Code for "EmoWOZ: A Large-Scale Corpus and Labelling Scheme for Emotion Recognition in Task-Oriented Dialogue Systems".