Sébastien Faucou

Identifiants chercheurs

IdHAL :

sebastien-faucou

ORCID :

0000-0002-1514-3579

IdRef :

077263847

Publications

Communication dans un congrès (32)

Collaborative Action on Timing InterferenCes: Summary and Perspectives at Mid-term Claire Maiza,Lionel Rieg,Mihail Asavoae,Jean-Luc Béchennec,Dominique Blouinet al. ERTS 2026 - Embedded Real-Time Systems, Feb 2026, Toulouse, France. pp.1-11, ⟨10.82331/ERTS.2026.27⟩ Communication dans un congrès hal-05465745v1
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
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 Limeet 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
Circadia: Checkpointing for Intermittent Computing in AI Driven Applications Matthieu Rodet,Jean-Luc Béchennec,Mikaël Briday,Sébastien Faucou,Isabelle Puautet 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
EarlyBird: Energy belongs to those who wake up early Hugo Reymond,Jean-Luc Béchennec,Mikaël Briday,Sébastien Faucou,Isabelle Puautet 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
SCHEMATIC: Compile-time checkpoint placement and memory allocation for intermittent systems Hugo Reymond,Jean-Luc Béchennec,Mikaël Briday,Sébastien Faucou,Isabelle Puautet 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
Securing a RISC-V architecture: A dynamic approach Sébastien Pillement,Maria Mendez Real,Juliette Pottier,Thomas Nieddu,Bertrand Le Galet 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
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
Energy Efficiency is Not Enough: Towards a Batteryless Internet of Sounds Vincent Lostanlen,Antoine Bernabeu,Jean-Luc Béchennec,Mikaël Briday,Sébastien Faucouet 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
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
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
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
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
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
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
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
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
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
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

Poster de conférence (4)

Circadia: Checkpointing for Intermittent Computing in AI Driven Applications Matthieu Rodet,Jean-Luc Béchennec,Mikaël Briday,Sébastien Faucou,Isabelle Puautet 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
Memory Allocation in Intermittent Computing Hugo Reymond,Isabelle Puaut,Erven Rohou,Sébastien Faucou,Jean-Luc Béchennecet al. COMPAS'2022, Jul 2022, Amiens, France Poster de conférence hal-04385204v1
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

Article dans une revue (6)

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
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
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, 35 (4), ⟨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

Proceedings/Recueil des communications (2)

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

Chapitre d'ouvrage (3)

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