Sébastien Faucou

According to our database, Sébastien Faucou authored at least 33 papers between 2001 and 2025.

Collaborative distances:

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

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

Checkpointing for single core energy-neutral real-time systems.

Houssam-Eddine Zahaf, Pierre-Emmanuel Hladik, Sébastien Faucou, Audrey Queudet

J. Syst. Archit., 2025

Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets.

Étienne André, Jean-Luc Béchennec, Sudipta Chattopadhyay, Sébastien Faucou, Didier Lime, Dylan Marinho, Olivier H. Roux, Jun Sun

Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, 2025

2024

ILP representation for Limited Preemption in Energy-Neutral Single-Core Systems.

Pierre-Emmanuel Hladik, Houssam-Eddine Zahaf, Sébastien Faucou, Audrey Queudet

Proceedings of the 32nd International Conference on Real-Time Networks and Systems, 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

Proceedings of the 30th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2024

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

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2024

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., March, 2023

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, André Sintzoff, Jean-Roch Coulon

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

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

Proceedings of the RTNS'2021: 29th International Conference on Real-Time Networks and Systems, 2021

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

Proceedings of the AM '21: Audio Mostly 2021, 2021

2018

Guest editorial: real-time networks and systems.

Sébastien Faucou, Luís Miguel Pinho

Real Time Syst., 2018

Testing Real-Time Systems With Runtime Enforcement.

Jean-Luc Béchennec, Sébastien Faucou, Olivier H. Roux, Matthias Brun, Louis-Marie Givel

IEEE Des. Test, 2018

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

Proceedings of the 14th European Dependable Computing Conference, 2018

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

WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction.

Armel Mangean, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2017

2016

BEST: a Binary Executable Slicing Tool.

Armel Mangean, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou

Proceedings of the 16th International Workshop on Worst-Case Execution Time Analysis, 2016

Hardware runtime verification of embedded software in SoPC.

Dimitry Solet, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Sébastien Pillement

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

Testing real-time embedded software using runtime enforcement.

Louis-Marie Givel, Jean-Luc Béchennec, Matthias Brun, Sébastien Faucou, Olivier H. Roux

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

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

Use of Runtime Enforcement for the Test of Real-time Systems.

Louis-Marie Givel, Matthias Brun, Camille Constant, Sébastien Faucou, Olivier H. Roux

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

2012

Real-time control with parametric timed reachability games.

Aleksandra Jovanovic, Sébastien Faucou, Didier Lime, Olivier H. Roux

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR.

Sylvain Cotard, Sébastien Faucou, Jean-Luc Béchennec, Audrey Queudet, Yvon Trinquet

Proceedings of the 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, 2012

2011

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, Mahmoud Boufaïda, Lionel Seinturier, Joël Champeau, Thomas Abdoul, Peter H. Feiler, Chokri Mraidha, Sébastien Gérard

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

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

Proceedings of the 3rd International Conference on Simulation Tools and Techniques, 2010

Temporal isolation for the cohabitation of applications in automotive embedded software.

Dominique Bertrand, Sébastien Faucou, Yvon Trinquet

Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

2009

An Analysis of the AUTOSAR OS Timing Protection Mechanism.

Dominique Bertrand, Sébastien Faucou, Yvon Trinquet

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

2008

A Study of the AADL Mode Change Protocol.

Dominique Bertrand, Anne-Marie Déplanche, Sébastien Faucou, Olivier H. Roux

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

2007

Adequacy between AUTOSAR OS specification and real-time scheduling theory.

Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Sébastien Faucou, Yvon Trinquet

Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

2006

Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification.

Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Yvon Trinquet

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

2004

Linking Paradigms, Semi-formal and Formal Notations.

Henri Habrias, Sébastien Faucou

Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

An ADL Centric Approach for the Formal Design of Real-Time Systems.

Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet

Proceedings of the Architecture Description Languages, 2004

2002

Timing fault detection for safety-critical real-time embedded systems.

Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

2001

Operative architecture design and modelling for the validation of real-time applications.

Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet

Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001