Paul Gastin

Professeur, ENS Paris-Saclay

• Quelques publications. See also DBLP


• Slides of some recent talks

GPG public key

Enseignement / Teaching

• Cours d'Algorithmique du magistère informatique de l'ENS de Cachan


• Cours Langages formels du magistère informatique de l'ENS de Cachan


• Cours d'Initiation à la Vérification du MPRI


• Théorie non séquentielle des systèmes distribués M2 du MPRI

Outils / Tools

• LTL2BA 1.3 : fast translation from LTL formulae to Büchi automata.
  Version of 2020/06/10
• gastex 3.1 : Graphs and Automata Simplified in TeX.
  Version of 2024/02/12
• Nestify 1.0 : nested words for higher order pushdown automata.
• JasTeX 1.1 : Interface graphique en Java pour GasTeX.
• hevea 1.07 pour mac OS X

À propos du LSV

• Actualités
• Membres
• Recherche
• Séminaires
• Enseignement
• Contact