Enseignement et exposés

Exposés

• Interrupt Timed Automata (extended version from FOSSACS'09)
  slides (pdf)
• Comparison of Time Petri Nets and Timed Automata (survey VECoS'08)
  slides (pdf)
• Modeling, Verification and Applications of Explicit Time Models (survey PNTAP'08)
  slides (pdf)
• Model checking temporisé (survey ETR'07)
  slides (pdf)
• Intersection of regular signal-event (timed) languages (FORMATS'06)
  slides (pdf)

Enseignement

• 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)
• Structures 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)
  TP1 VB.NET : objets et listes (pdf)
  TP2 VB.NET : interfaces (pdf)
  
• Introduction à l'architecture
  Avec Jean Goubault-Larrecq (pdf)