Ada Communication Components for Distributed and Real Time Applications. - Yvon Kermarrec; Laurent Pautet (TRI-Ada, 1992)

A Distributed Shared Virtual Memory for Ada 83 and Ada 9X Applications. - Yvon Kermarrec; Laurent Pautet (TRI-Ada, 1993)

Ada Reusable Software Components for Teaching Distributed Systems. - Yvon Kermarrec; Laurent Pautet (CSEE, 1994)

Integrating Page Replacement in a Distributed Shared Virtual Memory. - Yvon Kermarrec; Laurent Pautet (ICDCS, 1994)

Ada-Linda: A Powerful Paradigm for Programming Distributed Ada Applications. - Yvon Kermarrec; Laurent Pautet (TRI-Ada, 1994)

PARIS - Partitioned Ada for Remotely Invoked Services. - Anthony B. Gargaro; Yvon Kermarrec; Laurent Pautet; Samuel Tardieu (Ada-Europe, 1995)

Programming Distributed Systems with Both Ada 95 and PVM. - Yvon Kermarrec; Laurent Pautet (Ada-Europe, 1995)

Implementing recovery blocks in GNAT: a powerful fault tolerance mechanism and a transaction support. - Yvon Kermarrec; Laurent Nana; Laurent Pautet (TRI-Ada, 1995)

GARLIC: generic Ada reusable library for interpartition communication. - Yvon Kermarrec; Laurent Pautet; Samuel Tardieu (TRI-Ada, 1995)

Providing Fault-Tolerant Services to Distributed Ada 95 Applications. - Yvon Kermarrec; Laurent Nana; Laurent Pautet (TRI-Ada, 1996)

GNATDIST: A Configuration Language for Distributed Ada 95 Applications. - Yvon Kermarrec; Laurent Nana; Laurent Pautet (TRI-Ada, 1996)

The SPIF Project. - Bertrand Dupouy; Olivier Hainque; Laurent Pautet; Samuel Tardieu (Ada-Europe, 1997)

Communication and distribution tools for embedded distributed applications: a case study with Ada 95 and its distributed systems annex. - Pierre Dissaux; Laurent Pautet; Lars Björnfot; Yvon Kermarrec; Dominique LeCampion (IRTAW, 1997)

Debugging Distributed Applications with Replay Capabilities. - Daniel Neri; Laurent Pautet; Samuel Tardieu (TRI-Ada, 1997)

Transparent Filtering of Streams in GLADE. - Laurent Pautet; Thomas Wolf (TRI-Ada, 1997)

Inside the Distributed Systems Annex. - Laurent Pautet; Samuel Tardieu (Ada-Europe, 1998)

Building Fault Tolerant Distributed Systems Using IP Multicast. - Samuel Tardieu; Laurent Pautet (SIGAda, 1998)

CORBA & DSA: Divorce or Marriage? - Laurent Pautet; Thomas Quinot; Samuel Tardieu (Ada-Europe, 1999)

Cronos: A Separate Compilation Toolset for Modular Esterel Applications. - Olivier Hainque; Laurent Pautet; Yann Le Biannic; Eric Nassor (World Congress on Formal Methods, 1999)

CORBA and CORBA services for DSA. - Laurent Pautet; Thomas Quinot; Samuel Tardieu (SIGAda, 1999)

What future for the distributed systems annex?. - Laurent Pautet; Samuel Tardieu (SIGAda, 1999)

GLADE: A Framework for Building Large Object-Oriented Real-Time Distributed Systems. - Laurent Pautet; Samuel Tardieu (ISORC, 2000)

Building Modern Distributed Systems. - Laurent Pautet; Thomas Quinot; Samuel Tardieu (Ada-Europe, 2001)

From Functional to Architectural Analysis of a Middleware Supporting Interoperability across Heterogeneous Distribution Models. - Thomas Quinot; Laurent Pautet; Fabrice Kordon (DOA, 2001)

Contributions to middleware architectures to prototype distribution infrastructures. - Jérôme Hugues; Laurent Pautet; Fabrice Kordon (IEEE International Workshop on Rapid System Prototyping, 2003)

PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications. - Thomas Vergnaud; Jérôme Hugues; Laurent Pautet; Fabrice Kordon (Ada-Europe, 2004)

A Middleware for Supporting Disconnections and Multi-Network Access in Mobile Environments. - Mejdi Kaddour; Laurent Pautet (PerCom Workshops, 2004)

Cooperative approach for mobile application adaptability based on MobileJMS. - Mejdi Kaddour; Laurent Pautet (UbiMob, 2004)

