• TRE:
  • 2005-2006: Verification symbolique de protocoles (voir TReX)
  • 2004-2005: Modélisation et vérification de programmes concurrents récursifs, with Tayssir Touili (à continuer, voir SPADE)
  • 2002-2003:
    • Utilisation et interface avec une librairie de representation des contraintes lineaires par des automates (RVA) (à continuer)
    • Utilisation et interface avec la librairie GNU GMP pour l'arithmétique en précision arbitraire (disponible)
    • Construction d'abstractions d'automates à compteurs, (disponible) with A. Bouajjani
  • 2001-2002:
    • Utilisation de la bibliotheque NDD pour la representation de contraintes, (à continuer) with A. Bouajjani
  • 1999-2001:
    • Exploration partielle d'automates, (indisponible) with P. Gastin
    • Programmation d'une bibliothèque de BDD et extension aux DDD (indisponible)
    • Etude comparative sur les structures de données utilisées pour la vérification des systèmes temps réel (disponible)
• Individual projects for undergraduate students:
  • ENS07: Planification robotique à l'aide d'automates temporisés (disponible)
  • X02: Structures de representation efficaces pour les contraintes (disponible)
  • X02: Techniques d'approximation de contraintes (disponible)

---

Last modified: Tue Apr 28 20:43:05 CEST 2015 Back to Mihaela's Home Page