| 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 | 125 | 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 | 40 | 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 | 38 | 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 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 | 26 | 2009 |
| 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 |
| 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 | 21 | 2021 |
| 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 | 19 | 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 premières journées sur l’Ingénierie Dirigée par les Modèles (IDM …, 2005 | 11 | 2005 |
| Linking paradigms, semi-formal and formal notations H Habrias, S Faucou International Conference on Technical Formal Methods, 166-184, 2004 | 10 | 2004 |
| Description et construction d'architectures opérationnelles validées temporellement S Faucou Nantes, 2002 | 10 | 2002 |
| Contention-aware GPU partitioning and task-to-partition allocation for real-time workloads HE Zahaf, IS Olmedo, J Singh, N Capodieci, S Faucou Proceedings of the 29th International Conference on Real-Time Networks and …, 2021 | 9 | 2021 |
| 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 | 9 | 2018 |
| 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 |
| 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 | 7 | 2016 |
| SCHEMATIC: Compile-time checkpoint placement and memory allocation for intermittent systems H Reymond, JL Béchennec, M Briday, S Faucou, I Puaut, E Rohou 2024 IEEE/ACM International Symposium on Code Generation and Optimization …, 2024 | 5 | 2024 |
| 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 | 5 | 2018 |
Olivier H. RouxProfessor - Ecole Centrale Nantes, LS2N (CNRS) - FranceE-mail megerősítve itt: ec-nantes.fr
