Suivre
Laurent Pautet
Titre
Citée par
Citée par
Année
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
1872008
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
1322009
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
962004
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
892009
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
582009
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
562007
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
552005
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
Validating safety and security requirements for partitioned architectures
J Delange, L Pautet, P Feiler
Reliable Software Technologies–Ada-Europe 2009: 14th Ada-Europe …, 2009
492009
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
451995
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
402012
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
382012
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
372013
Towards automatic middleware generation
B Zalila, L Pautet, J Hugues
2008 11th IEEE International Symposium on Object and Component-Oriented Real …, 2008
362008
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
362005
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
322015
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
302018
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
302001
Architecture models refinement for fine grain timing analysis of embedded systems
E Borde, S Rahmoun, F Cadoret, L Pautet, F Singhoff, P Dissaux
2014 25nd IEEE International Symposium on Rapid System Prototyping, 44-50, 2014
292014
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
291996
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20