Sebastien Faucou
Sebastien Faucou
Verified email at univ-nantes.fr
Title
Cited by
Cited by
Year
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
1042006
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
372007
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
352000
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
312008
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
282012
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
262005
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
232009
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
142016
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
112005
Linking paradigms, semi-formal and formal notations
H Habrias, S Faucou
International Conference on Technical Formal Methods, 166-184, 2004
112004
Description et construction d'architectures opérationnelles validées temporellement
S Faucou
Nantes, 2002
112002
Modeling and Verification of Real-Time Systems
S Merz, N Navet
ISTE Limited, 2008
102008
Schedulability analysis of OSEK/VDX applications
P Hladik, A Deplanche, S Faucou, Y Trinquet
RTNS’07, 131, 2007
92007
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
82017
Real-time control with parametric timed reachability games
A Jovanović, S Faucou, D Lime, OH Roux
IFAC Proceedings Volumes 45 (29), 323-330, 2012
52012
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
52011
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
42018
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
42018
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
42015
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
42012
The system can't perform the operation now. Try again later.
Articles 1–20