Guy Durrieu

16 papers A* 1C 3Journal 3Unranked 9
YearRankTypeTitle / Venue / Authors
2019 J jnl
GRec: Automatic Computation of Reconfiguration Graphs for Multi-core Platforms.
ACM Trans. Embed. Comput. Syst.
Guy Durrieu, Claire Pagetti
2018 — conf
Schedulability analysis for mixed critical cyber physical systems.
ICPS
Luca Santinelli, David Doose, Guy Durrieu, Frédéric Boniol, Charles Lesire-Cabaniols, Christophe Grand
2015 J jnl
Test Languages for In-the-Loop Avionics Tests.
J. Aerosp. Inf. Syst.
Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber
2013 C conf
A Meta-model for Tests of Avionics Embedded Systems.
MODELSWARD
Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber
2013 C conf
STELAE - A model-driven test development environment for avionics systems.
ISORC
Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber
2008 C conf
LETO - A Lustre-Based Test Oracle for Airbus Critical Systems.
FMICS
Guy Durrieu, Hélène Waeselynck, Virginie Wiels
2004 — conf
Formal proof and test case generation for critical embedded systems using SCADE.
IFIP Congress Topical Sessions
Guy Durrieu, Odile Laurent, Christel Seguin, Virginie Wiels
1998 A* conf
Helping the Automated Validation Process of User Interfaces Systems.
ICSE
Bruno d'Ausbourg, Christel Seguin, Guy Durrieu, Pierre Roché
1996 — conf
Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour.
DSV-IS
Bruno d'Ausbourg, Guy Durrieu, Pierre Roché
1994 — conf
Towards a multi-formalism framework for architectural synthesis: the ASAR project.
CODES
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
1992 — conf
Transe: An Experimental Transformation Assistant for Digital Circuit Design.
Designing Correct Circuits
Guy Durrieu, Kamel Kessaci, Michel Lemaître
1991 — conf
Transe: an experimental design tool.
Algorithms and Parallel VLSI Architectures
Guy Durrieu, Kamel Kessaci, Michel Lemaître
1989 — conf
MaRS, a Combinator Graph Reduction Multiprocessor.
PARLE (1)
Alessandro Contessa, Eric Cousin, Christophe Coustet, Manuel Cubero-Castan, Guy Durrieu, Bernard Lécussan, Michel Lemaître, Paulino Ng
1986 — conf
Mechanisms for Efficient Multiprocessor Combinator Reduction.
LISP and Functional Programming
Michel Lemaître, Michel Castan, M.-H. Durand, Guy Durrieu, Bernard Lécussan
1986 — conf
Toward the design of a parallel graph reduction machine: The MaRS project.
Graph Reduction
Michel Castan, Guy Durrieu, Bernard Lécussan, Michel Lemaître, Alessandro Contessa, Eric Cousin, Paulino Ng
1978 J jnl
Parallelism, control and synchronization expression in a single assignment language.
ACM SIGPLAN Notices
Dominique Comte, Guy Durrieu, O. Gelly, A. Plas, Jean-Claude Syre