 | 2008 |
|---|
| 7 |       | Gérard Cécé,
Pierre-Cyrille Héam,
Yann Mainier:
Efficiency of automata in semi-commutation verification techniques.
ITA 42(2): 197-215 (2008) |
| 6 | | Gérard Cécé,
Pierre-Cyrille Héam,
Yann Mainier:
Clôtures transitives de semi-commutations et model-checking régulier.
Technique et Science Informatiques 27(1-2): 7-28 (2008) |
| 2005 |
|---|
| 5 | | Gérard Cécé,
Alain Finkel:
Verification of programs with half-duplex communication.
Inf. Comput. 202(2): 166-190 (2005) |
| 2002 |
|---|
| 4 | | Frédéric Oehl,
Gérard Cécé,
Olga Kouchnarenko,
David Sinclair:
Automatic Approximation for the Verification of Cryptographic Protocols.
FASec 2002: 33-48 |
| 1997 |
|---|
| 3 | | Gérard Cécé,
Alain Finkel:
Programs with Quasi-Stable Channels are Effectively Recognizable (Extended Abstract).
CAV 1997: 304-315 |
| 1996 |
|---|
| 2 |  | Gérard Cécé,
Alain Finkel,
S. Purushothaman Iyer:
Unreliable Channels are Easier to Verify Than Perfect Channels.
Inf. Comput. 124(1): 20-31 (1996) |
| 1994 |
|---|
| 1 | | Gérard Cécé,
Alain Finkel,
S. Purushothaman Iyer:
Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels.
SIGSOFT FSE 1994: 35-43 |
