Explore projects

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

The ProB Model Checker and Animator Plugin for Rodin

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

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

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

This repository deals with the data exploration of the data contained in D-BAS.

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

Logstash Elasticsearch Kibana