Laurent Pautet

Orcid: 0000-0003-0888-187X

Affiliations:
  • Télécom Paris, Paris, France


According to our database1, Laurent Pautet authored at least 101 papers between 1992 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Special issue on reliable data transmission in real-time systems.
Real Time Syst., December, 2023

Optimization of security risk for learning on heterogeneous quality data. (Optimisation du risque de sécurité pour l'apprentissage sur données de qualité hétérogène).
PhD thesis, 2023

2022
Threats to Adversarial Training for IDSs and Mitigation.
Proceedings of the 19th International Conference on Security and Cryptography, 2022

Intrinsic Weaknesses of IDSs to Malicious Adversarial Attacks and Their Mitigation.
Proceedings of the E-Business and Telecommunications - 19th International Conference, 2022

2021
Generalized Mixed-Criticality Static Scheduling for Periodic Directed Acyclic Graphs on Multi-Core Processors.
IEEE Trans. Computers, 2021

Litmus-RT plugins for global static scheduling of mixed criticality systems.
J. Syst. Archit., 2021

Assessing adversarial training effect on IDSs and GANs.
Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2021

2020
Work-conserving dynamic time-division multiplexing for multi-criticality systems.
Real Time Syst., 2020

2019
Translation of ATL to AGT and application to a code generator for Simulink.
Softw. Syst. Model., 2019

Multi-objective exploration of architectural designs by composition of model transformations.
Softw. Syst. Model., 2019

Arbitration-Induced Preemption Delays.
Proceedings of the 31st Euromicro Conference on Real-Time Systems, 2019

2018
Scheduling Multi-periodic Mixed-Criticality DAGs on Multi-core Architectures.
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

Shedding the Shackles of Time-Division Multiplexing.
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

Availability enhancement and analysis for mixed-criticality systems on multi-core.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017
Directed Acyclic Graph Scheduling for Mixed-Criticality Systems.
Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

2016
Availability analysis for synchronous data-flow graphs in mixed-criticality systems.
Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

2015
Scheduling algorithms to reduce the static energy consumption of real-time systems.
Real Time Syst., 2015

Generalized mixed-criticality scheduling based on RUN.
Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

Translating ATL Model Transformations to Algebraic Graph Transformations.
Proceedings of the Theory and Practice of Model Transformations, 2015

Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES).
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Improving Reusability of Model Transformations by Automating their Composition.
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

Scheduling of mixed-criticality systems with RUN.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Automatic selection and composition of model transformations alternatives using evolutionary algorithms.
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

2014
Message from the General Chairs.
Proceedings of the REACTION 2014, 2014

Architecture models refinement for fine grain timing analysis of embedded systems.
Proceedings of the 25nd IEEE International Symposium on Rapid System Prototyping, 2014

Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation.
Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

Automatic Production of Transformation Chains Using Structural Constraints on Output Models.
Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems.
Proceedings of the Reliable Software Technologies, 2014

2013
A scheduling algorithm to reduce the static energy consumption of multiprocessor real-time systems.
Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013

Deterministic implementation of periodic-delayed communications and experimentation in AADL.
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

Formalization of design patterns for security and dependability.
Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, 2013

2012
Flex-eWare: a flexible model driven solution for designing and implementing embedded distributed systems.
Softw. Pract. Exp., 2012

Design, implementation and verification of MILS systems.
Softw. Pract. Exp., 2012

Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models.
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Model driven resource usage simulation for critical embedded systems.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011
A Model-Based Transformation Process to Validate and Implement High-Integrity Systems.
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

An Efficient Modeling and Execution Framework for Complex Systems Development.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

An Implementation of the Behavior Annex in the AADL-Toolset Osate2.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2010
Formal methods integration in software engineering.
Innov. Syst. Softw. Eng., 2010

Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex.
Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010

A new modeling approach for IMA platform early validation.
Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2010

Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

From MARTE to AADL with a Seamless Process.
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems.
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems.
Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

2009
Model driven code generation for critical and adaptative embedded systems.
SIGBED Rev., 2009

Validate, simulate, and implement ARINC653 systems using the AADL.
Proceedings of the 2009 Annual ACM SIGAda International Conference on Ada, 2009

An Emerging Need for a New Software Engineering Method.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Mode-based reconfiguration of critical software component architectures.
Proceedings of the Design, Automation and Test in Europe, 2009

Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications.
Proceedings of the Reliable Software Technologies, 2009

Validating Safety and Security Requirements for Partitioned Architectures.
Proceedings of the Reliable Software Technologies, 2009

2008
From the prototype to the final embedded system using the Ocarina AADL tool suite.
ACM Trans. Embed. Comput. Syst., 2008

Foundations of a new software engineering method for real-time systems.
Innov. Syst. Softw. Eng., 2008

Towards Automatic Middleware Generation.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

A Concrete Syntax for UML 2.1 Action Semantics Using +CAL.
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

2007
UML&AADL '2007 grand challenges.
SIGBED Rev., 2007

