| 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 | 123 | 2006 |
| 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 | 39 | 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 | 37 | 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 | 36 | 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 | 29 | 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 | 25 | 2009 |
| 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 | 20 | 2017 |
| 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 | 17 | 2016 |
| 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 | 11 | 2021 |
| 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 | 11 | 2005 |
| Description et construction d'architectures opérationnelles validées temporellement S Faucou Nantes, 2002 | 11 | 2002 |
| Linking paradigms, semi-formal and formal notations H Habrias, S Faucou International Conference on Technical Formal Methods, 166-184, 2004 | 10 | 2004 |
| Schedulability analysis of OSEK/VDX applications P Hladik, A Deplanche, S Faucou, Y Trinquet RTNS’07, 131, 2007 | 9 | 2007 |
| Real-time control with parametric timed reachability games A Jovanović, S Faucou, D Lime, OH Roux IFAC Proceedings Volumes 45 (29), 323-330, 2012 | 8 | 2012 |
| 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 | 6 | 2018 |
| 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 | 5 | 2016 |
| 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 | 5 | 2015 |
| 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 | 5 | 2015 |
| 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 |
Olivier H. RouxProfessor - Ecole Centrale Nantes, LS2N (CNRS) - FranceVerifisert e-postadresse på ec-nantes.fr
