Publications of Grégoire Sutre with J. Leroux
Conference articles
-
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]
-
T. Gawlitza,
J. Leroux,
J. Reineke,
H. Seidl,
G. Sutre,
and R. Wilhelm.
Polynomial Precise Interval Analysis Revisited.
In Efficient Algorithms, Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday,
volume 5760 of Lecture Notes in Computer Science,
pages 422-437.
Springer,
2009.
[doi]
[bib]
-
J. Leroux and G. Sutre.
Acceleration in Convex Data-Flow Analysis.
In Proc. 27th Int. Conf. Found. of Software Technology and Theor. Comp. Sci. (FSTTCS'07), New Delhi, India, Dec. 2007,
volume 4855 of Lecture Notes in Computer Science,
pages 520-531.
Springer,
2007.
[ps]
[doi]
[bib]
-
J. Leroux and G. Sutre.
Accelerated Data-flow Analysis.
In Proc. 14th Int. Static Analysis Symposium (SAS'07), Kongens Lyngby, Denmark, Aug. 2007,
volume 4634 of Lecture Notes in Computer Science,
pages 184-199.
Springer,
2007.
[ps]
[doi]
[bib]
-
J. Leroux and G. Sutre.
Flat counter automata almost everywhere!.
In Proc. 3rd Int. Symp. Automated Technology for Verification and Analysis (ATVA'05), Taipei, Taiwan, Oct. 2005,
volume 3707 of Lecture Notes in Computer Science,
pages 489-503.
Springer,
2005.
[ps]
[doi]
[bib]
-
J. Leroux and G. Sutre.
On Flatness for 2-dimensional Vector Addition Systems with States.
In Proc. 15th Int. Conf. Concurrency Theory (CONCUR'04), London, UK, Aug.-Sep. 2004,
volume 3170 of Lecture Notes in Computer Science,
pages 402-416.
Springer,
2004.
[ps]
[bib]
This document was translated from BibTEX by
bibtex2html