MobileJMS: une solution globale d'adaptation des applications nomades.
Ann. des Télécommunications, 2007

Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina.
Proceedings of the 18th IEEE International Workshop on Rapid System Prototyping (RSP 2007), 2007

Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

A Co-Modeling Methodology Designed for RT Architecture Models Integration.
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Generating Distributed High Integrity Applications from Their Architectural Description.
Proceedings of the Reliable Software Technologies, 2007

Design and Performance of a Generic Consensus Component for Critical Distributed Applications.
Proceedings of the Reliable Software Technologies, 2007

2006
An improved IDL compiler for optimizing CORBA applications.
Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, 2006

Schizophrenic middleware support for fault tolerance.
Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, 2006

From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain.
Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006

A Framework for DRE middleware, an Application to DDS.
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

2005
Toward Nex-Generation Middleware?
IEEE Distributed Syst. Online, 2005

Rapid Development Methodology for Customized Middleware.
Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 2005

A Factory to Design and Build Tailorable and Verifiable Middleware.
Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

Revisiting COTS middleware for DRE systems.
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Using the AADL to Describe Distributed Applications from Middleware to Software Components.
Proceedings of the Reliable Software Technology, 2005

2004
Des vertus de la schizophrénie pour le prototypage d'applications à composants interopérables.
Tech. Sci. Informatiques, 2004

On the Formal Verification of Middleware Behavioral Properties.
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

Cooperative approach for mobile application adaptability based on MobileJMS.
Proceedings of the Actes des 1ères journées francophones Mobilité et Ubiquité 2004, 2004

A Middleware for Supporting Disconnections and Multi-Network Access in Mobile Environments.
Proceedings of the 2nd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2004 Workshops), 2004

PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications.
Proceedings of the Reliable Software Technologies, 2004

2003
Contributions to middleware architectures to prototype distribution infrastructures.
Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

2001
From Functional to Architectural Analysis of a Middleware Supporting Interoperability across Heterogeneous Distribution Models.
Proceedings of the 3rd International Symposium on Distributed Objects and Applications, 2001

Building Modern Distributed Systems.
Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

2000
GLADE: A Framework for Building Large Object-Oriented Real-Time Distributed Systems.
Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

1999
What future for the distributed systems annex?.
Proceedings of the Proceedings ACM SIGAda Annual International Conference, 1999

CORBA and CORBA services for DSA.
Proceedings of the Proceedings ACM SIGAda Annual International Conference, 1999

Cronos: A Separate Compilation Toolset for Modular Esterel Applications.
Proceedings of the FM'99 - Formal Methods, 1999

CORBA & DSA: Divorce or Marriage?
Proceedings of the Reliable Software Technologies, 1999

1998
Building Fault Tolerant Distributed Systems Using IP Multicast.
Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, 1998

Inside the Distributed Systems Annex.
Proceedings of the Reliable Software Technologies, 1998

1997
Transparent Filtering of Streams in GLADE.
Proceedings of the Conference, The annual meeting of the Ada programming world, 1997

Debugging Distributed Applications with Replay Capabilities.
Proceedings of the Conference, The annual meeting of the Ada programming world, 1997

Communication and distribution tools for embedded distributed applications: a case study with Ada 95 and its distributed systems annex.
Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

The SPIF Project.
Proceedings of the Reliable Software Technologies, 1997

1996
GNATDIST: A Configuration Language for Distributed Ada 95 Applications.
Proceedings of the annual meeting of the Ada programming world, 1996

Providing Fault-Tolerant Services to Distributed Ada 95 Applications.
Proceedings of the annual meeting of the Ada programming world, 1996

1995
GARLIC: generic Ada reusable library for interpartition communication.
Proceedings of the conference on TRI-Ada 1995: Ada's role in global markets: solutions for a changing complex world, 1995

Implementing recovery blocks in GNAT: a powerful fault tolerance mechanism and a transaction support.
Proceedings of the conference on TRI-Ada 1995: Ada's role in global markets: solutions for a changing complex world, 1995

Programming Distributed Systems with Both Ada 95 and PVM.
Proceedings of the Ada in Europe, Second International Eurospace, 1995

PARIS - Partitioned Ada for Remotely Invoked Services.
Proceedings of the Ada in Europe, Second International Eurospace, 1995

1994
Ada-Linda: A Powerful Paradigm for Programming Distributed Ada Applications.
Proceedings of the 1994 Conference on TRI-Ada 1994, 1994

Integrating Page Replacement in a Distributed Shared Virtual Memory.
Proceedings of the 14th International Conference on Distributed Computing Systems, 1994

Ada Reusable Software Components for Teaching Distributed Systems.
Proceedings of the Software Engineering Education, 1994

1993
A Distributed Shared Virtual Memory for Ada 83 and Ada 9X Applications.
Proceedings of the Conference Proceedings on TRI-Ada 1993, 1993

1992
Ada Communication Components for Distributed and Real Time Applications.
Proceedings of the Conference Proceedings on TRI-Ada 1992, 1992


  Loading...