Gérard Cécé

Publication Activity (10 Years)

Years Active: 1994-2017
Publications (10 Years): 2

Top Topics

Computationally Intensive

Transition Systems

Highly Scalable

Algorithmic Solutions

Top Venues

Publications

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