Guy Durrieu

According to our database, Guy Durrieu authored at least 16 papers between 1978 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

GRec: Automatic Computation of Reconfiguration Graphs for Multi-core Platforms.

Guy Durrieu, Claire Pagetti

ACM Trans. Embed. Comput. Syst., 2019

2018

Schedulability analysis for mixed critical cyber physical systems.

Luca Santinelli, David Doose, Guy Durrieu, Frédéric Boniol, Charles Lesire-Cabaniols, Christophe Grand

Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

2015

Test Languages for In-the-Loop Avionics Tests.

Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber

J. Aerosp. Inf. Syst., 2015

2013

A Meta-model for Tests of Avionics Embedded Systems.

Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

STELAE - A model-driven test development environment for avionics systems.

Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber

Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

2008

LETO - A Lustre-Based Test Oracle for Airbus Critical Systems.

Guy Durrieu, Hélène Waeselynck, Virginie Wiels

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2004

Formal proof and test case generation for critical embedded systems using SCADE.

Guy Durrieu, Odile Laurent, Christel Seguin, Virginie Wiels

Proceedings of the Building the Information Society, 2004

1998

Helping the Automated Validation Process of User Interfaces Systems.

Bruno d'Ausbourg, Christel Seguin, Guy Durrieu, Pierre Roché

Proceedings of the Forging New Links, 1998

1996

Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour.

Bruno d'Ausbourg, Guy Durrieu, Pierre Roché

Proceedings of the Design, 1996

1994

Towards a multi-formalism framework for architectural synthesis: the ASAR project.

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

Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994

1992

Transe: An Experimental Transformation Assistant for Digital Circuit Design.

Guy Durrieu, Kamel Kessaci, Michel Lemaître

Proceedings of the Designing Correct Circuits, 1992

1991

Transe: an experimental design tool.

Guy Durrieu, Kamel Kessaci, Michel Lemaître

Proceedings of the Algorithms and Parallel VLSI Architectures II, 1991

1989

MaRS, a Combinator Graph Reduction Multiprocessor.

Alessandro Contessa, Eric Cousin, Christophe Coustet, Manuel Cubero-Castan, Guy Durrieu, Bernard Lécussan, Michel Lemaître, Paulino Ng

Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

1986

Mechanisms for Efficient Multiprocessor Combinator Reduction.

Michel Lemaître, Michel Castan, M.-H. Durand, Guy Durrieu, Bernard Lécussan

Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

Toward the design of a parallel graph reduction machine: The MaRS project.

Michel Castan, Guy Durrieu, Bernard Lécussan, Michel Lemaître, Alessandro Contessa, Eric Cousin, Paulino Ng

Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986

1978

Parallelism, control and synchronization expression in a single assignment language.

Dominique Comte, Guy Durrieu, O. Gelly, A. Plas, Jean-Claude Syre

ACM SIGPLAN Notices, 1978