Formal Methods and Verification at ULB   Computer Science Department at ULB  

Selected publications by Pierre-Alain Reynier

Journals - Conferences - Invited Contributions - Theses - Other Publications - Co-authors

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)


    • International Conferences


  • Patricia Bouyer, Nicolas Markey and Pierre-Alain Reynier. Robust Analysis of Timed Automata via Channel Machines.  In Proc. 11th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'08), Budapest, Hungary, March-April 2008, LNCS. Springer. To appear. (PDF)

  • Patricia Bouyer, Serge Haddad and Pierre-Alain Reynier. Timed Unfoldings for Networks of Timed Automata. In Proc. 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06), Beijing, ROC, October 2006, LNCS 4218, pages 292-306. Springer. (PDF)

  • Patricia Bouyer, Serge Haddad and Pierre-Alain Reynier. Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences. In Proc. 33rd International Colloquium on Automata, Languages and Programming (ICALP'06) - Part II, Venice, Italy, July 2006, LNCS 4052, pages 420-431. Springer. (PDF)

  • Patricia Bouyer, Serge Haddad and Pierre-Alain Reynier. Extended Timed Automata and Time Petri Nets. In Proc. 6th International Conference on Application of Concurrency to System Design (ACSD'06), Turku, Finland, June 2006, pages 91-100. IEEE Computer Society Press. (PDF)

  • Patricia Bouyer, Nicolas Markey and Pierre-Alain Reynier. Robust Model-Checking of Linear-Time Properties in Timed Automata. In Proc. 7th Latin American Symposium on Theoretical Informatics (LATIN'06), Valdivia, Chile, March 2006, LNCS 3887, pages 238-249. Springer. (PDF)

  • Patricia Bouyer, François Laroussinie and Pierre-Alain Reynier. Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems. In Proc. 3rd International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05), Uppsala, Sweden, September-October 2005, LNCS 3829, pages 112-126. Springer. (PDF)


    • Invited Contributions


  • Karine Altisen, Nicolas Markey, Pierre-Alain Reynier and Stavros Tripakis. Implémentabilité des automates temporisés.   In 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)


    • 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)


    • 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. (PDF)

  • 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. (PDF)

  • Pierre-Alain Reynier. Analyse en avant des automates temporisés. Rapport de DEA, DEA Algorithmique, Paris, France, September 2004. (PS)


    • Co-authors


  • Karine Altisen

  • Patricia Bouyer

  • Serge Haddad

  • François Laroussinie

  • Nicolas Markey

  • Stavros Tripakis


    •