|
Search the dblp DataBase
Guy Durrieu:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Guy Durrieu, Kamel Kessaci, Michel Lemaître
Transe: an experimental design tool. [Citation Graph (0, 0)][DBLP] Algorithms and Parallel VLSI Architectures, 1991, pp:299-304 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] CODES, 1994, pp:25-32 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] DSV-IS, 1996, pp:105-122 [Conf]
- Michel Castan, Guy Durrieu, Bernard Lecussan, Michel Lemaître, Alessandro Contessa, Eric Cousin, Paulino Ng
Toward the design of a parallel graph reduction machine: The MaRS project. [Citation Graph (0, 0)][DBLP] Graph Reduction, 1986, pp:160-180 [Conf]
- Bruno d'Ausbourg, Christel Seguin, Guy Durrieu, Pierre Roché
Helping the Automated Validation Process of User Interfaces Systems. [Citation Graph (0, 0)][DBLP] ICSE, 1998, pp:219-228 [Conf]
- Guy Durrieu, Odile Laurent, Christel Seguin, Virginie Wiels
Formal proof and test case generation for critical embedded systems using SCADE. [Citation Graph (0, 0)][DBLP] IFIP Congress Topical Sessions, 2004, pp:499-504 [Conf]
- Guy Durrieu, Kamel Kessaci, Michel Lemaître
Transe: An Experimental Transformation Assistant for Digital Circuit Design. [Citation Graph (0, 0)][DBLP] Designing Correct Circuits, 1992, pp:103-118 [Conf]
- Michel Lemaître, Michel Castan, M.-H. Durand, Guy Durrieu, Bernard Lecussan
Mechanisms for Efficient Multiprocessor Combinator Reduction. [Citation Graph (0, 0)][DBLP] LISP and Functional Programming, 1986, pp:113-121 [Conf]
- Alessandro Contessa, Eric Cousin, C. Coustet, M. Cubero-Castan, Guy Durrieu, Bernard Lecussan, Michel Lemaître, Paulino Ng
MaRS, a Combinator Graph Reduction Multiprocessor. [Citation Graph (0, 0)][DBLP] PARLE (1), 1989, pp:176-192 [Conf]
LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|