Sébastien Faucou

Orcid: 0000-0002-1514-3579

According to our database1, Sébastien Faucou authored at least 28 papers between 2001 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
SCHEMATIC: Compile-Time Checkpoint Placement and Memory Allocation for Intermittent Systems.
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2024

2023
Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems.
Discret. Event Dyn. Syst., March, 2023

Securing a RISC-V architecture: A dynamic approach.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2021
Contention-Aware GPU Partitioning and Task-to-Partition Allocation for Real-Time Workloads.
Proceedings of the RTNS'2021: 29th International Conference on Real-Time Networks and Systems, 2021

Energy Efficiency is Not Enough: Towards a Batteryless Internet of Sounds.
Proceedings of the AM '21: Audio Mostly 2021, 2021

2018
Guest editorial: real-time networks and systems.
Real Time Syst., 2018

Testing Real-Time Systems With Runtime Enforcement.
IEEE Des. Test, 2018

Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection.
Proceedings of the 14th European Dependable Computing Conference, 2018

2017
Formal Model-Based Synthesis of Application-Specific Static RTOS.
ACM Trans. Embed. Comput. Syst., 2017

WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2017

2016
BEST: a Binary Executable Slicing Tool.
Proceedings of the 16th International Workshop on Worst-Case Execution Time Analysis, 2016

Hardware runtime verification of embedded software in SoPC.
Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

Testing real-time embedded software using runtime enforcement.
Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

2015
STM-HRT: A Robust and Wait-Free STM for Hard Real-Time Multicore Embedded Systems.
ACM Trans. Embed. Comput. Syst., 2015

Use of Runtime Enforcement for the Test of Real-time Systems.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

2012
Real-time control with parametric timed reachability games.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR.
Proceedings of the 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, 2012

2011
An Efficient Modeling and Execution Framework for Complex Systems Development.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2010
ViPER: a lightweight approach to the simulation of distributed and embedded software.
Proceedings of the 3rd International Conference on Simulation Tools and Techniques, 2010

Temporal isolation for the cohabitation of applications in automotive embedded software.
Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

2009
An Analysis of the AUTOSAR OS Timing Protection Mechanism.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

2008
A Study of the AADL Mode Change Protocol.
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

2007
Adequacy between AUTOSAR OS specification and real-time scheduling theory.
Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

2006
Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

2004
Linking Paradigms, Semi-formal and Formal Notations.
Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

An ADL Centric Approach for the Formal Design of Real-Time Systems.
Proceedings of the Architecture Description Languages, 2004

2002
Timing fault detection for safety-critical real-time embedded systems.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

2001
Operative architecture design and modelling for the validation of real-time applications.
Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001


  Loading...