Operative architecture design and modelling for the validation of real-time applications. - Sébastien Faucou; Anne-Marie Déplanche; Yvon Trinquet (ETFA (2), 2001)

Timing fault detection for safety-critical real-time embedded systems. - Sébastien Faucou; Anne-Marie Déplanche; Yvon Trinquet (ACM SIGOPS European Workshop, 2002)

An ADL Centric Approach for the Formal Design of Real-Time Systems. - Sébastien Faucou; Anne-Marie Déplanche; Yvon Trinquet (IFIP-WADL, 2004)

Linking Paradigms, Semi-formal and Formal Notations. - Henri Habrias; Sébastien Faucou (TFM, 2004)

Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification. - Jean-Luc Béchennec; Mikaël Briday; Sébastien Faucou; Yvon Trinquet (ETFA, 2006)

Adequacy between AUTOSAR OS specification and real-time scheduling theory. - Pierre-Emmanuel Hladik; Anne-Marie Déplanche; Sébastien Faucou; Yvon Trinquet (SIES, 2007)

A Study of the AADL Mode Change Protocol. - Dominique Bertrand; Anne-Marie Déplanche; Sébastien Faucou; Olivier H. Roux (ICECCS, 2008)

An Analysis of the AUTOSAR OS Timing Protection Mechanism. - Dominique Bertrand; Sébastien Faucou; Yvon Trinquet (ETFA, 2009)

Temporal isolation for the cohabitation of applications in automotive embedded software. - Dominique Bertrand; Sébastien Faucou; Yvon Trinquet (EDCC-CARS, 2010)

ViPER: a lightweight approach to the simulation of distributed and embedded software. - Jean-Luc Béchennec; Mikaël Briday; Sébastien Faucou; Florent Pavin; Fabien Juif (SimuTools, 2010)

An Efficient Modeling and Execution Framework for Complex Systems Development. - Isabelle Perseil; Laurent Pautet; Jean-François Rolland; Mamoun Filali; Didier Delanote; Stefan Van Baelen; Wouter Joosen; Yolande Berbers; Frédéric Mallet; Dominique Bertrand; Sébastien Faucou; Abdelhafid Zitouni; et al. (ICECCS, 2011)

A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR. - Sylvain Cotard; Sébastien Faucou; Jean-Luc Béchennec; Audrey Queudet; Yvon Trinquet (HPCC-ICESS, 2012)

Real-time control with parametric timed reachability games. - Aleksandra Jovanovic 002; Sébastien Faucou; Didier Lime; Olivier H. Roux (WODES, 2012)

Use of Runtime Enforcement for the Test of Real-time Systems. - Louis-Marie Givel; Matthias Brun 001; Camille Constant; Sébastien Faucou; Olivier H. Roux (HPCC/CSS/ICESS, 2015)

STM-HRT: A Robust and Wait-Free STM for Hard Real-Time Multicore Embedded Systems. - Sylvain Cotard; Audrey Queudet; Jean-Luc Béchennec; Sébastien Faucou; Yvon Trinquet (ACM Trans. Embed. Comput. Syst., 2015)

Testing real-time embedded software using runtime enforcement. - Louis-Marie Givel; Jean-Luc Béchennec; Matthias Brun 001; Sébastien Faucou; Olivier H. Roux (SIES, 2016)

Hardware runtime verification of embedded software in SoPC. - Dimitry Solet; Jean-Luc Béchennec; Mikaël Briday; Sébastien Faucou; Sébastien Pillement (SIES, 2016)

BEST: a Binary Executable Slicing Tool. - Armel Mangean; Jean-Luc Béchennec; Mikaël Briday; Sébastien Faucou (WCET, 2016)

WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction. - Armel Mangean; Jean-Luc Béchennec; Mikaël Briday; Sébastien Faucou (VECoS, 2017)

Formal Model-Based Synthesis of Application-Specific Static RTOS. - Tigori Kabland Toussaint Gautier; Jean-Luc Béchennec; Sébastien Faucou; Olivier Henry Roux (ACM Trans. Embed. Comput. Syst., 2017)

Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection. - Dimitry Solet; Jean-Luc Béchennec; Mikaël Briday; Sébastien Faucou; Sébastien Pillement (EDCC, 2018)

Testing Real-Time Systems With Runtime Enforcement. - Jean-Luc Béchennec; Sébastien Faucou; Olivier H. Roux; Matthias Brun 001; Louis-Marie Givel (IEEE Des. Test, 2018)

Guest editorial: real-time networks and systems. - Sébastien Faucou; Luís Miguel Pinho (Real Time Syst., 2018)

Energy Efficiency is Not Enough: Towards a Batteryless Internet of Sounds. - Vincent Lostanlen; Antoine Bernabeu; Jean-Luc Béchennec; Mikaël Briday; Sébastien Faucou; Mathieu Lagrange (Audio Mostly Conference, 2021)

Contention-Aware GPU Partitioning and Task-to-Partition Allocation for Real-Time Workloads. - Houssam-Eddine Zahaf; Ignacio Sanudo Olmedo; Jayati Singh; Nicola Capodieci; Sébastien Faucou (RTNS, 2021)

Securing a RISC-V architecture: A dynamic approach. - Sébastien Pillement; Maria Mendez Real; J. Pottier; T. Nieddu; Bertrand Le Gal; Sébastien Faucou; Jean-Luc Béchennec; Mikaël Briday; Sylvain Girbal; Jimmy Le Rhun; Olivier Gilles; Daniel Gracia Pérez; et al. (DATE, 2023)

Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems. - Antoine Bernabeu; Jean-Luc Béchennec; Mikaël Briday; Sébastien Faucou; Olivier H. Roux (Discret. Event Dyn. Syst., 2023)

SCHEMATIC: Compile-Time Checkpoint Placement and Memory Allocation for Intermittent Systems. - Hugo Reymond; Jean-Luc Béchennec; Mikaël Briday; Sébastien Faucou; Isabelle Puaut; Erven Rohou (CGO, 2024)

EarlyBird: Energy belongs to those who wake up early. - Hugo Reymond; Jean-Luc Béchennec; Mikaël Briday; Sébastien Faucou; Isabelle Puaut; Erven Rohou (RTCSA, 2024)

ILP representation for Limited Preemption in Energy-Neutral Single-Core Systems. - Pierre-Emmanuel Hladik; Houssam-Eddine Zahaf; Sébastien Faucou; Audrey Queudet (RTNS, 2024)

Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets. - Étienne André; Jean-Luc Béchennec; Sudipta Chattopadhyay 001; Sébastien Faucou; Didier Lime; Dylan Marinho; Olivier H. Roux; Jun Sun 001 (SAC, 2025)

Checkpointing for single core energy-neutral real-time systems. - Houssam-Eddine Zahaf; Pierre-Emmanuel Hladik; Sébastien Faucou; Audrey Queudet (J. Syst. Archit., 2025)

A Study in Specification and Hardware Runtime Verification of Critical Embedded Software. - Dimitry Solet; Jean-Luc Béchennec; Mikaël Briday; Sébastien Faucou; Sébastien Pillement (IEEE Trans. Dependable Secur. Comput., 2025)