Publications of Grégoire Sutre with A. Heussner

Conference articles

  1. A. Heussner, T. Le Gall, and G. Sutre. McScM: A General Framework for the Verification of Communicating Machines. In Proc. 18th Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12), Tallinn, Estonia, Mar.-Apr. 2012, volume 7214 of Lecture Notes in Computer Science, pages 478-484. Springer, 2012. Note: Tool paper. [doi] [bib]
  2. A. Heussner, J. Leroux, A. Muscholl, and G. Sutre. Reachability Analysis of Communicating Pushdown Systems. In Proc. 13th Int. Conf. Foundations of Software Science and Computation Structures (FOSSACS'10), Paphos, Cyprus, Mar. 2010, volume 6014 of Lecture Notes in Computer Science, pages 267-281. Springer, 2010. [doi] [bib]
  3. A. Heussner, T. Le Gall, and G. Sutre. Extrapolation-based Path Invariants for Abstraction Refinement of Fifo Systems. In Proc. 16th Int. SPIN Workshop on Model Checking of Software (SPIN'09), Grenoble, France, Jun. 2009, volume 5578 of Lecture Notes in Computer Science, pages 107-124. Springer, 2009. [pdf] [doi] [bib]

Internal reports

  1. A. Heussner, T. Le Gall, and G. Sutre. Extrapolation-based Path Invariants for Abstraction Refinement of Fifo Systems. Research Report RR-1459-09, Lab. Bordelais de Recherche en Informatique, Talence, France, May 2009. Note: 45 pages. [pdf] [bib]

This document was translated from BibTEX by bibtex2html