| The landing gear system case study F Boniol, V Wiels International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014 | 159 | 2014 |
| New challenges for future avionic architectures. P Bieber, F Boniol, M Boyer, E Noulard, C Pagetti Aerospace Lab, p. 1-10, 2012 | 135 | 2012 |
| Multi-task implementation of multi-periodic synchronous programs C Pagetti, J Forget, F Boniol, M Cordovilla, D Lesens Discrete event dynamic systems 21, 307-338, 2011 | 123 | 2011 |
| Scheduling dependent periodic tasks without synchronization mechanisms J Forget, F Boniol, E Grolleau, D Lesens, C Pagetti 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium …, 2010 | 104 | 2010 |
| Deterministic execution model on cots hardware F Boniol, H Cassé, E Noulard, C Pagetti International Conference on Architecture of Computing Systems, 98-110, 2012 | 71 | 2012 |
| 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 | 59 | 2008 |
| Reducing state explosion with context modeling for model-checking P Dhaussy, JC Roger, F Boniol 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering …, 2011 | 45 | 2011 |
| Improving model checking with context modelling P Dhaussy, F Boniol, JC Roger, L Leroux Advances in Software Engineering 2012 (1), 547157, 2012 | 43 | 2012 |
| Latency and freshness analysis on IMA systems M Lauer, J Ermont, F Boniol, C Pagetti ETFA2011, 1-8, 2011 | 40 | 2011 |
| 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 | 39 | 2010 |
| Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset M Cordovilla, F Boniol, J Forget, E Noulard, C Pagetti 19th International Conference on Real-Time and Network Systems, 2011 | 38 | 2011 |
| Analyzing end-to-end functional delays on an IMA platform M Lauer, J Ermont, C Pagetti, F Boniol International Symposium On Leveraging Applications of Formal Methods …, 2010 | 34 | 2010 |
| Verifying end-to-end real-time constraints on multi-periodic models J Forget, F Boniol, C Pagetti 2017 22nd IEEE International Conference on Emerging Technologies and Factory …, 2017 | 30 | 2017 |
| Multiprocessor schedulability analyser M Cordovilla, F Boniol, E Noulard, C Pagetti Proceedings of the 2011 ACM Symposium on Applied Computing, 735-741, 2011 | 25 | 2011 |
| Toward a wider use of formal methods for aerospace systems design and verification Y Ait Ameur, F Boniol, V Wiels International Journal on Software Tools for Technology Transfer 12, 1-7, 2010 | 23 | 2010 |
| A framework for distributing real-time functions F Boniol, PE Hladik, C Pagetti, F Aspro, V Jégu International Conference on Formal Modeling and Analysis of Timed Systems …, 2008 | 23 | 2008 |
| Safe allocation of avionics shared resources L Sagaspe, G Bel, P Bieber, F Boniol, C Castel Ninth IEEE International Symposium on High-Assurance Systems Engineering …, 2005 | 23 | 2005 |
| The landing gear case study: challenges and experiments F Boniol, V Wiels, Y Aït-Ameur, KD Schewe International Journal on Software Tools for Technology Transfer 19 (2), 133-140, 2017 | 22 | 2017 |
| End-to-end latency computation in a multi-periodic design R Wyss, F Boniol, C Pagetti, J Forget Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1682-1687, 2013 | 22 | 2013 |
| End-to-end latency and temporal consistency analysis in networked real-time systems M Lauer, F Boniol, C Pagetti, J Ermont International Journal of Critical Computer-Based Systems 6 5 (3-4), 172-196, 2014 | 21 | 2014 |
Claire PagettiONERA / ANITIВерификована је имејл адреса на onera.fr