Publications of Jérôme Leroux with Marc Zeitoun


Journal articles and book chapters

  1. Rémi Bonnet, Alain Finkel, Jérôme Leroux, and Marc Zeitoun. Model Checking Vector Addition Systems with one zero-test. Logical Methods in Computer Science, 8(2):11, June 2012. [url] [pdf] [doi] [bib]

Conference articles

  1. Rémi Bonnet, Alain Finkel, Jérôme Leroux, and Marc Zeitoun. Place-Boundedness for Vector Addition Systems with one zero-test. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, IMSc, Chennai, India, volume 8 of Leibniz International Proceedings in Informatics (LIPIcs), pages 192-203, 2010. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [url] [doi] [bib]

  2. Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, and Marc Zeitoun. Accelerating Interpolation-based Model-Checking. In Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedings, volume 4963 of Lecture Notes in Computer Science, pages 428-442, 2008. Springer. [pdf] [doi] [bib]


This document was translated from BibTEX by bibtex2html