Publications of Jérôme Leroux with Grégoire Sutre


Journal articles and book chapters

  1. Alexander Heussner, Jérôme Leroux, Anca Muscholl, and Grégoire Sutre. Reachability Analysis of Communicating Pushdown Systems. Logical Methods in Computer Science, 8(3), 2012. [url] [pdf] [doi] [bib]

Conference articles

  1. Jérôme Leroux, M. Praveen, and Grégoire Sutre. Hyper-Ackermannian bounds for pushdown vector addition systems. In Thomas A. Henzinger and Dale Miller, editors, Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, pages 63, 2014. ACM. [doi] [bib]

  2. Jérôme Leroux, Vincent Penelle, and Grégoire Sutre. The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems. In Franck Cassez and Jean-François Raskin, editors, Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings, volume 8837 of Lecture Notes in Computer Science, pages 248-263, 2014. Springer. [doi] [bib]

  3. Jérôme Leroux, M. Praveen, and Grégoire Sutre. A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness. In CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, volume 8052 of Lecture Notes in Computer Science, pages 137-151, 2013. Springer. [doi] [bib]

  4. Jérôme Leroux, Vincent Penelle, and Grégoire Sutre. On the Context-Freeness Problem for Vector Addition Systems. In 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013, pages 43-52, 2013. IEEE Computer Society. [doi] [bib]

  5. Alexander Heussner, Jérôme Leroux, Anca Muscholl, and Grégoire Sutre. Reachability Analysis of Communicating Pushdown Systems. In C.-H. Luke Ong, editor, Foundations of Software Science and Computational Structures, 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, volume 6014 of Lecture Notes in Computer Science, pages 267-281, 2010. Springer. [pdf] [doi] [bib]

  6. Thomas Gawlitza, Jérôme Leroux, Jan Reineke, Helmut Seidl, Grégoire Sutre, and Reinhard Wilhelm. Polynomial Precise Interval Analysis Revisited. In Susanne Albers, Helmut Alt, and Stefan Näher, editors, Efficient Algorithms, Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday, Saarbrücken, Germany, August 27 - 28, 2009 Proceedings, volume 5760 of Lecture Notes in Computer Science, pages 422-437, 2009. Springer. [pdf] [doi] [bib]

  7. Jérôme Leroux and Grégoire Sutre. Acceleration in Convex Data-Flow Analysis. In Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, FSTTCS 2007, New Delhi, India, December 12-14, 2007, Proceedings, volume 4855 of Lecture Notes in Computer Science, pages 520-531, 2007. Springer. [pdf] [doi] [bib]

  8. Jérôme Leroux and Grégoire Sutre. Accelerated Data-Flow Analysis. In Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings, volume 4634 of Lecture Notes in Computer Science, pages 184-199, 2007. Springer. [pdf] [doi] [bib]

  9. Jérôme Leroux and Grégoire Sutre. Flat Counter Automata Almost Everywhere!. In Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings, volume 3707 of Lecture Notes in Computer Science, pages 489-503, 2005. Springer. [ps] [doi] [bib]

  10. Jérôme Leroux and Grégoire Sutre. On Flatness for 2-Dimensional Vector Addition Systems with States. In CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings, volume 3170 of Lecture Notes in Computer Science, pages 402-416, 2004. Springer. [ps] [doi] [bib]


This document was translated from BibTEX by bibtex2html