Sébastien Faucou

49 %
Libre accès
47
Documents
Affiliations actuelles
  • STR (LS2N - équipe STR)
  • Laboratoire des Sciences du Numérique de Nantes (LS2N)
Contact

Publications

Publications

Deposit thumbnail

Collaborative Action on Timing InterferenCes: Summary and Perspectives at Mid-term

Claire Maiza , Lionel Rieg , Jean-Luc Béchennec , Mihail Asavoae , Dominique Blouin et al.

Embedded Real-Time Systems (ERTS) 2026, Feb 2026, Toulouse, France. ⟨10.82331/ERTS.2026.27⟩

Communication dans un congrès hal-05465745v1
Deposit thumbnail

Un réseau de neurones frugal pour la détection bioacoustique

Matthieu Carreau , Sébastien Faucou , Pierre-Emmanuel Hladik , Vincent Lostanlen

GRETSI’25, Aug 2025, Strasbourg, France

Communication dans un congrès hal-05151229v1
Deposit thumbnail

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 et al.

SAC '25: 40th ACM/SIGAPP Symposium on Applied Computing, Mar 2025, Catania (IT), Italy. pp.1998-2006, ⟨10.1145/3672608.3707861⟩

Communication dans un congrès hal-05408909v1
Deposit thumbnail

Circadia: Checkpointing for Intermittent Computing in AI Driven Applications

Matthieu Rodet , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou , Isabelle Puaut et al.

DSD 2025 - 28th Euromicro Conference on Digital System Design, Sep 2025, Salerno, Italy. pp.1-10, ⟨10.1109/DSD67783.2025.00091⟩

Communication dans un congrès hal-05340384v1
Deposit thumbnail

EarlyBird: Energy belongs to those who wake up early

Hugo Reymond , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou , Isabelle Puaut et al.

RTCSA 2024 - 30th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2024, Sokcho, South Korea. pp.1-10, ⟨10.1109/RTCSA62462.2024.00011⟩

Communication dans un congrès hal-04663862v1
Deposit thumbnail

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 et al.

IEEE/ACM International Symposium on Code Generation and Optimization (CGO'24), Mar 2024, Edinburgh, United Kingdom. pp.258-269, ⟨10.1109/CGO57630.2024.10444789⟩

Communication dans un congrès hal-04345348v2

MORTEM: a new runtime for intermittent computing

Antoine Bernabeu , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou , Olivier H. Roux

Conférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS), Jul 2023, Annecy, France

Communication dans un congrès hal-04354069v1
Deposit thumbnail

Securing a RISC-V architecture: A dynamic approach

Sébastien Pillement , Maria Mendez Real , Juliette Pottier , Thomas Nieddu , Bertrand Le Gal et al.

2023 Design, Automation and Test in Europe Conference (DATE 2023), Apr 2023, Antwerp, Belgium. ⟨10.23919/DATE56975.2023.10136972⟩

Communication dans un congrès hal-03906564v1
Deposit thumbnail

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 et al.

Proceedings of the International Workshop on the Internet of Sounds (IWIS), Audio Mostly, Sep 2021, Trento, Italy

Communication dans un congrès hal-03324622v1
Deposit thumbnail

Synthèse de traces temporisées à coût optimal pour l'ordonnancement de systèmes embarqués intermittents

Antoine Bernabeu , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou , Olivier Henri Roux

Modélisation des Systèmes Réactifs (MSR'21), Nov 2021, Paris, France

Communication dans un congrès hal-03449539v1
Deposit thumbnail

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: 29th International Conference on Real-Time Networks and Systems, Apr 2021, Nantes, France. pp.226-236, ⟨10.1145/3453417.3453439⟩

Communication dans un congrès hal-03641750v1
Deposit thumbnail

Toward an Exact Simulation Interval for Multiprocessor Real-Time Systems Validation

Joumana Lagha , Jean-Luc Béchennec , Sébastien Faucou , Olivier-H Roux

VALID 2020, The Twelfth International Conference on Advances in System Testing and Validation Lifecycle, Oct 2020, Lisbon, Portugal

Communication dans un congrès hal-03006791v1

Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection

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

14th European Dependable Computing Conference (EDCC), Sep 2018, Iasi, Romania. ⟨10.1109/edcc.2018.00016⟩

Communication dans un congrès hal-01874233v1

HW-based Architecture for Runtime Verification of Embedded Software on SOPC systems

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

2018 NASA/ESA Conference on Adaptive Hardware and Systems (AHS), Aug 2018, Edinburgh, United Kingdom. ⟨10.1109/AHS.2018.8541459⟩

Communication dans un congrès hal-01804096v1

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

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

Verification and Evaluation of Computer and Communication Systems. VECoS 2017, Aug 2017, Montréal, Canada. pp.64--78, ⟨10.1007/978-3-319-66176-6_5⟩

Communication dans un congrès hal-01713094v1
Deposit thumbnail

BEST: a Binary Executable Slicing Tool

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

16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016), Jul 2016, Toulouse, France. pp.7:1--7:10, ⟨10.4230/OASIcs.WCET.2016.7⟩

