| |
Publications of Gérard Cécé
| |
|
Articles in journal or book chapters
|
-
Gérard Cécé,
Pierre-Cyrille Héam,
and Yann Mainier.
Clôtures transitives de semi-commutations et model-checking régulier.
TSI, Technique et Science Informatiques,
27(1-2):7--28,
2008.
[bibtex]
-
Gérard Cécé,
Pierre-Cyrille Héam,
and Yann Mainier.
Efficiency of Automata in Semi-Commutation Verification Techniques.
RAIRO, Theoretical Informatics and Applications,
42(2):197--215,
March 2008.
[bibtex]
-
Gérard Cécé and A. Finkel.
Verification of programs with half-duplex communication.
Information and Computation,
202(2):166--190,
November 2005.
[bibtex]
-
Gérard Cécé and Alain Giorgetti.
Simulations over Two-Dimensional On-Line Tessellation Automata.
In Giancarlo Mauri and Alberto Leporati, editors,
DLT 2011, Developments in Language Theory,
volume 6795 of LNCS,
Milan, Italy,
pages 141--152,
July 2011.
Springer.
[bibtex]
-
Gérard Cécé,
Pierre-Cyrille Héam,
and Yann Mainier.
Clôtures transitives de semi-commutations et model-checking régulier.
In Jacques Julliand, editor,
Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04,
Besançon, France,
pages 257--268,
June 2004.
[bibtex]
-
F. Oehl,
Gérard Cécé,
Olga Kouchnarenko,
and D. Sinclair.
Automatic Approximation for the Verification of Cryptographic Protocols.
In Int. Conf. on Formal Aspects of Security, FASec 2002,
volume 2629 of LNCS,
London, United Kingdom,
pages 33--48,
November 2003.
Springer.
Note: Revised paper of the FASec 2002 conference.
[bibtex]
-
Gérard Cécé,
Pierre-Cyrille Héam,
and Yann Mainier.
Efficiency of Automata in Semi-Commutation Verification Techniques.
Research report RR-5001,
INRIA,
November 2003.
[bibtex]
-
F. Oehl,
Gérard Cécé,
Olga Kouchnarenko,
and D. Synclair.
Automatic Approximation for the Verification of Cryptographic Protocols.
Rapport de Recherche RR-4599,
INRIA,
October 2002.
[bibtex]
|
|
| | |
This document was translated from BibTEX by
bibtex2html
|
|