Gérard Cécé

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2013
i2		Gérard Cécé: Three Simulation Algorithms for Labelled Transition Systems. CoRR abs/1301.1638 (2013)
i1		Gérard Cécé: Bisimulations over DLTS in O(m.log n)-time. CoRR abs/1302.3489 (2013)
	2011
c4		Gérard Cécé, Alain Giorgetti: Simulations over Two-Dimensional On-Line Tessellation Automata. Developments in Language Theory 2011: 141-152
	2008
j4		Gérard Cécé, Pierre-Cyrille Héam, Yann Mainier: Efficiency of automata in semi-commutation verification techniques. ITA 42(2): 197-215 (2008)
j3		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
j2		Gérard Cécé, Alain Finkel: Verification of programs with half-duplex communication. Inf. Comput. 202(2): 166-190 (2005)
	2002
c3		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
c2		Gérard Cécé, Alain Finkel: Programs with Quasi-Stable Channels are Effectively Recognizable (Extended Abstract). CAV 1997: 304-315
	1996
j1		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
c1		Gérard Cécé, Alain Finkel, S. Purushothaman Iyer: Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels. SIGSOFT FSE 1994: 35-43

Coauthor Index

1	Alain Finkel	[j2] [c2] [j1] [c1]
2	Alain Giorgetti	[c4]
3	Pierre-Cyrille Héam	[j4] [j3]
4	S. Purushothaman Iyer (S. Purushothaman)	[j1] [c1]
5	Olga Kouchnarenko	[c3]
6	Yann Mainier	[j4] [j3]
7	Frédéric Oehl	[c3]
8	David Sinclair	[c3]

Last update Sat May 18 21:53:03 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page