Guy Durrieu

	2008
10		Guy Durrieu, Hélène Waeselynck, Virginie Wiels: LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. FMICS 2008: 7-22
	2004
9		Guy Durrieu, Odile Laurent, Christel Seguin, Virginie Wiels: Formal proof and test case generation for critical embedded systems using SCADE. IFIP Congress Topical Sessions 2004: 499-504
	1998
8		Bruno d'Ausbourg, Christel Seguin, Guy Durrieu, Pierre Roché: Helping the Automated Validation Process of User Interfaces Systems. ICSE 1998: 219-228
	1996
7		Bruno d'Ausbourg, Guy Durrieu, Pierre Roché: Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour. DSV-IS 1996: 105-122
	1994
6		Michel Auguin, Mohamed Belhadj, Judith Benzakki, C. Carrière, Guy Durrieu, Thierry Gautier, Michel Israël, Paul Le Guernic, Michel Lemaître, E. Martin, P. Quinton, Laurence Rideau, François Rousseau, Olivier Sentieys: Towards a multi-formalism framework for architectural synthesis: the ASAR project. CODES 1994: 25-32
	1992
5		Guy Durrieu, Kamel Kessaci, Michel Lemaître: Transe: An Experimental Transformation Assistant for Digital Circuit Design. Designing Correct Circuits 1992: 103-118
	1991
4		Guy Durrieu, Kamel Kessaci, Michel Lemaître: Transe: an experimental design tool. Algorithms and Parallel VLSI Architectures 1991: 299-304
	1989
3		Alessandro Contessa, Eric Cousin, C. Coustet, M. Cubero-Castan, Guy Durrieu, Bernard Lécussan, Michel Lemaître, Paulino Ng: MaRS, a Combinator Graph Reduction Multiprocessor. PARLE (1) 1989: 176-192
	1986
2		Michel Castan, Guy Durrieu, Bernard Lécussan, Michel Lemaître, Alessandro Contessa, Eric Cousin, Paulino Ng: Toward the design of a parallel graph reduction machine: The MaRS project. Graph Reduction 1986: 160-180
1		Michel Lemaître, Michel Castan, M.-H. Durand, Guy Durrieu, Bernard Lécussan: Mechanisms for Efficient Multiprocessor Combinator Reduction. LISP and Functional Programming 1986: 113-121

Coauthor Index

1	Michel Auguin	[6]
2	Mohamed Belhadj	[6]
3	Judith Benzakki	[6]
4	C. Carrière	[6]
5	Michel Castan	[1] [2]
6	Alessandro Contessa	[2] [3]
7	Eric Cousin	[2] [3]
8	C. Coustet	[3]
9	M. Cubero-Castan	[3]
10	M.-H. Durand	[1]
11	Thierry Gautier	[6]
12	Paul Le Guernic	[6]
13	Michel Israël	[6]
14	Kamel Kessaci	[4] [5]
15	Odile Laurent	[9]
16	Bernard Lécussan	[1] [2] [3]
17	Michel Lemaître	[1] [2] [3] [4] [5] [6]
18	E. Martin	[6]
19	Paulino Ng	[2] [3]
20	P. Quinton	[6]
21	Laurence Rideau	[6]
22	Pierre Roché	[7] [8]
23	François Rousseau	[6]
24	Christel Seguin	[8] [9]
25	Olivier Sentieys	[6]
26	Hélène Waeselynck	[10]
27	Virginie Wiels	[9] [10]
28	Bruno d'Ausbourg	[7] [8]