Sébastien Faucou

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 16

Top Topics

Embedded Systems

Embedded Real Time Systems

Partitioning Schemes

Top Venues

ACM Trans. Embed. Comput. Syst.

Discret. Event Dyn. Syst.

Audio Mostly Conference

Publications

Hugo Reymond, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Isabelle Puaut, Erven Rohou
SCHEMATIC: Compile-Time Checkpoint Placement and Memory Allocation for Intermittent Systems. CGO (2024)
Sébastien Pillement, Maria Mendez Real, J. Pottier, T. Nieddu, B. Le Gal, Sébastien Faucou, Jean-Luc Béchennec, Mikaël Briday, Sylvain Girbal, Jimmy Le Rhun, Olivier Gilles, Daniel Gracia Pérez, A. Sintzoff, J. R. Coulon
Securing a RISC-V architecture: A dynamic approach. DATE (2023)
Antoine Bernabeu, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Olivier H. Roux
Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems. Discret. Event Dyn. Syst. 33 (1) (2023)
Houssam-Eddine Zahaf, Ignacio Sanudo Olmedo, Jayati Singh, Nicola Capodieci, Sébastien Faucou
Contention-Aware GPU Partitioning and Task-to-Partition Allocation for Real-Time Workloads. RTNS (2021)
Houssam-Eddine Zahaf, Ignacio Sanudo Olmedo, Jayati Singh, Nicola Capodieci, Sébastien Faucou
Contention-Aware GPU Partitioning and Task-to-Partition Allocation for Real-Time Workloads. CoRR (2021)
Vincent Lostanlen, Antoine Bernabeu, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Mathieu Lagrange
Energy Efficiency is Not Enough: Towards a Batteryless Internet of Sounds. Audio Mostly Conference (2021)
Dimitry Solet, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Sébastien Pillement
Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection. EDCC (2018)
Sébastien Faucou, Luís Miguel Pinho
Guest editorial: real-time networks and systems. Real Time Syst. 54 (4) (2018)
Jean-Luc Béchennec, Sébastien Faucou, Olivier H. Roux, Matthias Brun, Louis-Marie Givel
Testing Real-Time Systems With Runtime Enforcement. IEEE Des. Test 35 (4) (2018)
Armel Mangean, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou
WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction. VECoS (2017)
Tigori Kabland Toussaint Gautier, Jean-Luc Béchennec, Sébastien Faucou, Olivier Henry Roux
Formal Model-Based Synthesis of Application-Specific Static RTOS. ACM Trans. Embed. Comput. Syst. 16 (4) (2017)
Louis-Marie Givel, Jean-Luc Béchennec, Matthias Brun, Sébastien Faucou, Olivier H. Roux
Testing real-time embedded software using runtime enforcement. SIES (2016)
Armel Mangean, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou
BEST: a Binary Executable Slicing Tool. WCET (2016)
Dimitry Solet, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Sébastien Pillement
Hardware runtime verification of embedded software in SoPC. SIES (2016)
Sylvain Cotard, Audrey Queudet, Jean-Luc Béchennec, Sébastien Faucou, Yvon Trinquet
STM-HRT: A Robust and Wait-Free STM for Hard Real-Time Multicore Embedded Systems. ACM Trans. Embed. Comput. Syst. 14 (4) (2015)
Louis-Marie Givel, Matthias Brun, Camille Constant, Sébastien Faucou, Olivier H. Roux
Use of Runtime Enforcement for the Test of Real-time Systems. HPCC/CSS/ICESS (2015)
Aleksandra Jovanovic, Sébastien Faucou, Didier Lime, Olivier H. Roux
Real-time control with parametric timed reachability games. WODES (2012)
Sylvain Cotard, Sébastien Faucou, Jean-Luc Béchennec, Audrey Queudet, Yvon Trinquet
A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR. HPCC-ICESS (2012)
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
An Efficient Modeling and Execution Framework for Complex Systems Development. ICECCS (2011)
Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Florent Pavin, Fabien Juif
ViPER: a lightweight approach to the simulation of distributed and embedded software. SimuTools (2010)
Dominique Bertrand, Sébastien Faucou, Yvon Trinquet
Temporal isolation for the cohabitation of applications in automotive embedded software. EDCC-CARS (2010)
Dominique Bertrand, Sébastien Faucou, Yvon Trinquet
An Analysis of the AUTOSAR OS Timing Protection Mechanism. ETFA (2009)
Dominique Bertrand, Anne-Marie Déplanche, Sébastien Faucou, Olivier H. Roux
A Study of the AADL Mode Change Protocol. ICECCS (2008)
Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Sébastien Faucou, Yvon Trinquet
Adequacy between AUTOSAR OS specification and real-time scheduling theory. SIES (2007)
Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Yvon Trinquet
Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification. ETFA (2006)
Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet
An ADL Centric Approach for the Formal Design of Real-Time Systems. IFIP-WADL (2004)
Henri Habrias, Sébastien Faucou
Linking Paradigms, Semi-formal and Formal Notations. TFM (2004)
Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet
Timing fault detection for safety-critical real-time embedded systems. ACM SIGOPS European Workshop (2002)
Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet
Operative architecture design and modelling for the validation of real-time applications. ETFA (2) (2001)