On the Formal Verification of Middleware Behavioral Properties. - Jérôme Hugues; Thomas Vergnaud; Laurent Pautet; Yann Thierry-Mieg; Souheib Baarir; Fabrice Kordon (FMICS, 2004)

Des vertus de la schizophrénie pour le prototypage d'applications à composants interopérables. - Laurent Pautet; Fabrice Kordon (Tech. Sci. Informatiques, 2004)

Using the AADL to Describe Distributed Applications from Middleware to Software Components. - Thomas Vergnaud; Laurent Pautet; Fabrice Kordon (Ada-Europe, 2005)

Revisiting COTS middleware for DRE systems. - Jérôme Hugues; Laurent Pautet; Fabrice Kordon (ISORC, 2005)

A Factory to Design and Build Tailorable and Verifiable Middleware. - Jérôme Hugues; Fabrice Kordon; Laurent Pautet; Thomas Vergnaud (Monterey Workshop, 2005)

Rapid Development Methodology for Customized Middleware. - Thomas Vergnaud; Jérôme Hugues; Laurent Pautet; Fabrice Kordon (IEEE International Workshop on Rapid System Prototyping, 2005)

Toward Nex-Generation Middleware? - Fabrice Kordon; Laurent Pautet (IEEE Distributed Syst. Online, 2005)

A Framework for DRE middleware, an Application to DDS. - Jérôme Hugues; Laurent Pautet; Fabrice Kordon (ISORC, 2006)

From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain. - Jérôme Hugues; Laurent Pautet; Bechir Zalila (Monterey Workshop, 2006)

Schizophrenic middleware support for fault tolerance. - Khaled Barbaria; Laurent Pautet; Isabelle Perseil (SIGAda, 2006)

An improved IDL compiler for optimizing CORBA applications. - Bechir Zalila; Jérôme Hugues; Laurent Pautet (SIGAda, 2006)

Design and Performance of a Generic Consensus Component for Critical Distributed Applications. - Khaled Barbaria; Jérôme Hugues; Laurent Pautet (Ada-Europe, 2007)

Generating Distributed High Integrity Applications from Their Architectural Description. - Bechir Zalila; Irfan Hamid; Jérôme Hugues; Laurent Pautet (Ada-Europe, 2007)

A Co-Modeling Methodology Designed for RT Architecture Models Integration. - Isabelle Perseil; Laurent Pautet (ICECCS, 2007)

Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems. - Jérôme Hugues; Bechir Zalila; Laurent Pautet (ISORC, 2007)

Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina. - Jérôme Hugues; Bechir Zalila; Laurent Pautet; Fabrice Kordon (IEEE International Workshop on Rapid System Prototyping, 2007)

MobileJMS: une solution globale d'adaptation des applications nomades. - Mejdi Kaddour; Laurent Pautet (Ann. des Télécommunications, 2007)

UML&AADL '2007 grand challenges. - Sébastien Gérard; Peter H. Feiler; Jean-François Rolland; Mamoun Filali; Mark-Oliver Reiser; Didier Delanote; Yolande Berbers; Laurent Pautet; Isabelle Perseil (SIGBED Rev., 2007)

A Concrete Syntax for UML 2.1 Action Semantics Using +CAL. - Isabelle Perseil; Laurent Pautet (ICECCS, 2008)

Towards Automatic Middleware Generation. - Bechir Zalila; Laurent Pautet; Jérôme Hugues (ISORC, 2008)

Foundations of a new software engineering method for real-time systems. - Isabelle Perseil; Laurent Pautet (Innov. Syst. Softw. Eng., 2008)

From the prototype to the final embedded system using the Ocarina AADL tool suite. - Jérôme Hugues; Bechir Zalila; Laurent Pautet; Fabrice Kordon (ACM Trans. Embed. Comput. Syst., 2008)

Validating Safety and Security Requirements for Partitioned Architectures. - Julien Delange; Laurent Pautet; Peter H. Feiler (Ada-Europe, 2009)

Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications. - Gilles Lasnier; Bechir Zalila; Laurent Pautet; Jérôme Hugues (Ada-Europe, 2009)

Mode-based reconfiguration of critical software component architectures. - Etienne Borde; Grégory Haïk; Laurent Pautet (DATE, 2009)

An Emerging Need for a New Software Engineering Method. - Isabelle Perseil; Laurent Pautet (ICECCS, 2009)

Validate, simulate, and implement ARINC653 systems using the AADL. - Julien Delange; Laurent Pautet; Alain Plantec; Mickaël Kerboeuf; Frank Singhoff; Fabrice Kordon (SIGAda, 2009)

