Explore projects

Samba Password Client - change your password on fileserver

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

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

Handwritten Text Recognition (HTR) system implemented with TensorFlow.

A language server implementation for B, using ProB as backend, based on Java/Kotlin

LaTeX-Vorlage für Bachelor und Masterarbeiten.

TBA

The Camille Editor for Rodin

Kodkod Wrapper for ProB

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