According to our database1, Guy Durrieu
Legend:Book In proceedings Article PhD thesis Other
Test Languages for In-the-Loop Avionics Tests.
J. Aerospace Inf. Sys., 2015
A Meta-model for Tests of Avionics Embedded Systems.
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.
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013
LETO - A Lustre-Based Test Oracle for Airbus Critical Systems.
Proceedings of the Formal Methods for Industrial Critical Systems, 2008
Formal proof and test case generation for critical embedded systems using SCADE.
Proceedings of the Building the Information Society, 2004
Helping the Automated Validation Process of User Interfaces Systems.
Proceedings of the Forging New Links, 1998
Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour.
Proceedings of the Design, 1996
Towards a multi-formalism framework for architectural synthesis: the ASAR project.
Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994
Transe: An Experimental Transformation Assistant for Digital Circuit Design.
Proceedings of the Designing Correct Circuits, 1992
Transe: an experimental design tool.
Proceedings of the Algorithms and Parallel VLSI Architectures II, 1991
MaRS, a Combinator Graph Reduction Multiprocessor.
Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989
Mechanisms for Efficient Multiprocessor Combinator Reduction.
LISP and Functional Programming, 1986
Toward the design of a parallel graph reduction machine: The MaRS project.
Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986