Le projet amiunique a pour but d'analyser la diversité des navigateurs web en collectant des données sur les configurations matérielles et logicielles des utilisateurs. Il permet de générer des statistiques sur les navigateurs et systèmes d'exploitation utilisés, contribuant ainsi à une meilleure compréhension de l'écosystème web.

Application TousAntiCovid pour la gestion de la crise sanitaire Covid-19 et le suivi épidémiologique par les autorités de santé. Informe les usagers s'ils ont été en contact avec une personne ayant été testée positive au Covid-19 et leur propose des conduites à tenir.

Distmura est un démonstrateur de traitement distribué de requêtes sur des graphes, utilisant le langage Mu-RA. Il permet d'exécuter des requêtes complexes sur des graphes distribués à l'aide d'un cluster Spark.

Projet gecos-float2fix est un outil de conversion de nombres flottants en nombres à point fixe, offrant une optimisation de la précision et de la plage dynamique ainsi que la génération de spécifications de quantification pour les nombres à point fixe.

Ce projet est un tutoriel qui explore les outils RV pour la vérification de programmes multithreadés. Il illustre les défis de la surveillance d'un programme parallèle en examinant l'interplay entre les exécutions de programmes et les formalismes de spécification. Le tutoriel utilise des moniteurs écrits manuellement avec AspectJ, Java-MOP, MarQ et Larva.