| 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)| 978-1-6654-3950-3/21/$31.00© 2021 IEEE| DOI: 10.1109/DSN-W52860. 2021 … F Ahmad, Y Amir, E Asselin, V Bandur, TA Beyene, G Boisvert, T Braun, ... | | |
| A complete toolchain for an interference-free deployment of avionic applications on multi-core systems S Girbal, DG Pérez, J Le Rhun, M Faugère, C Pagetti, G Durrieu 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 7A2-1-7A2-14, 2015 | 25 | 2015 |
| A framework for distributing real-time functions F Boniol, PE Hladik, C Pagetti, F Aspro, V Jégu Formal Modeling and Analysis of Timed Systems: 6th International Conference …, 2008 | 24 | 2008 |
| A grouping approach to task scheduling with functional and non-functional requirements L Santinelli, W Puffitsch, A Dumerat, F Boniol, C Pagetti, V Jegu Embedded real-time software and systems (ERTS² 2014), 2014 | 7 | 2014 |
| A model-based certification approach for multi/many-core embedded systems P Bieber, F Boniol, Y Bouchebaba, J Brunel, C Pagetti, O Poitou, ... ERTS 2018, 2018 | 14 | 2018 |
| A multi-periodic synchronous data-flow language J Forget, F Boniol, D Lesens, C Pagetti 2008 11th IEEE High Assurance Systems Engineering Symposium, 251-260, 2008 | 58 | 2008 |
| A predictable SIMD library for GEMM routines IDA Silva, T Carle, A Gauffriau, V Jegu, C Pagetti 2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium …, 2024 | 3 | 2024 |
| A real-time architecture design language for multi-rate embedded control systems J Forget, F Boniol, D Lesens, C Pagetti Proceedings of the 2010 ACM Symposium on Applied Computing, 527-534, 2010 | 36 | 2010 |
| A service-based modelling approach to ease the certification of multi-core COTS processors F Boniol, Y Bouchebaba, J Brunel, K Delmas, C Pagetti, T Polacsek, ... SAE AEROTECH® Europe, 2019 | 1 | 2019 |
| A synchronous language with partial delay specification for real-time systems programming R Wyss, F Boniol, J Forget, C Pagetti Asian Symposium on Programming Languages and Systems, 223-238, 2012 | 7 | 2012 |
| A timed extension for AltaRica F Cassez, C Pagetti, O Roux Fundamenta Informaticae 62 (3-4), 291-332, 2004 | 23 | 2004 |
| ACETONE: predictable programming framework for ML applications in safety-critical systems IDA Silva, T Carle, A Gauffriau, C Pagetti 24th Euromicro Conference on Real-Time Systems (ECRTS 2022) 8 (2), 2022 | 10 | 2022 |
| ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems I De Albuquerque Silva, T Carle, A Gauffriau, C Pagetti 34th Euromicro Conference on Real-Time Systems (ECRTS 2022), 2022 | | 2022 |
| Aidea la conception multi-points de vue de systemes embarqués F Revest, F Boniol, C Pagetti Journées formalisation des activités concurrentes, 15-16, 2007 | 2 | 2007 |
| Algorithms and Tools R Obermaisser Distributed Real-Time Architecture for Mixed-Criticality Systems, 163-260, 2018 | | 2018 |
| An interval-based method for embedded network analysis M Lauer, J Ermont, F Boniol, C Pagetti Proceedings of the 3rd Junior Researcher Workshop on Real-Time Computing …, 0 | 2 | |
| Analyse de latence et fraîcheur pire cas sur systèmes avioniques modulaires intégrées M Lauer, J Ermont, F Boniol, C Pagetti Proceedings of 8ème Colloque Francophone sur la Modélisation des Systèmes …, 2011 | 2 | 2011 |
| Analyzing end-to-end functional delays on an IMA platform M Lauer, J Ermont, C Pagetti, F Boniol Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010 | 35 | 2010 |
| Around Hopcroft’s algorithm M Baclet, C Pagetti Implementation and Application of Automata: 11th International Conference …, 2006 | 15 | 2006 |
| Artificial Intelligence and Decision Making S Andrieux, F Dupoirieux, P Bidaud, E Busso, L Cambier, R Haidar, ... | | 2020 |
Frédéric BoniolONERA - Office National d'Etudes et Recherches AérospatialesVerified email at onera.fr