|
Search the dblp DataBase
Gérard Cécé:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Gérard Cécé, Alain Finkel
Programs with Quasi-Stable Channels are Effectively Recognizable (Extended Abstract). [Citation Graph (0, 0)][DBLP] CAV, 1997, pp:304-315 [Conf]
- Frédéric Oehl, Gérard Cécé, Olga Kouchnarenko, David Sinclair
Automatic Approximation for the Verification of Cryptographic Protocols. [Citation Graph (0, 0)][DBLP] FASec, 2002, pp:33-48 [Conf]
- Gérard Cécé, Alain Finkel, S. Purushothaman Iyer
Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels. [Citation Graph (0, 0)][DBLP] SIGSOFT FSE, 1994, pp:35-43 [Conf]
- Gérard Cécé, Alain Finkel
Verification of programs with half-duplex communication. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:202, n:2, pp:166-190 [Journal]
- Gérard Cécé, Alain Finkel, S. Purushothaman Iyer
Unreliable Channels are Easier to Verify Than Perfect Channels. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:124, n:1, pp:20-31 [Journal]
Search in 0.001secs, Finished in 0.001secs
|