 | 2009 |
|---|
| 47 |       | Gilles Lasnier,
Bechir Zalila,
Laurent Pautet,
Jérôme Hugues:
Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications.
Ada-Europe 2009: 237-250 |
| 46 | | Julien Delange,
Laurent Pautet,
Peter H. Feiler:
Validating Safety and Security Requirements for Partitioned Architectures.
Ada-Europe 2009: 30-43 |
| 45 | | Etienne Borde,
Grégory Haïk,
Laurent Pautet:
Mode-based reconfiguration of critical software component architectures.
DATE 2009: 1160-1165 |
| 44 | | Isabelle Perseil,
Laurent Pautet:
An Emerging Need for a New Software Engineering Method.
ICECCS 2009: 359-364 |
| 2008 |
|---|
| 43 | | Isabelle Perseil,
Laurent Pautet:
A Concrete Syntax for UML 2.1 Action Semantics Using +CAL.
ICECCS 2008: 217-221 |
| 42 | | Bechir Zalila,
Laurent Pautet,
Jérôme Hugues:
Towards Automatic Middleware Generation.
ISORC 2008: 221-228 |
| 41 | | Jérôme Hugues,
Bechir Zalila,
Laurent Pautet,
Fabrice Kordon:
From the prototype to the final embedded system using the Ocarina AADL tool suite.
ACM Trans. Embedded Comput. Syst. 7(4): (2008) |
| 40 | | Isabelle Perseil,
Laurent Pautet:
Foundations of a new software engineering method for real-time systems.
ISSE 4(3): 195-202 (2008) |
| 2007 |
|---|
| 39 | | Bechir Zalila,
Irfan Hamid,
Jérôme Hugues,
Laurent Pautet:
Generating Distributed High Integrity Applications from Their Architectural Description.
Ada-Europe 2007: 155-167 |
| 38 | | Khaled Barbaria,
Jérôme Hugues,
Laurent Pautet:
Design and Performance of a Generic Consensus Component for Critical Distributed Applications.
Ada-Europe 2007: 208-220 |
| 37 | | Isabelle Perseil,
Laurent Pautet:
A Co-Modeling Methodology Designed for RT Architecture Models Integration.
ICECCS 2007: 371-376 |
| 36 | | Jérôme Hugues,
Bechir Zalila,
Laurent Pautet,
Fabrice Kordon:
Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina.
IEEE International Workshop on Rapid System Prototyping 2007: 106-112 |
| 35 | | Jérôme Hugues,
Bechir Zalila,
Laurent Pautet:
Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems.
ISORC 2007: 307-312 |
| 2006 |
|---|
| 34 | | Jérôme Hugues,
Laurent Pautet,
Fabrice Kordon:
A Framework for DRE middleware, an Application to DDS.
ISORC 2006: 224-231 |
| 33 | | Jérôme Hugues,
Laurent Pautet,
Bechir Zalila:
From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain.
Monterey Workshop 2006: 35-52 |
| 32 | | Bechir Zalila,
Jérôme Hugues,
Laurent Pautet:
An improved IDL compiler for optimizing CORBA applications.
SIGAda 2006: 21-28 |
| 31 | | Khaled Barbaria,
Laurent Pautet,
Isabelle Perseil:
Schizophrenic middleware support for fault tolerance.
SIGAda 2006: 51-60 |
| 2005 |
|---|
| 30 | | Thomas Vergnaud,
Laurent Pautet,
Fabrice Kordon:
Using the AADL to Describe Distributed Applications from Middleware to Software Components.
Ada-Europe 2005: 67-78 |
| 29 | | Thomas Vergnaud,
Jérôme Hugues,
Laurent Pautet,
Fabrice Kordon:
Rapid Development Methodology for Customized Middleware.
IEEE International Workshop on Rapid System Prototyping 2005: 111-117 |
| 28 | | Jérôme Hugues,
Laurent Pautet,
Fabrice Kordon:
Revisiting COTS middleware for DRE systems.
ISORC 2005: 72-79 |
| 27 | | Jérôme Hugues,
Thomas Vergnaud,
Laurent Pautet,
Yann Thierry-Mieg,
Souheib Baarir,
Fabrice Kordon:
On the Formal Verification of Middleware Behavioral Properties.
Electr. Notes Theor. Comput. Sci. 133: 139-157 (2005) |
| 26 | | Fabrice Kordon,
Laurent Pautet:
Toward Nex-Generation Middleware?
IEEE Distributed Systems Online 6(3): (2005) |
| 2004 |
|---|
| 25 | | Thomas Vergnaud,
Jérôme Hugues,
Laurent Pautet,
Fabrice Kordon:
PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications.
Ada-Europe 2004: 106-119 |
| 24 | | Mejdi Kaddour,
Laurent Pautet:
A Middleware for Supporting Disconnections and Multi-Network Access in Mobile Environments.
PerCom Workshops 2004: 187-191 |
| 23 |  | Laurent Pautet,
Fabrice Kordon:
Des vertus de la schizophrénie pour le prototypage d'applications à composants interopérables.
Technique et Science Informatiques 23(10): 1301-1328 (2004) |
| 2003 |
|---|
| 22 | | Jérôme Hugues,
Laurent Pautet,
Fabrice Kordon:
Contributions to middleware architectures to prototype distribution infrastructures.
IEEE International Workshop on Rapid System Prototyping 2003: 124- |
| 2001 |
|---|
| 21 | | Laurent Pautet,
Thomas Quinot,
Samuel Tardieu:
Building Modern Distributed Systems.
Ada-Europe 2001: 123-135 |
| 20 | | Thomas Quinot,
Laurent Pautet,
Fabrice Kordon:
From Functional to Architectural Analysis of a Middleware Supporting Interoperability across Heterogeneous Distribution Models.
DOA 2001: 165-175 |
| 2000 |
|---|
| 19 | | Laurent Pautet,
Samuel Tardieu:
GLADE: A Framework for Building Large Object-Oriented Real-Time Distributed Systems.
ISORC 2000: 244-251 |
| 1999 |
|---|
| 18 | | Laurent Pautet,
Thomas Quinot,
Samuel Tardieu:
CORBA & DSA: Divorce or Marriage?
Ada-Europe 1999: 211-225 |
| 17 | | Laurent Pautet,
Thomas Quinot,
Samuel Tardieu:
CORBA and CORBA services for DSA.
SIGAda 1999: 31-38 |
| 16 | | Laurent Pautet,
Samuel Tardieu:
What future for the distributed systems annex?.
SIGAda 1999: 77-82 |
| 15 | | Olivier Hainque,
Laurent Pautet,
Yann Le Biannic,
Eric Nassor:
Cronos: A Separate Compilation Toolset for Modular Esterel Applications.
World Congress on Formal Methods 1999: 1836-1853 |
| 1998 |
|---|
| 14 | | Laurent Pautet,
Samuel Tardieu:
Inside the Distributed Systems Annex.
Ada-Europe 1998: 65-77 |
| 13 | | Samuel Tardieu,
Laurent Pautet:
Building Fault Tolerant Distributed Systems Using IP Multicast.
SIGAda 1998: 45-51 |
| 1997 |
|---|
| 12 | | Bertrand Dupouy,
Olivier Hainque,
Laurent Pautet,
Samuel Tardieu:
The SPIF Project.
Ada-Europe 1997: 46-55 |
| 11 | | Laurent Pautet,
Thomas Wolf:
Transparent Filtering of Streams in GLADE.
TRI-Ada 1997: 11-19 |
| 10 | | Daniel Neri,
Laurent Pautet,
Samuel Tardieu:
Debugging Distributed Applications with Replay Capabilities.
TRI-Ada 1997: 189-195 |
| 1996 |
|---|
| 9 | | Yvon Kermarrec,
Laurent Nana,
Laurent Pautet:
Providing Fault-Tolerant Services to Distributed Ada 95 Applications.
TRI-Ada 1996: 39-47 |
| 8 | | Yvon Kermarrec,
Laurent Nana,
Laurent Pautet:
GNATDIST: A Configuration Language for Distributed Ada 95 Applications.
TRI-Ada 1996: 63-72 |
| 1995 |
|---|
| 7 | | Anthony Gargaro,
Yvon Kermarrec,
Laurent Pautet,
Samuel Tardieu:
PARIS - Partitioned Ada for Remotely Invoked Services.
Ada-Europe 1995: 191-205 |
| 6 | | Yvon Kermarrec,
Laurent Pautet:
Programming Distributed Systems with Both Ada 95 and PVM.
Ada-Europe 1995: 206-216 |
| 1994 |
|---|
| 5 | | Yvon Kermarrec,
Laurent Pautet:
Ada Reusable Software Components for Teaching Distributed Systems.
CSEE 1994: 77-96 |
| 4 | | Yvon Kermarrec,
Laurent Pautet:
Integrating Page Replacement in a Distributed Shared Virtual Memory.
ICDCS 1994: 355-362 |
| 3 | | Yvon Kermarrec,
Laurent Pautet:
Ada-Linda: A Powerful Paradigm for Programming Distributed Ada Applications.
TRI-Ada 1994: 438-445 |
| 1993 |
|---|
| 2 | | Yvon Kermarrec,
Laurent Pautet:
A Distributed Shared Virtual Memory for Ada 83 and Ada 9X Applications.
TRI-Ada 1993: 242-251 |
| 1992 |
|---|
| 1 | | Yvon Kermarrec,
Laurent Pautet:
Ada Communication Components for Distributed and Real Time Applications.
TRI-Ada 1992: 530-537 |