Communication dans un congrès hal-01713140v1

Testing real-time embedded software using runtime enforcement

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

11th IEEE International Symposium on Industrial Embedded Systems, IEEE SIES 2016, May 2016, Krakow, Poland

Communication dans un congrès hal-01399909v1

Use of runtime enforcement for the test of real-time systems

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

12th IEEE International Conference on Embedded Software and Systems, IEEE ICESS 2015, Aug 2015, New York, United States

Communication dans un congrès hal-01179648v1
Deposit thumbnail

Using formal methods for the development of safe application-specific RTOS for automotive systems

Kabland Toussaint Gautier Tigori , Jean-Luc Béchennec , Sébastien Faucou , Olivier Roux

CARS 2015 - Critical Automotive applications: Robustness & Safety, Sep 2015, Paris, France

Communication dans un congrès hal-01193023v1
Deposit thumbnail

Hardware runtime verification of embedded software in SoPC

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

2016 11th IEEE Symposium on Industrial Embedded Systems (SIES), May 2016, Cracovie, Poland. SIES 2016 paper 16, ⟨10.1109/sies.2016.7509425⟩

Communication dans un congrès hal-01307973v1
Deposit thumbnail

Real-Time Control with Parametric Timed Reachability Games

Aleksandra Jovanovic , Sébastien Faucou , Didier Lime , Olivier Henri Roux

11th International Workshop on Discrete Event Systems, Oct 2012, Guadalajara, Mexico. pp.323-330

Communication dans un congrès hal-00753689v1

A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR

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

2012 IEEE 14th Int'l Conf. on High Performance Computing and Communication (HPCC) & 2012 IEEE 9th Int'l Conf. on Embedded Software and Systems (ICESS), Jun 2012, Liverpool, United Kingdom. ⟨10.1109/HPCC.2012.220⟩

Communication dans un congrès hal-01713202v1

Temporal isolation for the cohabitation of applications in automotive embedded software

Dominique Bertrand , Sébastien Faucou , Yvon Trinquet

EDDC - Workshop on Critical Automotive Applications: Robustness and Safety (CARS@EDCC), SEE, AICA, GI/ITG/GMA IFIP WG10.4-EWICS TC7-IEEE TC on DCFT, Apr 2010, Valencia, Spain

Communication dans un congrès inria-00538518v1

An analysis of AUTOSAR OS timing protection mechanisms

Dominique Bertrand , Sébastien Faucou , Yvon Trinquet

