Explore projects

Simulator and mobility models used in research works developed during the HUNTED project.

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"

Unlinkable Updatable Hiding Databases and Privacy-Preserving Loyalty Programs

Simulations of the LeoRover for ROS

A speech-to-speech autoencoder.

Repository for rainbow deliverable for Pierre

Tamarin Prover on the Luxembourg HPC

Tool to draw the templates of chaotic attractors.