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)

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 (Graph Reduction, 1986)

Mechanisms for Efficient Multiprocessor Combinator Reduction. - Michel Lemaître; Michel Castan; M.-H. Durand; Guy Durrieu; Bernard Lécussan (LISP and Functional Programming, 1986)

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 (PARLE (1), 1989)

Transe: an experimental design tool. - Guy Durrieu; Kamel Kessaci; Michel Lemaître (Algorithms and Parallel VLSI Architectures, 1991)

Transe: An Experimental Transformation Assistant for Digital Circuit Design. - Guy Durrieu; Kamel Kessaci; Michel Lemaître (Designing Correct Circuits, 1992)

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; et al. (CODES, 1994)

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é (DSV-IS, 1996)

Helping the Automated Validation Process of User Interfaces Systems. - Bruno d'Ausbourg; Christel Seguin; Guy Durrieu; Pierre Roché (ICSE, 1998)

Formal proof and test case generation for critical embedded systems using SCADE. - Guy Durrieu; Odile Laurent; Christel Seguin; Virginie Wiels (IFIP Congress Topical Sessions, 2004)

LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. - Guy Durrieu; Hélène Waeselynck; Virginie Wiels (FMICS, 2008)

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 (ISORC, 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 (MODELSWARD, 2013)

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)

Schedulability analysis for mixed critical cyber physical systems. - Luca Santinelli; David Doose; Guy Durrieu; Frédéric Boniol; Charles Lesire-Cabaniols; Christophe Grand (ICPS, 2018)

GRec: Automatic Computation of Reconfiguration Graphs for Multi-core Platforms. - Guy Durrieu; Claire Pagetti (ACM Trans. Embed. Comput. Syst., 2019)