Enseignements

• Sémantique et vérification de systèmes réactifs (Master 2 SAR)
  Aide mémoire :
  sémantique des systèmes réactifs (pdf)
  modélisation par automates (pdf)
  vérification des systèmes réactifs (pdf)
  
• Modélisation stochastique (licence 3 et Master 1)
  Aide mémoire (pdf)
• Mathématiques discrètes (licence 2)
• Programmation (licence 2)
  Merci à Fabrice Rossi pour ses polycopiés de JAVA
  Java 1 : objets (pdf)
  Java 2 : interfaces (pdf)
  Java 3 : initiation au graphisme (pdf)
  TP (pdf)
  
• Introduction à l'architecture
  Avec Jean Goubault-Larrecq (pdf)

Exposés

• Verification of Hybrid Systems (CMI, Chennai, 2019)
  
• Information flow (MSR, 2019)
  
• Probabilistic Opacity (Journées AFSEC méthodes formelles pour la sécurité, Paris 2017)
  
• Verification of Polynomial Interrupt Timed Automata (Journées nationales du GT ALGA, GDR IM, Marseille 2016)
  
• Decidability issues for timed models (Ecole des Jeunes Chercheurs, GDR Informatique Mathématiques, Orléans 2015)
  
• Verification of information flow properties under rational observations (AVOCS'14)
  
• Channel synthesis revisited (LATA'14)
  
• Channel synthesis for finite transducers (AFL'11)
  
• Interrupt Timed Automata (extended version from FOSSACS'09)
  
• Comparison of Time Petri Nets and Timed Automata (survey VECoS'08)
  
• Modeling, Verification and Applications of Explicit Time Models (survey PNTAP'08)
  
• Model checking temporisé (survey ETR'07)
  
• Intersection of regular signal-event (timed) languages (FORMATS'06)