Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
A dockerised version of Stab2d
-
-
Tamarin Prover on the Luxembourg HPC
-
Code for the paper "FastCycle: A Message Sharing Framework for Modular Automated Driving Systems".
-
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"
-
DemaRQ: Demarcator for ReQuirements
-
Multi-solution for detecting and resolving anaphoric ambiguity in requirements
-
Tool to draw the templates of chaotic attractors.
-
-
Unlinkable Updatable Hiding Databases and Privacy-Preserving Loyalty Programs
-
-
-
-
-
Emerging Inter-Swarm Collaboration for Surveillance Using Pheromones and Evolutionary Techniques
swarm robotics mobility model inter-swarm ...+ 5 more -
A Competitive Predator-Prey Approach to Enhance Surveillance by UAV Swarms
swarm robotics computer sim... mobility model+ 2 more