Laurent Pautet
Title
Cited by
Cited by
Year
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
1612008
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
1032009
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
902004
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
802009
Mode-based reconfiguration of critical software component architectures
E Borde, G Haïk, L Pautet
2009 Design, Automation & Test in Europe Conference & Exhibition, 1160-1165, 2009
552009
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
512007
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
502000
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
492005
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
461995
Validating safety and security requirements for partitioned architectures
J Delange, L Pautet, P Feiler
International Conference on Reliable Software Technologies, 30-43, 2009
382009
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
352012
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
322005
Special feature-Real-time embedded systems
I Bate, S Liu
Computing & Control Engineering Journal 13 (4), 154-155, 2002
312002
Towards automatic middleware generation
B Zalila, L Pautet, J Hugues
2008 11th IEEE International Symposium on Object and Component-Oriented Real …, 2008
302008
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
301996
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
292012
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
292001
Mixed-criticality multiprocessor real-time systems: Energy consumption vs deadline misses
V Legout, M Jan, L Pautet
272013
Toward nex-generation middleware?
F Kordon, L Pautet
IEEE Distributed Systems Online 6 (3), 2005
262005
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
252015
The system can't perform the operation now. Try again later.
Articles 1–20