14th Int. Conf. on Emerging Technologies and Factory Automation (ETFA'09), IEEE, Sep 2009, Majorques, Spain

Communication dans un congrès inria-00538497v1

A study of the AADL mode change protocol

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

3rd International UML & AADL Workshop, Apr 2008, Belfast, Ireland. pp.288

Communication dans un congrès hal-00490817v1

Overview of microkernel standards for real-time in-vehicle embedded systems

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

4th Taiwanese-French Conference on Information Technology - TFIT'08, Mar 2008, Taipei, Taiwan

Communication dans un congrès hal-00490671v1

Adequacy between AUTOSAR OS specification and real-time scheduling theory

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

IEEE Second International Symposium on Industrial Embedded Systems - SIES 2007, Jul 2007, Lisbon, Portugal. pp.225

Communication dans un congrès hal-00490661v1

Schedulability analysis of OSEK/VDX applications

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

15th International Conference on Real-Time and Network Systems - RTNS'07, Mar 2007, Nancy, France. pp.131

Communication dans un congrès hal-00490656v1

Retour d’expérience sur l’utilisation déclarative d’un langage de transformation pour la génération de code : de AADL vers OSEK/VDX OS

Matthias Brun , Jérôme Delatour , Sébastien Faucou , Guillaume Savaton

IDM07, Mar 2007, Toulouse, France. pp.132-148

Communication dans un congrès hal-01179695v1

Trampoline - an open source implementation of the osek/vdx rtos specification

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

11th Int. Conf. on Emerging Technologies and Factory Automation (ETFA'06), IEEE, Sep 2006, Prague, Czech Republic

Communication dans un congrès inria-00538492v1

Linking Paradigms, Semi-formal and Formal Notations

Henri Habrias , Sébastien Faucou

{Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004}, 2004, Ghent, Belgium, Belgium. pp.166--184

Communication dans un congrès hal-00458172v1

Some reflections on the teaching of Formal Methods

Henri Habrias , Sébastien Faucou

Teaching Formal Methods, Workshop, TFM 2003, 2003, Oxford, UK, United Kingdom. 5 p

Communication dans un congrès hal-00458173v1
Deposit thumbnail

Circadia: Checkpointing for Intermittent Computing in AI Driven Applications

Matthieu Rodet , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou , Isabelle Puaut et al.

ACACES 2025 - 21st Internationnal Summer School on Advanced Computer Architecture and Compilation for High-performance Embedded Systems, Jul 2025, Salerno, Italy. 2025

Poster de conférence hal-05340610v1
Deposit thumbnail

Memory Allocation in Intermittent Computing

Hugo Reymond , Isabelle Puaut , Erven Rohou , Sébastien Faucou , Jean-Luc Béchennec et al.

COMPAS'2022, Jul 2022, Amiens, France

Poster de conférence hal-04385204v1
Deposit thumbnail

Support d'exécution pour le calcul intermittent

Jean-Luc Béchennec , Antoine Bernabeu , Mikaël Briday , Sébastien Faucou

COMPAS 2021, Jul 2021, Lyon, France.

Poster de conférence hal-03446983v1

Implémentation matérielle d’un dispositif de vérification en ligne sur un SoPC

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

Colloque National GDR SoC-SiP, Jun 2016, Nantes, France. , paper ID#68, 2016

Poster de conférence hal-01324796v1
Deposit thumbnail

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 Transactions on Dependable and Secure Computing, 2024, pp.1-12. ⟨10.1109/tdsc.2024.3484015⟩

Article dans une revue hal-04891957v1
Deposit thumbnail

Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems

Antoine Bernabeu , Mikaël Briday , Sébastien Faucou , Jean-Luc Béchennec , Olivier H. Roux

Discrete Event Dynamic Systems, 2023, 33, ⟨10.1007/s10626-022-00372-6⟩

Article dans une revue hal-03952467v1
Deposit thumbnail

Testing real-time systems with runtime enforcement

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

IEEE Design & Test, 2018, ⟨10.1109/MDAT.2018.2791801⟩

Article dans une revue hal-01713193v1

Guest editorial: real-time networks and systems

Sébastien Faucou , Luís Miguel Pinho

Real-Time Systems, 2018, 54 (4), pp.797 - 799. ⟨10.1007/s11241-018-9317-8⟩

Article dans une revue hal-01902125v1

Formal Model-Based Synthesis of Application-Specific Static RTOS

Kabland Toussaint Gautier Tigori , Jean-Luc Béchennec , Sébastien Faucou , Olivier Henri Roux

ACM Transactions on Embedded Computing Systems (TECS), 2017, 16 (4), pp.1 - 25. ⟨10.1145/3015777⟩

Article dans une revue hal-01713063v1

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 Transactions on Embedded Computing Systems (TECS), 2015, 14 (4), pp.1 - 25. ⟨10.1145/2786979⟩

Article dans une revue hal-01713171v1

Special Issue on Real Time Networks and Systems

Sébastien Faucou , Luís Miguel Pinho

Real-Time Systems, 54 (4), Springer, 2018, Special Issue on Real Time Networks and Systems, ⟨10.1007/s11241-018-9317-8⟩

Proceedings/Recueil des communications hal-02001238v1

Proceedings of the 24th International Conference on Real-Time Network and Systems, {RTNS} 2016, Brest, France, October 19-21, 2016

Sébastien Faucou

Sébastien Faucou; Luis Miguel Pinho. 24th International Conference on Real-Time Networks and Systems, RTNS 2016, Oct 2016, Brest, France. ACM Press, 2016, ACM International Conference Proceeding Series, ⟨10.1145/2997465⟩

Proceedings/Recueil des communications hal-01713162v1

Architecture Description Languages for the Automotive Domain

Sébastien Faucou , Françoise Simonot-Lion , Yvon Trinquet

Gomes, Luís and Fernandes, João M. Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation, IGI Global, pp.353-376, 2009, 978-1-60566-750-8

Chapitre d'ouvrage inria-00431438v1

Architecture Description Languages - An Introduction to the SAE AADL

Anne-Marie Déplanche , Faucou Sébastien

Modeling and Verification of Real-Time Systems, ISTE - Wiley, pp.353, 2008

Chapitre d'ouvrage hal-00490270v1

Description d'architectures pour le temps réel : l'approche AADL

Anne-Marie Déplanche , Faucou Sébastien

Systèmes temps réel 1 – Techniques de description et de vérification, Hermès Science, pp.327, 2006

Chapitre d'ouvrage hal-00490265v1