Sébastien Faucou
38%
Libre accès
40
Documents
Affiliations actuelles
- 481380
- 473973
Identifiants chercheurs
- sebastien-faucou
- 0000-0002-1514-3579
- IdRef : 077263847
Publications
|
SCHEMATIC: Compile-time checkpoint placement and memory allocation for intermittent systemsIEEE/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 approachDATE Conference 2023, Apr 2023, Antwerp, Belgium
Communication dans un congrès
hal-03906564v1
|
|
MORTEM: a new runtime for intermittent computingConfé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 SoundsProceedings of the International Workshop on the Internet of Sounds (IWIS), Audio Mostly, Sep 2021, Trento, Italy
Communication dans un congrès
hal-03324622v1
|
Contention-Aware GPU Partitioning and Task-to-Partition Allocation for Real-Time WorkloadsRTNS'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
|
|
|
Synthèse de traces temporisées à coût optimal pour l'ordonnancement de systèmes embarqués intermittentsModélisation des Systèmes Réactifs (MSR'21), Nov 2021, Paris, France
Communication dans un congrès
hal-03449539v1
|
|
Toward an Exact Simulation Interval for Multiprocessor Real-Time Systems ValidationVALID 2020, The Twelfth International Conference on Advances in System Testing and Validation Lifecycle, Oct 2020, Lisbon, Portugal
Communication dans un congrès
hal-03006791v1
|
HW-based Architecture for Runtime Verification of Embedded Software on SOPC systems2018 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
|
|
Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection14th European Dependable Computing Conference (EDCC), Sep 2018, Iasi, Romania. ⟨10.1109/edcc.2018.00016⟩
Communication dans un congrès
hal-01874233v1
|
|
WCET Analysis by Model Checking for a Processor with Dynamic Branch PredictionVerification 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 Tool16th 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
|
|
Hardware runtime verification of embedded software in SoPC2016 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
|
Testing real-time embedded software using runtime enforcement11th 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 systems12th 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 systemsCARS 2015 - Critical Automotive applications: Robustness & Safety, Sep 2015, Paris, France
Communication dans un congrès
hal-01193023v1
|
|
Real-Time Control with Parametric Timed Reachability Games11th 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 AUTOSAR2012 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 softwareEDDC - 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 mechanisms14th Int. Conf. on Emerging Technologies and Factory Automation (ETFA'09), IEEE, Sep 2009, Majorques, Spain
Communication dans un congrès
inria-00538497v1
|
|
Overview of microkernel standards for real-time in-vehicle embedded systems4th Taiwanese-French Conference on Information Technology - TFIT'08, Mar 2008, Taipei, Taiwan
Communication dans un congrès
hal-00490671v1
|
|
A study of the AADL mode change protocol3rd International UML & AADL Workshop, Apr 2008, Belfast, Ireland. pp.288
Communication dans un congrès
hal-00490817v1
|
|
Adequacy between AUTOSAR OS specification and real-time scheduling theoryIEEE 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 OSIDM07, Mar 2007, Toulouse, France. pp.132-148
Communication dans un congrès
hal-01179695v1
|
|
Schedulability analysis of OSEK/VDX applications15th 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 specification11th 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{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 MethodsTeaching Formal Methods, Workshop, TFM 2003, 2003, Oxford, UK, United Kingdom. 5 p
Communication dans un congrès
hal-00458173v1
|
|
Memory Allocation in Intermittent ComputingCOMPAS'2022, Jul 2022, Amiens, France
Poster de conférence
hal-04385204v1
|
|
Support d'exécution pour le calcul intermittentPoster de conférence hal-03446983v1 |
Implémentation matérielle d’un dispositif de vérification en ligne sur un SoPCPoster de conférence hal-01324796v1 |
Architecture Description Languages for the Automotive DomainGomes, 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 AADLModeling 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 AADLSystèmes temps réel 1 – Techniques de description et de vérification, Hermès Science, pp.327, 2006
Chapitre d'ouvrage
hal-00490265v1
|
|
Cost-optimal timed trace synthesis for scheduling of intermittent embedded systemsDiscrete Event Dynamic Systems, 2023, 33, ⟨10.1007/s10626-022-00372-6⟩
Article dans une revue
hal-03952467v1
|
|
Testing real-time systems with runtime enforcementIEEE Design & Test, 2018, ⟨10.1109/MDAT.2018.2791801⟩
Article dans une revue
hal-01713193v1
|
Guest editorial: real-time networks and systemsReal-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 RTOSACM 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 SystemsACM 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 SystemsReal-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, 2016Sé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
|