dblp.uni-trier.dewww.uni-trier.de

Guy Durrieu

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
6EEMichel 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)