Guy Durrieu

Publication Activity (10 Years)

Years Active: 1978-2019
Publications (10 Years): 3

Top Topics

Subgraph Isomorphism

Development Environment

Top Venues

ACM Trans. Embed. Comput. Syst.

J. Aerosp. Inf. Syst.

Publications

Guy Durrieu, Claire Pagetti
GRec: Automatic Computation of Reconfiguration Graphs for Multi-core Platforms. ACM Trans. Embed. Comput. Syst. 18 (5) (2019)
Luca Santinelli, David Doose, Guy Durrieu, Frédéric Boniol, Charles Lesire-Cabaniols, Christophe Grand
Schedulability analysis for mixed critical cyber physical systems. ICPS (2018)
Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber
Test Languages for In-the-Loop Avionics Tests. J. Aerosp. Inf. Syst. 12 (4) (2015)
Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber
STELAE - A model-driven test development environment for avionics systems. ISORC (2013)
Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber
A Meta-model for Tests of Avionics Embedded Systems. MODELSWARD (2013)
Guy Durrieu, Hélène Waeselynck, Virginie Wiels
LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. FMICS (2008)
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)
Bruno d'Ausbourg, Christel Seguin, Guy Durrieu, Pierre Roché
Helping the Automated Validation Process of User Interfaces Systems. ICSE (1998)
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)
Michel Auguin, Mohamed Belhadj, Judith Benzakki, C. Carrière, Guy Durrieu, Thierry Gautier, Michel Israël, Paul Le Guernic, Michel Lemaître, E. Martin, Patrice Quinton, Laurence Rideau, Frédéric Rousseau, Olivier Sentieys
Towards a multi-formalism framework for architectural synthesis: the ASAR project. CODES (1994)
Guy Durrieu, Kamel Kessaci, Michel Lemaître
Transe: An Experimental Transformation Assistant for Digital Circuit Design. Designing Correct Circuits (1992)
Guy Durrieu, Kamel Kessaci, Michel Lemaître
Transe: an experimental design tool. Algorithms and Parallel VLSI Architectures (1991)
Alessandro Contessa, Eric Cousin, C. Coustet, Manuel Cubero-Castan, Guy Durrieu, Bernard Lécussan, Michel Lemaître, Paulino Ng
MaRS, a Combinator Graph Reduction Multiprocessor. PARLE (1) (1989)
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)
Michel Lemaître, Michel Castan, M.-H. Durand, Guy Durrieu, Bernard Lécussan
Mechanisms for Efficient Multiprocessor Combinator Reduction. LISP and Functional Programming (1986)
Dominique Comte, Guy Durrieu, O. Gelly, A. Plas, Jean-Claude Syre
Parallelism, control and synchronization expression in a single assignment language. ACM SIGPLAN Notices 13 (1) (1978)