Sébastien Faucou

37 papers A 2B 3C 4Misc 6Journal 8Unranked 14
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Study in Specification and Hardware Runtime Verification of Critical Embedded Software.
IEEE Trans. Dependable Secur. Comput.
Dimitry Solet, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Sébastien Pillement
2025 J jnl
Checkpointing for single core energy-neutral real-time systems.
J. Syst. Archit.
Houssam-Eddine Zahaf, Pierre-Emmanuel Hladik, Sébastien Faucou, Audrey Queudet
2025 C conf
Circadia: Checkpointing for Intermittent Computing in AI Driven Applications.
DSD
Matthieu Rodet, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Isabelle Puaut, Erven Rohou
2025 Misc conf
Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets.
SAC
Étienne André, Jean-Luc Béchennec, Sudipta Chattopadhyay, Sébastien Faucou, Didier Lime, Dylan Marinho, Olivier H. Roux, Jun Sun
2024 B conf
EarlyBird: Energy belongs to those who wake up early.
RTCSA
Hugo Reymond, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Isabelle Puaut, Erven Rohou
2024 Misc conf
ILP representation for Limited Preemption in Energy-Neutral Single-Core Systems.
RTNS
Pierre-Emmanuel Hladik, Houssam-Eddine Zahaf, Sébastien Faucou, Audrey Queudet
2024 A conf
SCHEMATIC: Compile-Time Checkpoint Placement and Memory Allocation for Intermittent Systems.
CGO
Hugo Reymond, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Isabelle Puaut, Erven Rohou
2023 J jnl
Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems.
Discret. Event Dyn. Syst.
Antoine Bernabeu, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Olivier H. Roux
2023 A conf
Securing a RISC-V architecture: A dynamic approach.
DATE
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
2021 Misc conf
Contention-Aware GPU Partitioning and Task-to-Partition Allocation for Real-Time Workloads.
RTNS
Houssam-Eddine Zahaf, Ignacio Sanudo Olmedo, Jayati Singh, Nicola Capodieci, Sébastien Faucou
2021 J jnl
Contention-Aware GPU Partitioning and Task-to-Partition Allocation for Real-Time Workloads.
CoRR
Houssam-Eddine Zahaf, Ignacio Sanudo Olmedo, Jayati Singh, Nicola Capodieci, Sébastien Faucou
2021 — conf
Energy Efficiency is Not Enough: Towards a Batteryless Internet of Sounds.
Audio Mostly Conference
Vincent Lostanlen, Antoine Bernabeu, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Mathieu Lagrange
2018 J jnl
Guest editorial: real-time networks and systems.
Real Time Syst.
Sébastien Faucou, Luís Miguel Pinho
2018 Misc conf
Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection.
EDCC
Dimitry Solet, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Sébastien Pillement
2018 J jnl
Testing Real-Time Systems With Runtime Enforcement.
IEEE Des. Test
Jean-Luc Béchennec, Sébastien Faucou, Olivier H. Roux, Matthias Brun, Louis-Marie Givel
2017 J jnl
Formal Model-Based Synthesis of Application-Specific Static RTOS.
ACM Trans. Embed. Comput. Syst.
Tigori Kabland Toussaint Gautier, Jean-Luc Béchennec, Sébastien Faucou, Olivier Henry Roux
2017 C conf
WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction.
VECoS
Armel Mangean, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou
2016 — conf
BEST: a Binary Executable Slicing Tool.
WCET
Armel Mangean, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou
2016 — conf
Hardware runtime verification of embedded software in SoPC.
SIES
Dimitry Solet, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Sébastien Pillement
2016 Misc ed.
Proceedings of the 24th International Conference on Real-Time Networks and Systems, RTNS 2016, Brest, France, October 19-21, 2016
RTNS
Alain Plantec, Frank Singhoff, Sébastien Faucou, Luís Miguel Pinho
2016 — conf
Testing real-time embedded software using runtime enforcement.
SIES
Louis-Marie Givel, Jean-Luc Béchennec, Matthias Brun, Sébastien Faucou, Olivier H. Roux
2015 J jnl
STM-HRT: A Robust and Wait-Free STM for Hard Real-Time Multicore Embedded Systems.
ACM Trans. Embed. Comput. Syst.
Sylvain Cotard, Audrey Queudet, Jean-Luc Béchennec, Sébastien Faucou, Yvon Trinquet
2015 — conf
Use of Runtime Enforcement for the Test of Real-time Systems.
HPCC/CSS/ICESS
Louis-Marie Givel, Matthias Brun, Camille Constant, Sébastien Faucou, Olivier H. Roux
2012 — conf
A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR.
HPCC-ICESS
Sylvain Cotard, Sébastien Faucou, Jean-Luc Béchennec, Audrey Queudet, Yvon Trinquet
2012 — conf
Real-time control with parametric timed reachability games.
WODES
Aleksandra Jovanovic, Sébastien Faucou, Didier Lime, Olivier H. Roux
2011 Misc ed.
19th International Conference on Real-Time and Network Systems, RTNS '11, Nantes, France, September 29-30, 2011. Proceedings
RTNS
Sébastien Faucou, Alan Burns, Laurent George
2011 B conf
An Efficient Modeling and Execution Framework for Complex Systems Development.
ICECCS
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
2010 — conf
Temporal isolation for the cohabitation of applications in automotive embedded software.
EDCC-CARS
Dominique Bertrand, Sébastien Faucou, Yvon Trinquet
2010 — conf
ViPER: a lightweight approach to the simulation of distributed and embedded software.
SimuTools
Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Florent Pavin, Fabien Juif
2009 C conf
An Analysis of the AUTOSAR OS Timing Protection Mechanism.
ETFA
Dominique Bertrand, Sébastien Faucou, Yvon Trinquet
2008 B conf
A Study of the AADL Mode Change Protocol.
ICECCS
Dominique Bertrand, Anne-Marie Déplanche, Sébastien Faucou, Olivier H. Roux
2007 — conf
Adequacy between AUTOSAR OS specification and real-time scheduling theory.
SIES
Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Sébastien Faucou, Yvon Trinquet
2006 C conf
Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification.
ETFA
Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Yvon Trinquet
2004 — conf
An ADL Centric Approach for the Formal Design of Real-Time Systems.
IFIP-WADL
Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet
2004 — conf
Linking Paradigms, Semi-formal and Formal Notations.
TFM
Henri Habrias, Sébastien Faucou
2002 — conf
Timing fault detection for safety-critical real-time embedded systems.
ACM SIGOPS European Workshop
Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet
2001 — conf
Operative architecture design and modelling for the validation of real-time applications.
ETFA (2)
Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet