• Activités professionnelles/Professional Activities

  • 16th International Symposium on Temporal Representation and Reasoning, 2009 (PC member).
  • 15th International Symposium on Temporal Representation and Reasoning, 2008 (local organization co-chair and PC member)
  • Membre de/Member of ASL, IEEE-CS, ACM.

  ---

• Publications

  ---

• Logiciels/Softwares

  • Un mode Emacs pour le model-checker NuSMV/An Emacs mode for the model-checker NuSMV

  ---

• Étudiants/Students

  • Doctorat/PhD

    • 2005-2008 Sylvain Hallé Spécification, validation et satisfaisabilité de contraintes hybrides par réduction à la logique temporelle/Specification, validation and satisfiability of hybrid constraints by reduction to temporal logic
    • 2007-20__ Anthony Monnet Résolution de contraintes et problème SAT/Constraint resolution and SAT problem

    ---

  • Maîtrise/MSc

    • 2001-2005 Marwan Micati Développement d'une heuristique par influences mutuelles pour l'ordonnancement des variables d'un diagramme de décision binaire (BDD)
    • 2003-2005 Sylvain Hallé Formalismes logiques pour la gestion des configurations dans les réseaux informatiques
    • 2004-2006 Eric Wenaas Implantation d'une logique de configuration pour la vérification automatique de configurations d'équipements de réseaux
    • 2004-2006 Nabila Rahmoune Méthode SAT et algorithme DPLL appliqués à un problème de recherche opérationnelle
    • 2008-20__ Mathieu Bourgeois Représentations graphiques de structures discrètes

    ---

  • Premier cycle/Undergraduate

    • 2002 Nawal El-Massri Librairie BDD en Ada95
    • 2002 Pier-Luc Simard Vérification et simulation d'un algorithme réparti
    • 2003 Pier-Luc Simard Environnement de développement pour NuSMV
    • 2003 Nicolas Leclerc Extension de la syntaxe d'entrée pour NuSMV
    • 2008 Mathieu Bourgeois Implantation d'un langage de description graphique
    • 2008 Éric Coutu Décompositions de contraintes booléennes

Pour tout commentaire/Comments to