Software that I use when teaching

Unlinkable Updatable Hiding Databases and Privacy-Preserving Loyalty Programs

Code for the paper "FastCycle: A Message Sharing Framework for Modular Automated Driving Systems".

Multi-solution for detecting and resolving anaphoric ambiguity in requirements

Simulations of the LeoRover for ROS

The artifact tool: Towards AnaPHoric ambiguity detection and reSolution In Requirements". This tool is associated with the ICSE22 technical paper titled "Automated Handling of Anaphoric Ambiguity in Requirements: A Multi-solution Study"

A speech-to-speech autoencoder.

Repository to store the utility source code for the SPARK Challenge 2022.

Repository for rainbow deliverable for Pierre

A dockerised version of Stab2d