Alain Kerbrat

	2001
13		Iulian Ober, Alain Kerbrat: Verification of Quantitative Temporal Properties of SDL Specifications. SDL Forum 2001: 182-202
	2000
12		Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent: SDL for Real-Time: What is Missing? SAM 2000: 108-
11		Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier: Verification and test generation for the SSCOP protocol. Sci. Comput. Program. 36(1): 27-52 (2000)
	1999
10		Iulian Ober, Alain Kerbrat: Specification and execution of tests using tMsc. FORTE 1999: 453-468
9		Alain Kerbrat, Thierry Jéron, Roland Groz: Automated test generation from SDL specifications. SDL Forum 1999: 135-152
	1997
8		Eugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse: Data-Structures for the Verification of Timed Automata. HART 1997: 346-360
7		Alain Kerbrat, Carlos Rodriguez-Salazar, Yves Lejeune: Interconnecting the ObjectGeode and Caesar-Alderbaran toolsets. SDL Forum 1997: 475-490
6		Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier: Protocol Verification with the ALDÉBARAN Toolset. STTT 1(1-2): 166-184 (1997)
	1996
5		Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu: CADP - A Protocol Validation and Verification Toolbox. CAV 1996: 437-440
	1995
4		Alain Kerbrat, Slim Ben Atallah: Formal Specification of a Framework for Groupware Development. FORTE 1995: 303-310
3		Luc Bellissard, Slim Ben Atallah, Alain Kerbrat, Michel Riveill: Component-Based Programming and Application Management with Olan. OBPDC 1995: 290-309
	1994
2		Alain Kerbrat: Reachable state space analysis of LOTOS specifications. FORTE 1994: 181-196
	1993
1		Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier: Symbolic Equivalence Checking. CAV 1993: 85-96

Coauthor Index

1	Eugene Asarin	[8]
2	Slim Ben Atallah	[3] [4]
3	Luc Bellissard	[3]
4	Marius Bozga	[6] [8] [11] [12]
5	Jean-Claude Fernandez	[1] [5] [6] [11]
6	Hubert Garavel	[5]
7	Lucian Ghirvu	[11]
8	Susanne Graf	[12]
9	Roland Groz	[9]
10	Claude Jard	[11]
11	Thierry Jéron	[9] [11]
12	Yves Lejeune	[7]
13	Oded Maler	[8]
14	Radu Mateescu	[5]
15	Pierre Morel	[11]
16	Laurent Mounier	[1] [5] [6] [11] [12]
17	Iulian Ober	[10] [12] [13]
18	Amir Pnueli	[8]
19	Anne Rasse	[8]
20	Michel Riveill	[3]
21	Carlos Rodriguez-Salazar	[7]
22	Mihaela Sighireanu	[5]
23	Daniel Vincent	[12]

Colors in the list of coauthors