Selected publications by Pierre-Alain Reynier

Journals

• Patricia Bouyer, Serge Haddad and Pierre-Alain Reynier.  Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences.  Information and Computation 206(1), pages 73-107, 2008. ( PDF | BibTeX + Abstract )
  doi: 10.1016/j.ic.2007.10.004

Conferences

• Patricia Bouyer, Nicolas Markey and Pierre-Alain Reynier.  Robust Analysis of Timed Automata via Channel Machines.  In R. Amadio (ed.), 10.1007/978-3-540-78499-9_12, LNCS 4962, pages 157-171. Springer. ( PDF | PS | PS.GZ | PDF (long version) | BibTeX + Abstract )
  doi: 10.1007/978-3-540-78499-9_12
• Patricia Bouyer, Serge Haddad and Pierre-Alain Reynier.  Timed Unfoldings for Networks of Timed Automata.  In S. Graf and W. Zhang (eds.), 10.1007/11901914_23, LNCS 4218, pages 292-306. Springer. ( PDF | PS | PS.GZ | BibTeX + Abstract )
  doi: 10.1007/11901914_23
• Patricia Bouyer, Serge Haddad and Pierre-Alain Reynier.  Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences.  In M. Buglesi, B. Preneel, V. Sassone and I. Wegener (eds.), 10.1007/11787006_36, LNCS 4052, pages 420-431. Springer. ( PDF | PS | PS.GZ | PDF (long version) | PS (long version) | PS.GZ (long version) | BibTeX + Abstract )
  doi: 10.1007/11787006_36
• Patricia Bouyer, Serge Haddad and Pierre-Alain Reynier.  Extended Timed Automata and Time Petri Nets.  In K. Goossens and L. Petrucci (eds.), 10.1109/ACSD.2006.6, pages 91-100. IEEE Computer Society Press. ( PDF | PS | PS.GZ | BibTeX + Abstract )
  doi: 10.1109/ACSD.2006.6
• Patricia Bouyer, Nicolas Markey and Pierre-Alain Reynier.  Robust Model-Checking of Linear-Time Properties in Timed Automata.  In J. R. Correa, A. Hevia and M. Kiwi (eds.), 10.1007/11682462_25, LNCS 3887, pages 238-249. Springer. ( PDF | PS | PS.GZ | PDF (long version) | PS (long version) | PS.GZ (long version) | Slides | BibTeX + Abstract )
  doi: 10.1007/11682462_25
• Patricia Bouyer, François Laroussinie and Pierre-Alain Reynier.  Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems.  In P. Pettersson and W. Yi (eds.), 10.1007/11603009_10, LNCS 3829, pages 112-126. Springer, 2005. ( PDF | PS | PS.GZ | PDF (long version) | PS (long version) | PS.GZ (long version) | BibTeX + Abstract )
  doi: 10.1007/11603009_10

Theses

• Pierre-Alain Reynier.  Vérification de systèmes temporisés et distribués : modèles, algorithmes et implémentabilité.  Thèse de doctorat, Laboratoire Spécification et Vérification, ENS Cachan, France, June 2007. ( PDF | PS | PS.GZ | Slides | BibTeX )

Other Publications

• Patricia Bouyer, Serge Haddad and Pierre-Alain Reynier.  Undecidability Results for Timed Automata with Silent Transitions.  Research Report LSV-07-12, Laboratoire Spécification et Vérification, ENS Cachan, France, February 2007. 22 pages. ( PDF | PS | PS.GZ | BibTeX + Abstract )
• Pierre-Alain Reynier.  Diagonal constraints handled efficiently in UPPAAL.  Research Report LSV-07-02, Laboratoire Spécification et Vérification, ENS Cachan, France, January 2007. 4 pages. ( PDF | PS | PS.GZ | BibTeX + Abstract )
• Karine Altisen, Nicolas Markey, Pierre-Alain Reynier and Stavros Tripakis.  Implémentabilité des automates temporisés.  In H. Alla and É. Rutten (eds.), Actes du 5ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'05), Autrans, France, October 2005, pages 395-406. Hermès. Invited paper. ( PDF | PS | PS.GZ | BibTeX + Abstract )
• Pierre-Alain Reynier.  Analyse en avant des automates temporisés.  Rapport de DEA, DEA Algorithmique, Paris, France, September 2004. 68 pages. ( PS | PS.GZ | BibTeX )

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact

• École Normale Supérieure de Cachan
• Centre National de la Recherche Scientifique