Urmăriți
Sebastien Faucou
Sebastien Faucou
Adresă de e-mail confirmată pe univ-nantes.fr
Titlu
Citat de
Citat de
Anul
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
1222006
Adequacy between AUTOSAR OS specification and real-time scheduling theory
PE Hladik, AM Deplanche, S Faucou, Y Trinquet
2007 International Symposium on Industrial Embedded Systems, 225-233, 2007
402007
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
372008
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
372000
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 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
252009
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
252005
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
192017
Energy efficiency is not enough: towards a batteryless internet of sounds
V Lostanlen, A Bernabeu, JL Béchennec, M Briday, S Faucou, ...
Proceedings of the 16th International Audio Mostly Conference, 147-155, 2021
162021
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
162016
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
Description et construction d'architectures opérationnelles validées temporellement
S Faucou
Nantes, 2002
112002
Linking paradigms, semi-formal and formal notations
H Habrias, S Faucou
International Conference on Technical Formal Methods, 166-184, 2004
102004
Schedulability analysis of OSEK/VDX applications
P Hladik, A Deplanche, S Faucou, Y Trinquet
RTNS’07, 131, 2007
92007
Real-time control with parametric timed reachability games
A Jovanović, S Faucou, D Lime, OH Roux
IFAC Proceedings Volumes 45 (29), 323-330, 2012
82012
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
62018
BEST: a binary executable slicing tool
A Mangean, JL Béchennec, M Briday, S Faucou
16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016 …, 2016
52016
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
52015
Using formal methods for the development of safe application-specific RTOS for automotive systems
KTG Tigori, JL Béchennec, S Faucou, O Roux
CARS 2015-Critical Automotive applications: Robustness & Safety, 2015
52015
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
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20