Laurent Pautet
Cited by
Cited by
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
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
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
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
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
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
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
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
Validating safety and security requirements for partitioned architectures
J Delange, L Pautet, P Feiler
International Conference on Reliable Software Technologies, 30-43, 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
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
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
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
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
Towards automatic middleware generation
B Zalila, L Pautet, J Hugues
2008 11th IEEE International Symposium on Object and Component-Oriented Real …, 2008
Scheduling algorithms to reduce the static energy consumption of real-time systems
V Legout, M Jan, L Pautet
Real-Time Systems 51 (2), 153-191, 2015
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
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
Toward nex-generation middleware?
F Kordon, L Pautet
IEEE Distributed Systems Online 6 (3), 2005
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
The system can't perform the operation now. Try again later.
Articles 1–20