Laurent Pautet

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 16

Top Venues

Publications

Franco Cordeiro, Samuel Tardieu, Laurent Pautet
Shackling Uncertainty using Mixed Criticality in Monte-Carlo Tree Search. CoRR (2024)
Geoffrey Nelissen, Laurent Pautet
Special issue on reliable data transmission in real-time systems. Real Time Syst. 59 (4) (2023)
Hassan Chaitou, Thomas Robert, Jean Leneutre, Laurent Pautet
Intrinsic Weaknesses of IDSs to Malicious Adversarial Attacks and Their Mitigation. ICSBT/SECRYPT (Revised Selected Papers) (2022)
Hassan Chaitou, Thomas Robert, Jean Leneutre, Laurent Pautet
Threats to Adversarial Training for IDSs and Mitigation. SECRYPT (2022)
Laurent Pautet, Thomas Robert, Samuel Tardieu
Litmus-RT plugins for global static scheduling of mixed criticality systems. J. Syst. Archit. 118 (2021)
Hassan Chaitou, Thomas Robert, Jean Leneutre, Laurent Pautet
Assessing adversarial training effect on IDSs and GANs. CSR (2021)
Roberto Medina, Etienne Borde, Laurent Pautet
Generalized Mixed-Criticality Static Scheduling for Periodic Directed Acyclic Graphs on Multi-Core Processors. IEEE Trans. Computers 70 (3) (2021)
Farouk Hebbache, Florian Brandner, Mathieu Jan, Laurent Pautet
Work-conserving dynamic time-division multiplexing for multi-criticality systems. Real Time Syst. 56 (2) (2020)
Elie Richa, Etienne Borde, Laurent Pautet
Translation of ATL to AGT and application to a code generator for Simulink. Softw. Syst. Model. 18 (1) (2019)
Smail Rahmoun, Asma Mehiaoui-Hamitou, Etienne Borde, Laurent Pautet, Elie Soubiran
Multi-objective exploration of architectural designs by composition of model transformations. Softw. Syst. Model. 18 (1) (2019)
Farouk Hebbache, Florian Brandner, Mathieu Jan, Laurent Pautet
Arbitration-Induced Preemption Delays. ECRTS (2019)
Farouk Hebbache, Mathieu Jan, Florian Brandner, Laurent Pautet
Shedding the Shackles of Time-Division Multiplexing. RTSS (2018)
Roberto Medina, Etienne Borde, Laurent Pautet
Scheduling Multi-periodic Mixed-Criticality DAGs on Multi-core Architectures. RTSS (2018)
Roberto Medina, Etienne Borde, Laurent Pautet
Availability enhancement and analysis for mixed-criticality systems on multi-core. DATE (2018)
Roberto Medina, Etienne Borde, Laurent Pautet
Directed Acyclic Graph Scheduling for Mixed-Criticality Systems. Ada-Europe (2017)
Roberto Medina, Etienne Borde, Laurent Pautet
Availability analysis for synchronous data-flow graphs in mixed-criticality systems. SIES (2016)
Smail Rahmoun, Etienne Borde, Laurent Pautet
Automatic selection and composition of model transformations alternatives using evolutionary algorithms. ECSA Workshops (2015)
Cuauhtemoc Castellanos, Etienne Borde, Laurent Pautet, Gardoll Sebastien, Thomas Vergnaud
Improving Reusability of Model Transformations by Automating their Composition. EUROMICRO-SEAA (2015)
Smail Rahmoun, Etienne Borde, Laurent Pautet
Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES). ICECCS (2015)
Romain Gratia, Thomas Robert, Laurent Pautet
Generalized mixed-criticality scheduling based on RUN. RTNS (2015)
Elie Richa, Etienne Borde, Laurent Pautet
Translating ATL Model Transformations to Algebraic Graph Transformations. ICMT (2015)
Vincent Legout, Mathieu Jan, Laurent Pautet
Scheduling algorithms to reduce the static energy consumption of real-time systems. Real Time Syst. 51 (2) (2015)
Romain Gratia, Thomas Robert, Laurent Pautet
Scheduling of mixed-criticality systems with RUN. ETFA (2015)
Marisol García-Valls, Tommaso Cucinotta, Laurent Pautet
Message from the General Chairs. REACTION (2014)
Etienne Borde, Smail Rahmoun, Fabien Cadoret, Laurent Pautet, Frank Singhoff, Pierre Dissaux
Architecture models refinement for fine grain timing analysis of embedded systems. RSP (2014)
Cuauhtemoc Castellanos, Etienne Borde, Laurent Pautet, Thomas Vergnaud, Thomas Derive
Automatic Production of Transformation Chains Using Structural Constraints on Output Models. EUROMICRO-SEAA (2014)
Antoine Jaouën, Etienne Borde, Laurent Pautet, Thomas Robert
PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems. Ada-Europe (2014)
Elie Richa, Etienne Borde, Laurent Pautet, Matteo Bordin, José F. Ruiz
Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation. AMT@MoDELS (2014)
Fabien Cadoret, Thomas Robert, Etienne Borde, Laurent Pautet, Frank Singhoff
Deterministic implementation of periodic-delayed communications and experimentation in AADL. ISORC (2013)
Cuauhtemoc Castellanos, Thomas Vergnaud, Etienne Borde, Thomas Derive, Laurent Pautet
Formalization of design patterns for security and dependability. ISARCS (2013)
Vincent Legout, Mathieu Jan, Laurent Pautet
A scheduling algorithm to reduce the static energy consumption of multiprocessor real-time systems. RTNS (2013)
Julien Delange, Laurent Pautet, Fabrice Kordon
Design, implementation and verification of MILS systems. Softw. Pract. Exp. 42 (7) (2012)
Fabien Cadoret, Etienne Borde, Sébastien Gardoll, Laurent Pautet
Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models. ICECCS (2012)
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
Flex-eWare: a flexible model driven solution for designing and implementing embedded distributed systems. Softw. Pract. Exp. 42 (12) (2012)
Michaël Lafaye, Laurent Pautet, Etienne Borde, Marc Gatti, David Faura
Model driven resource usage simulation for critical embedded systems. DATE (2012)
Gilles Lasnier, Laurent Pautet, Jérôme Hugues
A Model-Based Transformation Process to Validate and Implement High-Integrity Systems. ISORC (2011)
Gilles Lasnier, Laurent Pautet, Jérôme Hugues, Lutz Wrage
An Implementation of the Behavior Annex in the AADL-Toolset Osate2. ICECCS (2011)
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, Mahmoud Boufaïda, Lionel Seinturier, Joël Champeau, Thomas Abdoul, Peter H. Feiler, Chokri Mraidha, Sébastien Gérard
An Efficient Modeling and Execution Framework for Complex Systems Development. ICECCS (2011)
Michaël Lafaye, David Faura, Marc Gatti, Laurent Pautet
A new modeling approach for IMA platform early validation. MOMPES (2010)
Isabelle Perseil, Laurent Pautet
High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems. ECBS (2010)
Isabelle Perseil, Laurent Pautet
From MARTE to AADL with a Seamless Process. ICECCS (2010)
Isabelle Perseil, Laurent Pautet
Formal methods integration in software engineering. Innov. Syst. Softw. Eng. 6 (1-2) (2010)
Julien Delange, Laurent Pautet, Jérôme Hugues, Dionisio de Niz
An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems. ICECCS (2010)
Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon
Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex. NOTERE (2010)
Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon
Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems. ISORC (2010)
Etienne Borde, Peter H. Feiler, Grégory Haïk, Laurent Pautet
Model driven code generation for critical and adaptative embedded systems. SIGBED Rev. 6 (3) (2009)
Isabelle Perseil, Laurent Pautet
An Emerging Need for a New Software Engineering Method. ICECCS (2009)
Etienne Borde, Grégory Haïk, Laurent Pautet
Mode-based reconfiguration of critical software component architectures. DATE (2009)
Julien Delange, Laurent Pautet, Peter H. Feiler
Validating Safety and Security Requirements for Partitioned Architectures. Ada-Europe (2009)
Julien Delange, Laurent Pautet, Alain Plantec, Mickaël Kerboeuf, Frank Singhoff, Fabrice Kordon
Validate, simulate, and implement ARINC653 systems using the AADL. SIGAda (2009)
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)
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. Embed. Comput. Syst. 7 (4) (2008)
Isabelle Perseil, Laurent Pautet
Foundations of a new software engineering method for real-time systems. Innov. Syst. Softw. Eng. 4 (3) (2008)
Isabelle Perseil, Laurent Pautet
A Concrete Syntax for UML 2.1 Action Semantics Using +CAL. ICECCS (2008)
Bechir Zalila, Laurent Pautet, Jérôme Hugues
Towards Automatic Middleware Generation. ISORC (2008)
Jérôme Hugues, Bechir Zalila, Laurent Pautet
Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems. ISORC (2007)
Mejdi Kaddour, Laurent Pautet
MobileJMS: une solution globale d'adaptation des applications nomades. Ann. des Télécommunications 62 (3-4) (2007)
Isabelle Perseil, Laurent Pautet
A Co-Modeling Methodology Designed for RT Architecture Models Integration. ICECCS (2007)
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)
Sébastien Gérard, Peter H. Feiler, Jean-François Rolland, Mamoun Filali, Mark-Oliver Reiser, Didier Delanote, Yolande Berbers, Laurent Pautet, Isabelle Perseil
UML&AADL '2007 grand challenges. SIGBED Rev. 4 (4) (2007)
Khaled Barbaria, Jérôme Hugues, Laurent Pautet
Design and Performance of a Generic Consensus Component for Critical Distributed Applications. Ada-Europe (2007)
Bechir Zalila, Irfan Hamid, Jérôme Hugues, Laurent Pautet
Generating Distributed High Integrity Applications from Their Architectural Description. Ada-Europe (2007)
Jérôme Hugues, Laurent Pautet, Fabrice Kordon
A Framework for DRE middleware, an Application to DDS. ISORC (2006)
Bechir Zalila, Jérôme Hugues, Laurent Pautet
An improved IDL compiler for optimizing CORBA applications. SIGAda (2006)
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)
Khaled Barbaria, Laurent Pautet, Isabelle Perseil
Schizophrenic middleware support for fault tolerance. SIGAda (2006)
Jérôme Hugues, Laurent Pautet, Fabrice Kordon
Revisiting COTS middleware for DRE systems. ISORC (2005)
Jérôme Hugues, Fabrice Kordon, Laurent Pautet, Thomas Vergnaud
A Factory to Design and Build Tailorable and Verifiable Middleware. Monterey Workshop (2005)
Thomas Vergnaud, Laurent Pautet, Fabrice Kordon
Using the AADL to Describe Distributed Applications from Middleware to Software Components. Ada-Europe (2005)
Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Souheib Baarir, Fabrice Kordon
On the Formal Verification of Middleware Behavioral Properties. Electron. Notes Theor. Comput. Sci. 133 (2005)
Fabrice Kordon, Laurent Pautet
Toward Nex-Generation Middleware? IEEE Distributed Syst. Online 6 (3) (2005)
Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon
Rapid Development Methodology for Customized Middleware. IEEE International Workshop on Rapid System Prototyping (2005)
Laurent Pautet, Fabrice Kordon
Des vertus de la schizophrénie pour le prototypage d'applications à composants interopérables. Tech. Sci. Informatiques 23 (10) (2004)
Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon
PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications. Ada-Europe (2004)
Mejdi Kaddour, Laurent Pautet
Cooperative approach for mobile application adaptability based on MobileJMS. UbiMob (2004)
Mejdi Kaddour, Laurent Pautet
A Middleware for Supporting Disconnections and Multi-Network Access in Mobile Environments. PerCom Workshops (2004)
Jérôme Hugues, Laurent Pautet, Fabrice Kordon
Contributions to middleware architectures to prototype distribution infrastructures. IEEE International Workshop on Rapid System Prototyping (2003)
Laurent Pautet, Thomas Quinot, Samuel Tardieu
Building Modern Distributed Systems. Ada-Europe (2001)
Thomas Quinot, Laurent Pautet, Fabrice Kordon
From Functional to Architectural Analysis of a Middleware Supporting Interoperability across Heterogeneous Distribution Models. DOA (2001)
Laurent Pautet, Samuel Tardieu
GLADE: A Framework for Building Large Object-Oriented Real-Time Distributed Systems. ISORC (2000)
Laurent Pautet, Thomas Quinot, Samuel Tardieu
CORBA and CORBA services for DSA. SIGAda (1999)
Laurent Pautet, Samuel Tardieu
What future for the distributed systems annex?. SIGAda (1999)
Laurent Pautet, Thomas Quinot, Samuel Tardieu
CORBA & DSA: Divorce or Marriage? Ada-Europe (1999)
Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor
Cronos: A Separate Compilation Toolset for Modular Esterel Applications. World Congress on Formal Methods (1999)
Samuel Tardieu, Laurent Pautet
Building Fault Tolerant Distributed Systems Using IP Multicast. SIGAda (1998)
Laurent Pautet, Samuel Tardieu
Inside the Distributed Systems Annex. Ada-Europe (1998)
Bertrand Dupouy, Olivier Hainque, Laurent Pautet, Samuel Tardieu
The SPIF Project. Ada-Europe (1997)
Laurent Pautet, Thomas Wolf
Transparent Filtering of Streams in GLADE. TRI-Ada (1997)
Daniel Neri, Laurent Pautet, Samuel Tardieu
Debugging Distributed Applications with Replay Capabilities. TRI-Ada (1997)
Pierre Dissaux, Laurent Pautet, Lars Björnfot, Yvon Kermarrec, Dominique LeCampion
Communication and distribution tools for embedded distributed applications: a case study with Ada 95 and its distributed systems annex. IRTAW (1997)
Yvon Kermarrec, Laurent Nana, Laurent Pautet
Providing Fault-Tolerant Services to Distributed Ada 95 Applications. TRI-Ada (1996)
Yvon Kermarrec, Laurent Nana, Laurent Pautet
GNATDIST: A Configuration Language for Distributed Ada 95 Applications. TRI-Ada (1996)
Yvon Kermarrec, Laurent Nana, Laurent Pautet
Implementing recovery blocks in GNAT: a powerful fault tolerance mechanism and a transaction support. TRI-Ada (1995)
Yvon Kermarrec, Laurent Pautet, Samuel Tardieu
GARLIC: generic Ada reusable library for interpartition communication. TRI-Ada (1995)
Yvon Kermarrec, Laurent Pautet
Programming Distributed Systems with Both Ada 95 and PVM. Ada-Europe (1995)
Anthony Gargaro, Yvon Kermarrec, Laurent Pautet, Samuel Tardieu
PARIS - Partitioned Ada for Remotely Invoked Services. Ada-Europe (1995)
Yvon Kermarrec, Laurent Pautet
Ada-Linda: A Powerful Paradigm for Programming Distributed Ada Applications. TRI-Ada (1994)
Yvon Kermarrec, Laurent Pautet
Ada Reusable Software Components for Teaching Distributed Systems. CSEE (1994)
Yvon Kermarrec, Laurent Pautet
Integrating Page Replacement in a Distributed Shared Virtual Memory. ICDCS (1994)
Yvon Kermarrec, Laurent Pautet
A Distributed Shared Virtual Memory for Ada 83 and Ada 9X Applications. TRI-Ada (1993)

Laurent Pautet.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Laurent Pautet