Gérard Cécé

12 papers A* 2C 1Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2017 A* conf
Foundation for a series of efficient simulation algorithms.
LICS
Gérard Cécé
2017 J jnl
Foundation for a series of efficient simulation algorithms.
CoRR
Gérard Cécé
2013 J jnl
Bisimulations over DLTS in O(m.log n)-time
CoRR
Gérard Cécé
2013 J jnl
Three Simulation Algorithms for Labelled Transition Systems
CoRR
Gérard Cécé
2011 C conf
Simulations over Two-Dimensional On-Line Tessellation Automata.
Developments in Language Theory
Gérard Cécé, Alain Giorgetti
2008 J jnl
Clôtures transitives de semi-commutations et model-checking régulier.
Tech. Sci. Informatiques
Gérard Cécé, Pierre-Cyrille Héam, Yann Mainier
2008 J jnl
Efficiency of automata in semi-commutation verification techniques.
RAIRO Theor. Informatics Appl.
Gérard Cécé, Pierre-Cyrille Héam, Yann Mainier
2005 J jnl
Verification of programs with half-duplex communication.
Inf. Comput.
Gérard Cécé, Alain Finkel
2002 — conf
Automatic Approximation for the Verification of Cryptographic Protocols.
FASec
Frédéric Oehl, Gérard Cécé, Olga Kouchnarenko, David Sinclair
1997 A* conf
Programs with Quasi-Stable Channels are Effectively Recognizable (Extended Abstract).
CAV
Gérard Cécé, Alain Finkel
1996 J jnl
Unreliable Channels are Easier to Verify Than Perfect Channels.
Inf. Comput.
Gérard Cécé, Alain Finkel, S. Purushothaman Iyer
1994 — conf
Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels.
SIGSOFT FSE
Gérard Cécé, Alain Finkel, S. Purushothaman Iyer