Sbastien Faucou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
12
Active years
2001–2026
Best venue rank
C
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | RTAS | Work in Progress: Exploring Timing Anomalies in Multi-Core Systems with Time Petri Nets. | Maha Essabyr, Florian Brandner, Mihail Asavoae, Sbastien Faucou, Jean-Luc Bchennec |
| 2025 | DSD | Circadia: Checkpointing for Intermittent Computing in AI Driven Applications. | Matthieu Rodet, Jean-Luc Bchennec, Mikal Briday, Sbastien Faucou, Isabelle Puaut, Erven Rohou |
| 2025 | SAC | Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets. | tienne Andr, Jean-Luc Bchennec, Sudipta Chattopadhyay, Sbastien Faucou, Didier Lime, Dylan Marinho, Olivier H. Roux, Jun Sun |
| 2024 | CGO | SCHEMATIC: Compile-Time Checkpoint Placement and Memory Allocation for Intermittent Systems. | Hugo Reymond, Jean-Luc Bchennec, Mikal Briday, Sbastien Faucou, Isabelle Puaut, Erven Rohou |
| 2024 | RTCSA | EarlyBird: Energy belongs to those who wake up early. | Hugo Reymond, Jean-Luc Bchennec, Mikal Briday, Sbastien Faucou, Isabelle Puaut, Erven Rohou |
| 2024 | RTNS | ILP representation for Limited Preemption in Energy-Neutral Single-Core Systems. | Pierre-Emmanuel Hladik, Houssam-Eddine Zahaf, Sbastien Faucou, Audrey Queudet |
| 2023 | DATE | Securing a RISC-V architecture: A dynamic approach. | Sbastien Pillement, Maria Mendez Real, J. Pottier, T. Nieddu, Bertrand Le Gal, Sbastien Faucou, Jean-Luc Bchennec, Mikal Briday, Sylvain Girbal, Jimmy Le Rhun, Olivier Gilles, Daniel Gracia Prez, Andr Sintzoff, Jean-Roch Coulon |
| 2021 | RTNS | Contention-Aware GPU Partitioning and Task-to-Partition Allocation for Real-Time Workloads. | Houssam-Eddine Zahaf, Ignacio Sanudo Olmedo, Jayati Singh, Nicola Capodieci, Sbastien Faucou |
| 2018 | EDCC | Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection. | Dimitry Solet, Jean-Luc Bchennec, Mikal Briday, Sbastien Faucou, Sbastien Pillement |
| 2017 | VECoS | WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction. | Armel Mangean, Jean-Luc Bchennec, Mikal Briday, Sbastien Faucou |
| 2015 | HPCC | Use of Runtime Enforcement for the Test of Real-time Systems. | Louis-Marie Givel, Matthias Brun, Camille Constant, Sbastien Faucou, Olivier H. Roux |
| 2012 | HPCC | A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR. | Sylvain Cotard, Sbastien Faucou, Jean-Luc Bchennec, Audrey Queudet, Yvon Trinquet |
| 2011 | ICECCS | An Efficient Modeling and Execution Framework for Complex Systems Development. | Isabelle Perseil, Laurent Pautet, Jean-Franois Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers, Frdric Mallet, Dominique Bertrand, Sbastien Faucou, Abdelhafid Zitouni, Mahmoud Boufada, Lionel Seinturier, Jol Champeau, Thomas Abdoul, Peter H. Feiler, Chokri Mraidha, Sbastien Grard |
| 2010 | EDCC | Temporal isolation for the cohabitation of applications in automotive embedded software. | Dominique Bertrand, Sbastien Faucou, Yvon Trinquet |
| 2009 | ETFA | An Analysis of the AUTOSAR OS Timing Protection Mechanism. | Dominique Bertrand, Sbastien Faucou, Yvon Trinquet |
| 2008 | ICECCS | A Study of the AADL Mode Change Protocol. | Dominique Bertrand, Anne-Marie Dplanche, Sbastien Faucou, Olivier H. Roux |
| 2006 | ETFA | Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification. | Jean-Luc Bchennec, Mikal Briday, Sbastien Faucou, Yvon Trinquet |
| 2001 | ETFA | Operative architecture design and modelling for the validation of real-time applications. | Sbastien Faucou, Anne-Marie Dplanche, Yvon Trinquet |