| From the prototype to the final embedded system using the Ocarina AADL tool suite J Hugues, B Zalila, L Pautet, F Kordon ACM Transactions on Embedded Computing Systems (TECS) 7 (4), 1-25, 2008 | 187 | 2008 |
| Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications G Lasnier, B Zalila, L Pautet, J Hugues International Conference on Reliable Software Technologies, 237-250, 2009 | 131 | 2009 |
| PolyORB: a schizophrenic middleware to build versatile reliable distributed applications T Vergnaud, J Hugues, L Pautet, F Kordon International Conference on Reliable Software Technologies, 106-119, 2004 | 96 | 2004 |
| Validate, simulate, and implement ARINC653 systems using the AADL J Delange, L Pautet, A Plantec, M Kerboeuf, F Singhoff, F Kordon Proceedings of the ACM SIGAda annual international conference on Ada and …, 2009 | 89 | 2009 |
| Mode-based reconfiguration of critical software component architectures E Borde, G Haik, L Pautet 2009 Design, Automation & Test in Europe Conference & Exhibition, 1160-1165, 2009 | 58 | 2009 |
| Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina. J Hugues, B Zalila, L Pautet, F Kordon IEEE International Workshop on Rapid System Prototyping 7, 106, 2007 | 56 | 2007 |
| On the formal verification of middleware behavioral properties J Hugues, T Vergnaud, L Pautet, Y Thierry-Mieg, S Baarir, F Kordon Electronic Notes in Theoretical Computer Science 133, 139-157, 2005 | 55 | 2005 |
| Glade: A framework for building large object-oriented real-time distributed systems L Pautet, S Tardieu Proceedings Third IEEE International Symposium on Object-Oriented Real-Time …, 2000 | 50 | 2000 |
| Validating safety and security requirements for partitioned architectures J Delange, L Pautet, P Feiler Reliable Software Technologies–Ada-Europe 2009: 14th Ada-Europe …, 2009 | 48 | 2009 |
| GARLIC: generic Ada reusable library for interpartition communication Y Kermarrec, L Pautet, S Tardieu Proceedings of the conference on TRI-Ada'95: Ada's role in global markets …, 1995 | 45 | 1995 |
| Ensuring robust partitioning in multicore platforms for ima systems X Jean, D Faura, M Gatti, L Pautet, T Robert 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC), 7A4-1-7A4-9, 2012 | 40 | 2012 |
| Design patterns for rule-based refinement of safety critical embedded systems models F Cadoret, E Borde, S Gardoll, L Pautet 2012 IEEE 17th International Conference on Engineering of Complex Computer …, 2012 | 38 | 2012 |
| Mixed-criticality multiprocessor real-time systems: Energy consumption vs deadline misses V Legout, M Jan, L Pautet First workshop on real-time mixed criticality systems (ReTiMiCS), 1-6, 2013 | 37 | 2013 |
| Towards automatic middleware generation B Zalila, L Pautet, J Hugues 2008 11th IEEE International Symposium on Object and Component-Oriented Real …, 2008 | 36 | 2008 |
| Using the AADL to describe distributed applications from middleware to software components T Vergnaud, L Pautet, F Kordon International Conference on Reliable Software Technologies, 67-78, 2005 | 36 | 2005 |
| Scheduling algorithms to reduce the static energy consumption of real-time systems V Legout, M Jan, L Pautet Real-Time Systems 51, 153-191, 2015 | 32 | 2015 |
| Shedding the shackles of time-division multiplexing F Hebbache, M Jan, F Brandner, L Pautet 2018 IEEE Real-Time Systems Symposium (RTSS), 456-468, 2018 | 30 | 2018 |
| Intergiciels schizophrènes: une solution à l’interopérabilité entre modèles de répartition L Pautet Habilitation à diriger des recherches, Université Pierre et Marie Curie–Paris VI, 2001 | 30 | 2001 |
| GNATDIST: a configuration language for distributed Ada 95 applications Y Kermarrec, L Nana, L Pautet Proceedings of the conference on TRI-Ada'96: disciplined software …, 1996 | 29 | 1996 |
| Scheduling multi-periodic mixed-criticality dags on multi-core architectures R Medina, E Borde, L Pautet 2018 IEEE Real-Time Systems Symposium (RTSS), 254-264, 2018 | 28 | 2018 |
