Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarLaurent Pautet
Person information
- affiliation: Télécom ParisTech, Paris, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2018
[c73]Roberto Medina, Etienne Borde, Laurent Pautet:
Availability enhancement and analysis for mixed-criticality systems on multi-core. DATE 2018: 1271-1276- 2017
- [c72]Roberto Medina, Etienne Borde, Laurent Pautet:
Directed Acyclic Graph Scheduling for Mixed-Criticality Systems. Ada-Europe 2017: 217-232 - 2016
- [c71]Roberto Medina, Etienne Borde, Laurent Pautet:
Availability analysis for synchronous data-flow graphs in mixed-criticality systems. SIES 2016: 205-210 - 2015
- [j12]Vincent Legout, Mathieu Jan, Laurent Pautet:
Scheduling algorithms to reduce the static energy consumption of real-time systems. Real-Time Systems 51(2): 153-191 (2015) - [c70]Smail Rahmoun, Etienne Borde, Laurent Pautet:
Automatic selection and composition of model transformations alternatives using evolutionary algorithms. ECSA Workshops 2015: 25:1-25:7 - [c69]Romain Gratia, Thomas Robert, Laurent Pautet:
Scheduling of mixed-criticality systems with RUN. ETFA 2015: 1-8 - [c68]Cuauhtemoc Castellanos, Etienne Borde, Laurent Pautet, Gardoll Sebastien, Thomas Vergnaud:
Improving Reusability of Model Transformations by Automating their Composition. EUROMICRO-SEAA 2015: 267-274 - [c67]Smail Rahmoun, Etienne Borde, Laurent Pautet:
Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES). ICECCS 2015: 21-30 - [c66]Elie Richa, Etienne Borde, Laurent Pautet:
Translating ATL Model Transformations to Algebraic Graph Transformations. ICMT 2015: 183-198 - [c65]Romain Gratia, Thomas Robert, Laurent Pautet:
Generalized mixed-criticality scheduling based on RUN. RTNS 2015: 267-276 - 2014
- [c64]Antoine Jaouën, Etienne Borde, Laurent Pautet, Thomas Robert:
PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems. Ada-Europe 2014: 149-165 - [c63]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 - [c62]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 - [c61]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 - [c60]Marisol García-Valls, Tommaso Cucinotta, Laurent Pautet:
Message from the General Chairs. REACTION 2014 - 2013
- [c59]Cuauhtemoc Castellanos, Thomas Vergnaud, Etienne Borde, Thomas Derive, Laurent Pautet:
Formalization of design patterns for security and dependability. ISARCS 2013: 17-26 - [c58]Fabien Cadoret, Thomas Robert, Etienne Borde, Laurent Pautet, Frank Singhoff:
Deterministic implementation of periodic-delayed communications and experimentation in AADL. ISORC 2013: 1-8 - [c57]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
- [j11]Julien Delange, Laurent Pautet, Fabrice Kordon:
Design, implementation and verification of MILS systems. Softw., Pract. Exper. 42(7): 799-816 (2012) - [j10]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. Exper. 42(12): 1467-1494 (2012) - [c56]Michaël Lafaye, Laurent Pautet, Etienne Borde, Marc Gatti, David Faura:
Model driven resource usage simulation for critical embedded systems. DATE 2012: 312-315 - [c55]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
- [c54]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 - [c53]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 - [c52]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
- [j9]Isabelle Perseil, Laurent Pautet:
Formal methods integration in software engineering. ISSE 6(1-2): 5-11 (2010) - [c51]Isabelle Perseil, Laurent Pautet:
High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems. ECBS 2010: 418-424 - [c50]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 - [c49]
- [c48]Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon:
Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems. ISORC 2010: 87-91 - [c47]Michaël Lafaye, David Faura, Marc Gatti, Laurent Pautet:
A new modeling approach for IMA platform early validation. MOMPES 2010: 17-20 - [c46]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
- [j8]Etienne Borde, Peter H. Feiler, Grégory Haïk, Laurent Pautet:
Model driven code generation for critical and adaptative embedded systems. SIGBED Review 6(3): 10 (2009) - [c45]Julien Delange, Laurent Pautet, Peter H. Feiler:
Validating Safety and Security Requirements for Partitioned Architectures. Ada-Europe 2009: 30-43 - [c44]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 - [c43]Etienne Borde, Grégory Haïk, Laurent Pautet:
Mode-based reconfiguration of critical software component architectures. DATE 2009: 1160-1165 - [c42]Isabelle Perseil, Laurent Pautet:
An Emerging Need for a New Software Engineering Method. ICECCS 2009: 359-364 - [c41]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
- [j7]Isabelle Perseil, Laurent Pautet:
Foundations of a new software engineering method for real-time systems. ISSE 4(3): 195-202 (2008) - [j6]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): 42:1-42:25 (2008) - [c40]Isabelle Perseil, Laurent Pautet:
A Concrete Syntax for UML 2.1 Action Semantics Using +CAL. ICECCS 2008: 217-221 - [c39]Bechir Zalila, Laurent Pautet, Jérôme Hugues:
Towards Automatic Middleware Generation. ISORC 2008: 221-228 - 2007
- [j5]Mejdi Kaddour, Laurent Pautet:
MobileJMS: une solution globale d'adaptation des applications nomades. Annales des Télécommunications 62(3-4): 464-485 (2007) - [j4]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 Review 4(4): 1 (2007) - [c38]Bechir Zalila, Irfan Hamid, Jérôme Hugues, Laurent Pautet:
Generating Distributed High Integrity Applications from Their Architectural Description. Ada-Europe 2007: 155-167 - [c37]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 - [c36]Isabelle Perseil, Laurent Pautet:
A Co-Modeling Methodology Designed for RT Architecture Models Integration. ICECCS 2007: 371-376 - [c35]Jérôme Hugues, Bechir Zalila, Laurent Pautet:
Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems. ISORC 2007: 307-312 - [c34]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
- [c33]Jérôme Hugues, Laurent Pautet, Fabrice Kordon:
A Framework for DRE middleware, an Application to DDS. ISORC 2006: 224-231 - [c32]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 - [c31]Bechir Zalila, Jérôme Hugues, Laurent Pautet:
An improved IDL compiler for optimizing CORBA applications. SIGAda 2006: 21-28 - [c30]Khaled Barbaria, Laurent Pautet, Isabelle Perseil:
Schizophrenic middleware support for fault tolerance. SIGAda 2006: 51-60 - 2005
- [j3]Fabrice Kordon, Laurent Pautet:
Toward Nex-Generation Middleware? IEEE Distributed Systems Online 6(3) (2005) - [j2]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) - [c29]Thomas Vergnaud, Laurent Pautet, Fabrice Kordon:
Using the AADL to Describe Distributed Applications from Middleware to Software Components. Ada-Europe 2005: 67-78 - [c28]Jérôme Hugues, Laurent Pautet, Fabrice Kordon:
Revisiting COTS middleware for DRE systems. ISORC 2005: 72-79 - [c27]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 - [c26]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. Technique et Science Informatiques 23(10): 1301-1328 (2004) - [c25]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 - [c24]Mejdi Kaddour, Laurent Pautet:
A Middleware for Supporting Disconnections and Multi-Network Access in Mobile Environments. PerCom Workshops 2004: 187-191 - [c23]Mejdi Kaddour, Laurent Pautet:
Cooperative approach for mobile application adaptability based on MobileJMS. UbiMob 2004: 174-181 - 2003
- [c22]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
- [c21]Laurent Pautet, Thomas Quinot, Samuel Tardieu:
Building Modern Distributed Systems. Ada-Europe 2001: 123-135 - [c20]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
- [c19]Laurent Pautet, Samuel Tardieu:
GLADE: A Framework for Building Large Object-Oriented Real-Time Distributed Systems. ISORC 2000: 244-251
1990 – 1999
- 1999
- [c18]Laurent Pautet, Thomas Quinot, Samuel Tardieu:
CORBA & DSA: Divorce or Marriage? Ada-Europe 1999: 211-225 - [c17]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 - [c16]
- [c15]
- 1998
- [c14]
- [c13]Samuel Tardieu, Laurent Pautet:
Building Fault Tolerant Distributed Systems Using IP Multicast. SIGAda 1998: 45-51 - 1997
- [c12]Bertrand Dupouy, Olivier Hainque, Laurent Pautet, Samuel Tardieu:
The SPIF Project. Ada-Europe 1997: 46-55 - [c11]
- [c10]Daniel Neri, Laurent Pautet, Samuel Tardieu:
Debugging Distributed Applications with Replay Capabilities. TRI-Ada 1997: 189-195 - 1996
- [c9]Yvon Kermarrec, Laurent Nana, Laurent Pautet:
Providing Fault-Tolerant Services to Distributed Ada 95 Applications. TRI-Ada 1996: 39-47 - [c8]Yvon Kermarrec, Laurent Nana, Laurent Pautet:
GNATDIST: A Configuration Language for Distributed Ada 95 Applications. TRI-Ada 1996: 63-72 - 1995
- [c7]Anthony Gargaro, Yvon Kermarrec, Laurent Pautet, Samuel Tardieu:
PARIS - Partitioned Ada for Remotely Invoked Services. Ada-Europe 1995: 191-205 - [c6]Yvon Kermarrec, Laurent Pautet:
Programming Distributed Systems with Both Ada 95 and PVM. Ada-Europe 1995: 206-216 - 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
maintained by 
at 
at 
last updated on 2018-12-01 23:13 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint