default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLaurent Pautet
Person information
- affiliation: Télécom Paris, Paris, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[i1]Franco Cordeiro, Samuel Tardieu, Laurent Pautet:
Shackling Uncertainty using Mixed Criticality in Monte-Carlo Tree Search. CoRR abs/2407.12564 (2024)- 2023
- [j17]Geoffrey Nelissen
, Laurent Pautet:
Special issue on reliable data transmission in real-time systems. Real Time Syst. 59(4): 662-663 (2023) - 2022
- [c83]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: 122-155 - [c82]Hassan Chaitou, Thomas Robert, Jean Leneutre, Laurent Pautet:
Threats to Adversarial Training for IDSs and Mitigation. SECRYPT 2022: 226-236 - [e1]Yasmina Abdeddaïm, Liliana Cucu-Grosjean, Geoffrey Nelissen, Laurent Pautet:
RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7 - 8, 2022. ACM 2022, ISBN 978-1-4503-9650-9 [contents] - 2021
- [j16]Laurent Pautet, Thomas Robert, Samuel Tardieu:
Litmus-RT plugins for global static scheduling of mixed criticality systems. J. Syst. Archit. 118: 102221 (2021) - [j15]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): 457-470 (2021) - [c81]Hassan Chaitou, Thomas Robert, Jean Leneutre, Laurent Pautet:
Assessing adversarial training effect on IDSs and GANs. CSR 2021: 543-550 - 2020
- [j14]Farouk Hebbache, Florian Brandner, Mathieu Jan, Laurent Pautet:
Work-conserving dynamic time-division multiplexing for multi-criticality systems. Real Time Syst. 56(2): 124-170 (2020)
2010 – 2019
- 2019
- [j13]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): 107-127 (2019) - [j12]Elie Richa, Etienne Borde, Laurent Pautet:
Translation of ATL to AGT and application to a code generator for Simulink. Softw. Syst. Model. 18(1): 321-344 (2019) - [c80]Farouk Hebbache, Florian Brandner, Mathieu Jan, Laurent Pautet:
Arbitration-Induced Preemption Delays. ECRTS 2019: 19:1-19:22 - 2018
- [c79]Roberto Medina, Etienne Borde, Laurent Pautet:
Availability enhancement and analysis for mixed-criticality systems on multi-core. DATE 2018: 1271-1276 - [c78]Roberto Medina, Etienne Borde, Laurent Pautet:
Scheduling Multi-periodic Mixed-Criticality DAGs on Multi-core Architectures. RTSS 2018: 254-264 - [c77]Farouk Hebbache, Mathieu Jan, Florian Brandner, Laurent Pautet:
Shedding the Shackles of Time-Division Multiplexing. RTSS 2018: 456-468 - 2017
- [c76]Roberto Medina, Etienne Borde, Laurent Pautet:
Directed Acyclic Graph Scheduling for Mixed-Criticality Systems. Ada-Europe 2017: 217-232 - 2016
- [c75]Roberto Medina, Etienne Borde, Laurent Pautet:
Availability analysis for synchronous data-flow graphs in mixed-criticality systems. SIES 2016: 205-210 - 2015
- [j11]Vincent Legout, Mathieu Jan, Laurent Pautet:
Scheduling algorithms to reduce the static energy consumption of real-time systems. Real Time Syst. 51(2): 153-191 (2015) - [c74]Smail Rahmoun, Etienne Borde, Laurent Pautet:
Automatic selection and composition of model transformations alternatives using evolutionary algorithms. ECSA Workshops 2015: 25:1-25:7 - [c73]Romain Gratia, Thomas Robert, Laurent Pautet:
Scheduling of mixed-criticality systems with RUN. ETFA 2015: 1-8 - [c72]Cuauhtemoc Castellanos, Etienne Borde, Laurent Pautet, Gardoll Sebastien, Thomas Vergnaud:
Improving Reusability of Model Transformations by Automating their Composition. EUROMICRO-SEAA 2015: 267-274 - [c71]Smail Rahmoun, Etienne Borde, Laurent Pautet:
Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES). ICECCS 2015: 21-30 - [c70]Elie Richa, Etienne Borde, Laurent Pautet:
Translating ATL Model Transformations to Algebraic Graph Transformations. ICMT 2015: 183-198 - [c69]Romain Gratia, Thomas Robert, Laurent Pautet:
Generalized mixed-criticality scheduling based on RUN. RTNS 2015: 267-276 - 2014
- [c68]Antoine Jaouën, Etienne Borde, Laurent Pautet, Thomas Robert:
PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems. Ada-Europe 2014: 149-165 - [c67]Cuauhtemoc Castellanos, Etienne Borde, Laurent Pautet, Thomas Vergnaud, Thomas Derive:
Automatic Production of Transformation Chains Using Structural Constraints on Output Models. EUROMICRO-SEAA 2014: 158-165 - [c66]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: 34-43 - [c65]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: 44-50 - [c64]Marisol García-Valls, Tommaso Cucinotta, Laurent Pautet:
Message from the General Chairs. REACTION 2014 - 2013
- [c63]Cuauhtemoc Castellanos, Thomas Vergnaud, Etienne Borde, Thomas Derive, Laurent Pautet:
Formalization of design patterns for security and dependability. ISARCS 2013: 17-26 - [c62]Fabien Cadoret, Thomas Robert, Etienne Borde, Laurent Pautet, Frank Singhoff:
Deterministic implementation of periodic-delayed communications and experimentation in AADL. ISORC 2013: 1-8 - [c61]Vincent Legout, Mathieu Jan, Laurent Pautet:
A scheduling algorithm to reduce the static energy consumption of multiprocessor real-time systems. RTNS 2013: 99-108 - 2012
- [j10]Julien Delange, Laurent Pautet, Fabrice Kordon:
Design, implementation and verification of MILS systems. Softw. Pract. Exp. 42(7): 799-816 (2012) - [j9]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): 1467-1494 (2012) - [c60]Michaël Lafaye, Laurent Pautet, Etienne Borde, Marc Gatti, David Faura:
Model driven resource usage simulation for critical embedded systems. DATE 2012: 312-315 - [c59]Fabien Cadoret, Etienne Borde, Sébastien Gardoll, Laurent Pautet:
Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models. ICECCS 2012: 67-76 - 2011
- [c58]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: 317-331 - [c57]Gilles Lasnier, Laurent Pautet, Jérôme Hugues, Lutz Wrage:
An Implementation of the Behavior Annex in the AADL-Toolset Osate2. ICECCS 2011: 332-337 - [c56]Gilles Lasnier, Laurent Pautet, Jérôme Hugues:
A Model-Based Transformation Process to Validate and Implement High-Integrity Systems. ISORC 2011: 67-74 - 2010
- [j8]Isabelle Perseil, Laurent Pautet:
Formal methods integration in software engineering. Innov. Syst. Softw. Eng. 6(1-2): 5-11 (2010) - [c55]Isabelle Perseil, Laurent Pautet:
High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems. ECBS 2010: 418-424 - [c54]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: 319-324 - [c53]Isabelle Perseil, Laurent Pautet:
From MARTE to AADL with a Seamless Process. ICECCS 2010: 361-366 - [c52]Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon:
Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems. ISORC 2010: 87-91 - [c51]Michaël Lafaye, David Faura, Marc Gatti, Laurent Pautet:
A new modeling approach for IMA platform early validation. MOMPES 2010: 17-20 - [c50]Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon:
Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex. NOTERE 2010: 17-24
2000 – 2009
- 2009
- [j7]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): 10 (2009) - [c49]Julien Delange, Laurent Pautet, Peter H. Feiler:
Validating Safety and Security Requirements for Partitioned Architectures. Ada-Europe 2009: 30-43 - [c48]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 - [c47]Etienne Borde, Grégory Haïk, Laurent Pautet:
Mode-based reconfiguration of critical software component architectures. DATE 2009: 1160-1165 - [c46]Isabelle Perseil, Laurent Pautet:
An Emerging Need for a New Software Engineering Method. ICECCS 2009: 359-364 - [c45]Julien Delange, Laurent Pautet, Alain Plantec, Mickaël Kerboeuf, Frank Singhoff, Fabrice Kordon:
Validate, simulate, and implement ARINC653 systems using the AADL. SIGAda 2009: 31-44 - 2008
- [j6]Isabelle Perseil, Laurent Pautet:
Foundations of a new software engineering method for real-time systems. Innov. Syst. Softw. Eng. 4(3): 195-202 (2008) - [j5]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): 42:1-42:25 (2008) - [c44]Isabelle Perseil, Laurent Pautet:
A Concrete Syntax for UML 2.1 Action Semantics Using +CAL. ICECCS 2008: 217-221 - [c43]Bechir Zalila, Laurent Pautet, Jérôme Hugues:
Towards Automatic Middleware Generation. ISORC 2008: 221-228 - 2007
- [j4]Mejdi Kaddour, Laurent Pautet:
MobileJMS: une solution globale d'adaptation des applications nomades. Ann. des Télécommunications 62(3-4): 464-485 (2007) - [j3]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): 1 (2007) - [c42]Bechir Zalila, Irfan Hamid, Jérôme Hugues, Laurent Pautet:
Generating Distributed High Integrity Applications from Their Architectural Description. Ada-Europe 2007: 155-167 - [c41]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 - [c40]Isabelle Perseil, Laurent Pautet:
A Co-Modeling Methodology Designed for RT Architecture Models Integration. ICECCS 2007: 371-376 - [c39]Jérôme Hugues, Bechir Zalila, Laurent Pautet:
Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems. ISORC 2007: 307-312 - [c38]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 - 2006
- [c37]Jérôme Hugues, Laurent Pautet, Fabrice Kordon:
A Framework for DRE middleware, an Application to DDS. ISORC 2006: 224-231 - [c36]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 - [c35]Bechir Zalila, Jérôme Hugues, Laurent Pautet:
An improved IDL compiler for optimizing CORBA applications. SIGAda 2006: 21-28 - [c34]Khaled Barbaria, Laurent Pautet, Isabelle Perseil:
Schizophrenic middleware support for fault tolerance. SIGAda 2006: 51-60 - 2005
- [j2]Fabrice Kordon, Laurent Pautet:
Toward Nex-Generation Middleware? IEEE Distributed Syst. Online 6(3) (2005) - [c33]Thomas Vergnaud, Laurent Pautet, Fabrice Kordon:
Using the AADL to Describe Distributed Applications from Middleware to Software Components. Ada-Europe 2005: 67-78 - [c32]Jérôme Hugues, Laurent Pautet, Fabrice Kordon:
Revisiting COTS middleware for DRE systems. ISORC 2005: 72-79 - [c31]Jérôme Hugues, Fabrice Kordon, Laurent Pautet, Thomas Vergnaud:
A Factory to Design and Build Tailorable and Verifiable Middleware. Monterey Workshop 2005: 121-142 - [c30]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 - 2004
- [j1]Laurent Pautet, Fabrice Kordon:
Des vertus de la schizophrénie pour le prototypage d'applications à composants interopérables. Tech. Sci. Informatiques 23(10): 1301-1328 (2004) - [c29]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 - [c28]Mejdi Kaddour, Laurent Pautet:
A Middleware for Supporting Disconnections and Multi-Network Access in Mobile Environments. PerCom Workshops 2004: 187-191 - [c27]Mejdi Kaddour, Laurent Pautet:
Cooperative approach for mobile application adaptability based on MobileJMS. UbiMob 2004: 174-181 - [c26]Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Souheib Baarir, Fabrice Kordon:
On the Formal Verification of Middleware Behavioral Properties. FMICS 2004: 139-157 - 2003
- [c25]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
- [c24]Laurent Pautet, Thomas Quinot, Samuel Tardieu:
Building Modern Distributed Systems. Ada-Europe 2001: 123-135 - [c23]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
- [c22]Laurent Pautet, Samuel Tardieu:
GLADE: A Framework for Building Large Object-Oriented Real-Time Distributed Systems. ISORC 2000: 244-251
1990 – 1999
- 1999
- [c21]Laurent Pautet, Thomas Quinot, Samuel Tardieu:
CORBA & DSA: Divorce or Marriage? Ada-Europe 1999: 211-225 - [c20]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 - [c19]Laurent Pautet, Thomas Quinot, Samuel Tardieu:
CORBA and CORBA services for DSA. SIGAda 1999: 31-38 - [c18]Laurent Pautet, Samuel Tardieu:
What future for the distributed systems annex?. SIGAda 1999: 77-82 - 1998
- [c17]Laurent Pautet, Samuel Tardieu:
Inside the Distributed Systems Annex. Ada-Europe 1998: 65-77 - [c16]Samuel Tardieu, Laurent Pautet:
Building Fault Tolerant Distributed Systems Using IP Multicast. SIGAda 1998: 45-51 - 1997
- [c15]Bertrand Dupouy, Olivier Hainque, Laurent Pautet, Samuel Tardieu:
The SPIF Project. Ada-Europe 1997: 46-55 - [c14]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: 40-44 - [c13]Laurent Pautet, Thomas Wolf:
Transparent Filtering of Streams in GLADE. TRI-Ada 1997: 11-19 - [c12]Daniel Neri, Laurent Pautet, Samuel Tardieu:
Debugging Distributed Applications with Replay Capabilities. TRI-Ada 1997: 189-195 - 1996
- [c11]Yvon Kermarrec, Laurent Nana, Laurent Pautet:
Providing Fault-Tolerant Services to Distributed Ada 95 Applications. TRI-Ada 1996: 39-47 - [c10]Yvon Kermarrec, Laurent Nana, Laurent Pautet:
GNATDIST: A Configuration Language for Distributed Ada 95 Applications. TRI-Ada 1996: 63-72 - 1995
- [c9]Anthony B. Gargaro, Yvon Kermarrec, Laurent Pautet, Samuel Tardieu:
PARIS - Partitioned Ada for Remotely Invoked Services. Ada-Europe 1995: 191-205 - [c8]Yvon Kermarrec, Laurent Pautet:
Programming Distributed Systems with Both Ada 95 and PVM. Ada-Europe 1995: 206-216 - [c7]Yvon Kermarrec, Laurent Pautet, Samuel Tardieu:
GARLIC: generic Ada reusable library for interpartition communication. TRI-Ada 1995: 263-269 - [c6]Yvon Kermarrec, Laurent Nana, Laurent Pautet:
Implementing recovery blocks in GNAT: a powerful fault tolerance mechanism and a transaction support. TRI-Ada 1995: 462-466 - 1994
- [c5]Yvon Kermarrec, Laurent Pautet:
Ada Reusable Software Components for Teaching Distributed Systems. CSEE 1994: 77-96 - [c4]Yvon Kermarrec, Laurent Pautet:
Integrating Page Replacement in a Distributed Shared Virtual Memory. ICDCS 1994: 355-362 - [c3]Yvon Kermarrec, Laurent Pautet:
Ada-Linda: A Powerful Paradigm for Programming Distributed Ada Applications. TRI-Ada 1994: 438-445 - 1993
- [c2]Yvon Kermarrec, Laurent Pautet:
A Distributed Shared Virtual Memory for Ada 83 and Ada 9X Applications. TRI-Ada 1993: 242-251 - 1992
- [c1]Yvon Kermarrec, Laurent Pautet:
Ada Communication Components for Distributed and Real Time Applications. TRI-Ada 1992: 530-537
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-25 20:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
