Gérard Cécé

According to our database, Gérard Cécé authored at least 11 papers between 1994 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Foundation for a series of efficient simulation algorithms.

Gérard Cécé

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2013

Bisimulations over DLTS in O(m.log n)-time

Gérard Cécé

CoRR, 2013

Three Simulation Algorithms for Labelled Transition Systems

Gérard Cécé

CoRR, 2013

2011

Simulations over Two-Dimensional On-Line Tessellation Automata.

Gérard Cécé, Alain Giorgetti

Proceedings of the Developments in Language Theory - 15th International Conference, 2011

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

Efficiency of automata in semi-commutation verification techniques.

Gérard Cécé, Pierre-Cyrille Héam, Yann Mainier

RAIRO Theor. Informatics Appl., 2008

2005

Verification of programs with half-duplex communication.

Gérard Cécé, Alain Finkel

Inf. Comput., 2005

2002

Automatic Approximation for the Verification of Cryptographic Protocols.

Frédéric Oehl, Gérard Cécé, Olga Kouchnarenko, David Sinclair

Proceedings of the Formal Aspects of Security, First International Conference, 2002

1997

Programs with Quasi-Stable Channels are Effectively Recognizable (Extended Abstract).

Gérard Cécé, Alain Finkel

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Unreliable Channels are Easier to Verify Than Perfect Channels.

Gérard Cécé, Alain Finkel, S. Purushothaman Iyer

Inf. Comput., 1996

1994

Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels.

Gérard Cécé, Alain Finkel, S. Purushothaman Iyer

Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994