| 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 | 95 | 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 | 37 | 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 | 32 | 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 | 30 | 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 | 26 | 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 | 26 | 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 | 20 | 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 | 12 | 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 1eres Journées sur Ingénierie Dirigée par les Modèles IDM05, 209-216, 2005 | 11 | 2005 |
| Linking paradigms, semi-formal and formal notations H Habrias, S Faucou International Conference on Technical Formal Methods, 166-184, 2004 | 11 | 2004 |
| Description et construction d'architectures opérationnelles validées temporellement S Faucou Nantes, 2002 | 11 | 2002 |
| Modeling and Verification of Real-Time Systems S Merz, N Navet ISTE Limited, 2008 | 10 | 2008 |
| Schedulability analysis of OSEK/VDX applications P Hladik, A Deplanche, S Faucou, Y Trinquet RTNS’07, 131, 2007 | 10 | 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 | 8 | 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 | 6 | 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 | 5 | 2011 |
| 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 | 5 | 2002 |
| 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 | 4 | 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 | 4 | 2012 |
| 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 | 4 | 2007 |
Olivier H. RouxProfessor - Ecole Centrale Nantes, LS2N (CNRS) - FranceAdresse e-mail validée de ec-nantes.fr