Model driven code generation for critical and adaptative embedded systems. - Etienne Borde; Peter H. Feiler; Grégory Haïk; Laurent Pautet (SIGBED Rev., 2009)

High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems. - Isabelle Perseil; Laurent Pautet (ECBS, 2010)

An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems. - Julien Delange; Laurent Pautet; Jérôme Hugues; Dionisio de Niz (ICECCS, 2010)

From MARTE to AADL with a Seamless Process. - Isabelle Perseil; Laurent Pautet (ICECCS, 2010)

Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems. - Gilles Lasnier; Thomas Robert 003; Laurent Pautet; Fabrice Kordon (ISORC, 2010)

A new modeling approach for IMA platform early validation. - Michaël Lafaye; David Faura; Marc Gatti; Laurent Pautet (MOMPES, 2010)

Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex. - Gilles Lasnier; Thomas Robert 003; Laurent Pautet; Fabrice Kordon (NOTERE, 2010)

Formal methods integration in software engineering. - Isabelle Perseil; Laurent Pautet (Innov. Syst. Softw. Eng., 2010)

An Implementation of the Behavior Annex in the AADL-Toolset Osate2. - Gilles Lasnier; Laurent Pautet; Jérôme Hugues; Lutz Wrage (ICECCS, 2011)

An Efficient Modeling and Execution Framework for Complex Systems Development. - Isabelle Perseil; Laurent Pautet; Jean-François Rolland; Mamoun Filali; Didier Delanote; Stefan Van Baelen; Wouter Joosen; Yolande Berbers; Frédéric Mallet; Dominique Bertrand; Sébastien Faucou; Abdelhafid Zitouni; et al. (ICECCS, 2011)

A Model-Based Transformation Process to Validate and Implement High-Integrity Systems. - Gilles Lasnier; Laurent Pautet; Jérôme Hugues (ISORC, 2011)

Model driven resource usage simulation for critical embedded systems. - Michaël Lafaye; Laurent Pautet; Etienne Borde; Marc Gatti; David Faura (DATE, 2012)

Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models. - Fabien Cadoret; Etienne Borde; Sébastien Gardoll; Laurent Pautet (ICECCS, 2012)

Design, implementation and verification of MILS systems. - Julien Delange; Laurent Pautet; Fabrice Kordon (Softw. Pract. Exp., 2012)

Flex-eWare: a flexible model driven solution for designing and implementing embedded distributed systems. - Mathieu Jan; Christophe Jouvray; Fabrice Kordon; Antonio Kung; Jimmy Lalande; Frédéric Loiret; Juan F. Navas; Laurent Pautet; Jacques Pulou; Ansgar Radermacher; Lionel Seinturier (Softw. Pract. Exp., 2012)

Formalization of design patterns for security and dependability. - Cuauhtemoc Castellanos; Thomas Vergnaud; Etienne Borde; Thomas Derive; Laurent Pautet (ISARCS, 2013)

Deterministic implementation of periodic-delayed communications and experimentation in AADL. - Fabien Cadoret; Thomas Robert 003; Etienne Borde; Laurent Pautet; Frank Singhoff (ISORC, 2013)

A scheduling algorithm to reduce the static energy consumption of multiprocessor real-time systems. - Vincent Legout; Mathieu Jan; Laurent Pautet (RTNS, 2013)

PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems. - Antoine Jaouën; Etienne Borde; Laurent Pautet; Thomas Robert 003 (Ada-Europe, 2014)

Automatic Production of Transformation Chains Using Structural Constraints on Output Models. - Cuauhtemoc Castellanos; Etienne Borde; Laurent Pautet; Thomas Vergnaud; Thomas Derive (EUROMICRO-SEAA, 2014)

Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation. - Elie Richa; Etienne Borde; Laurent Pautet; Matteo Bordin; José F. Ruiz (AMT@MoDELS, 2014)

Architecture models refinement for fine grain timing analysis of embedded systems. - Etienne Borde; Smail Rahmoun; Fabien Cadoret; Laurent Pautet; Frank Singhoff; Pierre Dissaux (RSP, 2014)

Message from the General Chairs. - Marisol García-Valls; Tommaso Cucinotta; Laurent Pautet (REACTION, 2014)

Automatic selection and composition of model transformations alternatives using evolutionary algorithms. - Smail Rahmoun; Etienne Borde; Laurent Pautet (ECSA Workshops, 2015)

