Laurent Pautet

109 papers A* 1A 6B 11C 15Misc 18Journal 20Unranked 38

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