Publications of Grégoire Sutre with T. Le Gall
Conference articles
-
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]
-
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
-
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