Sebastien Faucou
Sebastien Faucou
Verified email at
Cited by
Cited by
Trampoline an open source implementation of the osek/vdx rtos specification
JL Bechennec, M Briday, S Faucou, Y Trinquet
2006 IEEE Conference on Emerging Technologies and Factory Automation, 62-69, 2006
Adequacy between AUTOSAR OS specification and real-time scheduling theory
PE Hladik, AM Déplanche, S Faucou, Y Trinquet
2007 International Symposium on Industrial Embedded Systems, 225-233, 2007
Heuristic techniques for allocating and scheduling communicating periodic tasks in distributed real-time systems
S Faucou, AM Deplanche, JP Beauvais
2000 IEEE International Workshop on Factory Communication Systems …, 2000
A study of the aadl mode change protocol
D Bertrand, AM Déplanche, S Faucou, OH Roux
13th IEEE International Conference on Engineering of Complex Computer …, 2008
A data flow monitoring service based on runtime verification for autosar
S Cotard, S Faucou, JL Béchennec, A Queudet, Y Trinquet
2012 IEEE 14th International Conference on High Performance Computing and …, 2012
An ADL centric approach for the formal design of real-time systems
S Faucou, AM Déplanche, Y Trinquet
Architecture Description Languages, 67-82, 2005
An analysis of the AUTOSAR OS timing protection mechanism
D Bertrand, S Faucou, Y Trinquet
2009 IEEE Conference on Emerging Technologies & Factory Automation, 1-8, 2009
Hardware runtime verification of embedded software in SoPC
D Solet, JL Béchennec, M Briday, S Faucou, S Pillement
2016 11th IEEE Symposium on Industrial Embedded Systems (SIES), 1-6, 2016
Modèle de plate-forme pour l’embarqué: première expérimentation sur les noyaux temps réel
J Delatour, F Thomas, G Savaton, S Faucou
Actes des premières journées sur l’Ingénierie Dirigée par les Modèles (IDM …, 2005
Linking paradigms, semi-formal and formal notations
H Habrias, S Faucou
International Conference on Technical Formal Methods, 166-184, 2004
Description et construction d'architectures opérationnelles validées temporellement
S Faucou
Nantes, 2002
Modeling and Verification of Real-Time Systems
S Merz, N Navet
ISTE Limited, 2008
Schedulability analysis of OSEK/VDX applications
P Hladik, A Deplanche, S Faucou, Y Trinquet
RTNS’07, 131, 2007
Formal model-based synthesis of application-specific static rtos
KTG Tigori, JL Béchennec, S Faucou, OH Roux
ACM Transactions on Embedded Computing Systems (TECS) 16 (4), 1-25, 2017
Real-time control with parametric timed reachability games
A Jovanović, S Faucou, D Lime, OH Roux
IFAC Proceedings Volumes 45 (29), 323-330, 2012
An efficient modeling and execution framework for complex systems development
I Perseil, L Pautet, JF Rolland, M Filali, D Delanote, S Van Baelen, ...
2011 16th IEEE International Conference on Engineering of Complex Computer …, 2011
Hardware runtime verification of a RTOS kernel: Evaluation using fault injection
D Solet, JL Béchennec, M Briday, S Faucou, S Pillement
2018 14th European Dependable Computing Conference (EDCC), 25-32, 2018
HW-based Architecture for Runtime Verification of Embedded Software on SOPC systems
D Solet, S Pillement, JL Béchennec, M Briday, S Faucou
2018 NASA/ESA Conference on Adaptive Hardware and Systems (AHS), 249-256, 2018
Stm-hrt: A robust and wait-free stm for hard real-time multicore embedded systems
S Cotard, A Queudet, JL Béchennec, S Faucou, Y Trinquet
ACM Transactions on Embedded Computing Systems (TECS) 14 (4), 1-25, 2015
A Dataflow Monitoring Service Based on Runtime Verification for AUTOSAR OS: Implementation and Performances
S Cotard, S Faucou, JL Béchennec
OSPERT 2012, 46, 2012
The system can't perform the operation now. Try again later.
Articles 1–20