Selected publications by Rémi Bonnet
Conferences
-
R. Bonnet. Decidability of LTL Model Checking for Vector Addition Systems with
one Zero-test. In RP'11, LNCS 6945, pages 85-95. Springer, 2011. ( PDF | BibTeX + Abstract )
-
R. Bonnet. The reachability problem for Vector Addition Systems with one
zero-test. In MFCS'11, LNCS 6907, pages 145-157. Springer, 2011. ( PDF | PDF (long version) | BibTeX + Abstract )
-
R. Bonnet, A. Finkel, S. Haddad and F. Rosa-Velardo. Ordinal Theory for Expressiveness of Well Structured Transition
Systems. In FoSSaCS'11, LNCS 6604, pages 153-167. Springer, 2011. ( PDF | BibTeX )
-
R. Bonnet, A. Finkel, J. Leroux and M. Zeitoun. Place-Boundedness for Vector Addition Systems with one zero-test. In FSTTCS'10, Leibniz International Proceedings in Informatics 8, pages 192-203. Leibniz-Zentrum für Informatik, 2010. ( PDF | BibTeX + Abstract )
Other Publications
-
R. Bonnet, A. Finkel, S. Haddad and F. Rosa-Velardo. Comparing Petri Data Nets and Timed Petri Nets. Research Report LSV-10-23, Laboratoire Spécification et Vérification, ENS Cachan,
France, December 2010. 16 pages. ( PDF | BibTeX + Abstract )
-
R. Bonnet. Well-structured Petri Nets extensions with data. Rapport de Master, Master Computer Science, EPFL, Lausanne, Switzerland, March 2010. ( PDF | BibTeX )