| 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 | EE | 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 |
