Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels. - Gérard Cécé; Alain Finkel; S. Purushothaman Iyer (SIGSOFT FSE, 1994)

Unreliable Channels are Easier to Verify Than Perfect Channels. - Gérard Cécé; Alain Finkel; S. Purushothaman Iyer (Inf. Comput., 1996)

Programs with Quasi-Stable Channels are Effectively Recognizable (Extended Abstract). - Gérard Cécé; Alain Finkel (CAV, 1997)

Automatic Approximation for the Verification of Cryptographic Protocols. - Frédéric Oehl; Gérard Cécé; Olga Kouchnarenko; David Sinclair (FASec, 2002)

Verification of programs with half-duplex communication. - Gérard Cécé; Alain Finkel (Inf. Comput., 2005)

Efficiency of automata in semi-commutation verification techniques. - Gérard Cécé; Pierre-Cyrille Héam; Yann Mainier (RAIRO Theor. Informatics Appl., 2008)

Clôtures transitives de semi-commutations et model-checking régulier. - Gérard Cécé; Pierre-Cyrille Héam; Yann Mainier (Tech. Sci. Informatiques, 2008)

Simulations over Two-Dimensional On-Line Tessellation Automata. - Gérard Cécé; Alain Giorgetti (Developments in Language Theory, 2011)

Three Simulation Algorithms for Labelled Transition Systems - Gérard Cécé (CoRR, 2013)

Bisimulations over DLTS in O(m.log n)-time - Gérard Cécé (CoRR, 2013)

Foundation for a series of efficient simulation algorithms. - Gérard Cécé (LICS, 2017)