Scheduling of mixed-criticality systems with RUN. - Romain Gratia; Thomas Robert 003; Laurent Pautet (ETFA, 2015)

Improving Reusability of Model Transformations by Automating their Composition. - Cuauhtemoc Castellanos; Etienne Borde; Laurent Pautet; Gardoll Sebastien; Thomas Vergnaud (EUROMICRO-SEAA, 2015)

Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES). - Smail Rahmoun; Etienne Borde; Laurent Pautet (ICECCS, 2015)

Translating ATL Model Transformations to Algebraic Graph Transformations. - Elie Richa; Etienne Borde; Laurent Pautet (ICMT, 2015)

Generalized mixed-criticality scheduling based on RUN. - Romain Gratia; Thomas Robert 003; Laurent Pautet (RTNS, 2015)

Scheduling algorithms to reduce the static energy consumption of real-time systems. - Vincent Legout; Mathieu Jan; Laurent Pautet (Real Time Syst., 2015)

Availability analysis for synchronous data-flow graphs in mixed-criticality systems. - Roberto Medina 001; Etienne Borde; Laurent Pautet (SIES, 2016)

Directed Acyclic Graph Scheduling for Mixed-Criticality Systems. - Roberto Medina 001; Etienne Borde; Laurent Pautet (Ada-Europe, 2017)

Availability enhancement and analysis for mixed-criticality systems on multi-core. - Roberto Medina 001; Etienne Borde; Laurent Pautet (DATE, 2018)

Shedding the Shackles of Time-Division Multiplexing. - Farouk Hebbache; Mathieu Jan; Florian Brandner; Laurent Pautet (RTSS, 2018)

Scheduling Multi-periodic Mixed-Criticality DAGs on Multi-core Architectures. - Roberto Medina 001; Etienne Borde; Laurent Pautet (RTSS, 2018)

Arbitration-Induced Preemption Delays. - Farouk Hebbache; Florian Brandner; Mathieu Jan; Laurent Pautet (ECRTS, 2019)

Multi-objective exploration of architectural designs by composition of model transformations. - Smail Rahmoun; Asma Mehiaoui-Hamitou; Etienne Borde; Laurent Pautet; Elie Soubiran (Softw. Syst. Model., 2019)

Translation of ATL to AGT and application to a code generator for Simulink. - Elie Richa; Etienne Borde; Laurent Pautet (Softw. Syst. Model., 2019)

Work-conserving dynamic time-division multiplexing for multi-criticality systems. - Farouk Hebbache; Florian Brandner; Mathieu Jan; Laurent Pautet (Real Time Syst., 2020)

Assessing adversarial training effect on IDSs and GANs. - Hassan Chaitou; Thomas Robert 003; Jean Leneutre; Laurent Pautet (CSR, 2021)

Litmus-RT plugins for global static scheduling of mixed criticality systems. - Laurent Pautet; Thomas Robert 003; Samuel Tardieu (J. Syst. Archit., 2021)

Generalized Mixed-Criticality Static Scheduling for Periodic Directed Acyclic Graphs on Multi-Core Processors. - Roberto Medina 001; Etienne Borde; Laurent Pautet (IEEE Trans. Computers, 2021)

Intrinsic Weaknesses of IDSs to Malicious Adversarial Attacks and Their Mitigation. - Hassan Chaitou; Thomas Robert 003; Jean Leneutre; Laurent Pautet (ICSBT/SECRYPT (Revised Selected Papers), 2022)

Threats to Adversarial Training for IDSs and Mitigation. - Hassan Chaitou; Thomas Robert 003; Jean Leneutre; Laurent Pautet (SECRYPT, 2022)

Special issue on reliable data transmission in real-time systems. - Geoffrey Nelissen; Laurent Pautet (Real Time Syst., 2023)

ConForME: Multi-horizon conditional conformal time series forecasting. - Aloysio Galvão Lopes; Eric Goubault; Sylvie Putot; Laurent Pautet (COPA, 2024)

Model Management at Renault Virtual Simulation Team: State of Practice, Challenges and Research Directions. - Yara Hallak; Dominique Blouin; Laurent Pautet; Layale Saab; Baptiste Laborie; Rakshit Mittal (MoDELS (Companion), 2024)

Shackling Uncertainty Using Mixed Criticality in Monte-Carlo Tree Search. - Franco Cordeiro; Samuel Tardieu; Laurent Pautet (SIES, 2024)

RESCUE: Multi-Robot Planning Under Resource Uncertainty and Objective Criticality. - Franco Cordeiro; Samuel Tardieu; Laurent Pautet (ECRTS, 2025)