Publications of Grégoire Sutre with A. Finkel
Journal articles and book chapters
-
A. Finkel,
S. P. Iyer,
and G. Sutre.
Well-Abstracted Transition Systems: Application to FIFO automata.
Information and Computation,
181(1):1-31,
2003.
[doi]
[bib]
Conference articles
-
F. Herbreteau,
F. Cassez,
A. Finkel,
O. Roux,
and G. Sutre.
Verification of Embedded Reactive Fiffo Systems.
In Proc. 5th Latin American Symposium on Theoretical Informatics (LATIN'2002), Cancún, México, Apr. 2002,
volume 2286 of Lecture Notes in Computer Science,
pages 400-414.
Springer,
2002.
[ps]
[doi]
[bib]
-
A. Finkel and G. Sutre.
An algorithm constructing the semilinear $post^*$ for 2-dim Reset/Transfer VASS.
In Proc. 25th Int. Symp. Math. Found. Comp. Sci. (MFCS'2000), Bratislava, Slovakia, Aug. 2000,
volume 1893 of Lecture Notes in Computer Science,
pages 353-362.
Springer,
2000.
[ps]
[doi]
[bib]
-
A. Finkel,
S. P. Iyer,
and G. Sutre.
Well-Abstracted Transition Systems.
In Proc. 11th Int. Conf. Concurrency Theory (CONCUR'2000), University Park, PA, USA, Aug. 2000,
volume 1877 of Lecture Notes in Computer Science,
pages 566-580.
Springer,
2000.
[ps]
[doi]
[bib]
-
A. Finkel and G. Sutre.
Decidability of reachability problems for classes of two counters automata.
In Proc. 17th Ann. Symp. Theoretical Aspects of Computer Science (STACS'2000), Lille, France, Feb. 2000,
volume 1770 of Lecture Notes in Computer Science,
pages 346-357.
Springer,
2000.
[ps]
[doi]
[bib]
-
G. Sutre,
A. Finkel,
O. Roux,
and F. Cassez.
Effective Recognizability and Model Checking of Reactive Fiffo Automata.
In Proc. 7th Int. Conf. Algebraic Methodology and Software Technology (AMAST'98), Amazonia, Brazil, Jan. 1999,
volume 1548 of Lecture Notes in Computer Science,
pages 106-123.
Springer,
1999.
[ps]
[doi]
[bib]
Internal reports
-
A. Finkel,
S. P. Iyer,
and G. Sutre.
Well-Abstracted Transition Systems: Application to FIFO Automata.
Research Report LSV-00-6,
Lab. Specification and Verification, ENS de Cachan,
Cachan, France,
June 2000.
Note: 28 pages.
[ps]
[bib]
-
G. Sutre,
A. Finkel,
O. Roux,
and F. Cassez.
Effective Recognizability and Model Checking of Reactive Fiffo Automata.
Research Report LSV-98-10,
Lab. Specification and Verification, ENS de Cachan,
Cachan, France,
October 1998.
Note: 18 pages.
[ps]
[bib]
This document was translated from BibTEX by
bibtex2html