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
922006
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
362007
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
322000
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
292008
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
262012
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
182009
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
112016
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 1eres Journées sur Ingénierie Dirigée par les Modèles IDM05, 209-216, 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
92008
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
72017
Real-time control with parametric timed reachability games
A Jovanović, S Faucou, D Lime, OH Roux
IFAC Proceedings Volumes 45 (29), 323-330, 2012
62012
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
Timing fault removal for safety-critical real-time embedded systems
S Faucou, AM Déplanche, Y Trinquet
10th ACM SIGOPS European Workshop” Can we Really Depend on an OS?”, St …, 2002
52002
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
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
M Brun, J Delatour, S Faucou, G Savaton
42007
The system can't perform the operation now. Try again later.
Articles 1–20