Publications of Grégoire Sutre with F. Cassez
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]
-
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
-
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