|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 55 occurrences of 34 keywords
|
|
|
|
|
Results
Found 60 publication records. Showing 60 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael Lafaye, Laurent Pautet, Etienne Borde, Marc Gatti, David Faura |
Model driven resource usage simulation for critical embedded systems.  |
DATE  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Gilles Lasnier, Laurent Pautet, Jérôme Hugues |
A Model-Based Transformation Process to Validate and Implement High-Integrity Systems. |
ISORC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Lasnier, Laurent Pautet, Jérôme Hugues, Lutz Wrage |
An Implementation of the Behavior Annex in the AADL-Toolset Osate2. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Perseil, Laurent Pautet |
Formal methods integration in software engineering. |
ISSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon |
Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex. |
NOTERE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Perseil, Laurent Pautet |
High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems. |
ECBS |
2010 |
DBLP DOI BibTeX RDF |
Real-time systems, Abstraction, Analysis, MARTE |
| 1 | Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon |
Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems. |
ISORC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Perseil, Laurent Pautet |
From MARTE to AADL with a Seamless Process. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Delange, Laurent Pautet, Peter H. Feiler |
Validating Safety and Security Requirements for Partitioned Architectures. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Etienne Borde, Grégory Haïk, Laurent Pautet |
Mode-based reconfiguration of critical software component architectures. |
DATE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Julien Delange, Laurent Pautet, Alain Plantec, Mickaël Kerboeuf, Frank Singhoff, Fabrice Kordon |
Validate, simulate, and implement ARINC653 systems using the AADL. |
SIGAda |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Perseil, Laurent Pautet |
An Emerging Need for a New Software Engineering Method. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
Ocarina, PolyORB-HI, real-time, distributed, embedded, AADL, DRE |
| 1 | Isabelle Perseil, Laurent Pautet |
Foundations of a new software engineering method for real-time systems. |
ISSE |
2008 |
DBLP DOI BibTeX RDF |
PBSE, +CAL, UML, Real-time, Code generation, MDA, Model transformation, MDE, MARTE, AADL, Continuum, Software engineering method |
| 1 | Bechir Zalila, Laurent Pautet, Jérôme Hugues |
Towards Automatic Middleware Generation. |
ISORC |
2008 |
DBLP DOI BibTeX RDF |
Automatic Middleware Generation, Ocarina, PolyORB-HI, AADL, Distributed Real-Time Embedded Systems |
| 1 | Isabelle Perseil, Laurent Pautet |
A Concrete Syntax for UML 2.1 Action Semantics Using +CAL. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Bechir Zalila, Irfan Hamid, Jérôme Hugues, Laurent Pautet |
Generating Distributed High Integrity Applications from Their Architectural Description. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Khaled Barbaria, Jérôme Hugues, Laurent Pautet |
Design and Performance of a Generic Consensus Component for Critical Distributed Applications. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Hugues, Bechir Zalila, Laurent Pautet |
Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems. |
ISORC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Perseil, Laurent Pautet |
A Co-Modeling Methodology Designed for RT Architecture Models Integration. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Hugues, Laurent Pautet, Fabrice Kordon |
A Framework for DRE middleware, an Application to DDS. |
ISORC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Khaled Barbaria, Laurent Pautet, Isabelle Perseil |
Schizophrenic middleware support for fault tolerance. |
SIGAda |
2006 |
DBLP DOI BibTeX RDF |
fault tolerance, software architecture, middleware, Ada, CORBA |
| 1 | Bechir Zalila, Jérôme Hugues, Laurent Pautet |
An improved IDL compiler for optimizing CORBA applications. |
SIGAda |
2006 |
DBLP DOI BibTeX RDF |
PolyORB, real-time, Ada, compilation, CORBA, embedded, IDL, OMG |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Kordon, Laurent Pautet |
Toward Nex-Generation Middleware? |
IEEE Distributed Systems Online |
2005 |
DBLP DOI BibTeX RDF |
distributed systems, middleware |
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon |
Rapid Development Methodology for Customized Middleware. |
IEEE International Workshop on Rapid System Prototyping |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Vergnaud, Laurent Pautet, Fabrice Kordon |
Using the AADL to Describe Distributed Applications from Middleware to Software Components. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Hugues, Laurent Pautet, Fabrice Kordon |
Revisiting COTS middleware for DRE systems. |
ISORC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Hugues, Fabrice Kordon, Laurent Pautet, Thomas Vergnaud |
A Factory to Design and Build Tailorable and Verifiable Middleware. |
Monterey Workshop |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Pautet, Fabrice Kordon |
Des vertus de la schizophrénie pour le prototypage d'applications à composants interopérables. |
Technique et Science Informatiques |
2004 |
DBLP BibTeX RDF |
|
| 1 | Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon |
PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications. |
Ada-Europe |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mejdi Kaddour, Laurent Pautet |
A Middleware for Supporting Disconnections and Multi-Network Access in Mobile Environments. |
PerCom Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mejdi Kaddour, Laurent Pautet |
Cooperative approach for mobile application adaptability based on MobileJMS. |
UbiMob |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Hugues, Laurent Pautet, Fabrice Kordon |
Contributions to middleware architectures to prototype distribution infrastructures. |
IEEE International Workshop on Rapid System Prototyping |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Pautet, Thomas Quinot, Samuel Tardieu |
Building Modern Distributed Systems. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Quinot, Laurent Pautet, Fabrice Kordon |
From Functional to Architectural Analysis of a Middleware Supporting Interoperability across Heterogeneous Distribution Models. (PDF / PS) |
DOA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Pautet, Samuel Tardieu |
GLADE: A Framework for Building Large Object-Oriented Real-Time Distributed Systems. |
ISORC |
2000 |
DBLP DOI BibTeX RDF |
fault tolerance, distributed systems, Ada |
| 1 | Laurent Pautet, Thomas Quinot, Samuel Tardieu |
CORBA & DSA: Divorce or Marriage? |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor |
Cronos: A Separate Compilation Toolset for Modular Esterel Applications. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Pautet, Thomas Quinot, Samuel Tardieu |
CORBA and CORBA services for DSA. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Pautet, Samuel Tardieu |
What future for the distributed systems annex?. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Pautet, Samuel Tardieu |
Inside the Distributed Systems Annex. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Tardieu, Laurent Pautet |
Building Fault Tolerant Distributed Systems Using IP Multicast. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Ada |
| 1 | Bertrand Dupouy, Olivier Hainque, Laurent Pautet, Samuel Tardieu |
The SPIF Project. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Neri, Laurent Pautet, Samuel Tardieu |
Debugging Distributed Applications with Replay Capabilities. |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
Ada |
| 1 | Laurent Pautet, Thomas Wolf |
Transparent Filtering of Streams in GLADE. |
TRI-Ada |
1997 |
DBLP DOI BibTeX RDF |
security, distributed systems, cryptography, Ada, compression, distributed objects, Ada 95 |
| 1 | Yvon Kermarrec, Laurent Nana, Laurent Pautet |
GNATDIST: A Configuration Language for Distributed Ada 95 Applications. |
TRI-Ada |
1996 |
DBLP DOI BibTeX RDF |
distributed systems programming, Ada, GNAT, configuration language |
| 1 | Yvon Kermarrec, Laurent Nana, Laurent Pautet |
Providing Fault-Tolerant Services to Distributed Ada 95 Applications. |
TRI-Ada |
1996 |
DBLP DOI BibTeX RDF |
Ada, Ada |
| 1 | Anthony Gargaro, Yvon Kermarrec, Laurent Pautet, Samuel Tardieu |
PARIS - Partitioned Ada for Remotely Invoked Services. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Yvon Kermarrec, Laurent Pautet |
Programming Distributed Systems with Both Ada 95 and PVM. |
Ada-Europe |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Yvon Kermarrec, Laurent Pautet |
Ada Reusable Software Components for Teaching Distributed Systems. |
CSEE |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Yvon Kermarrec, Laurent Pautet |
Ada-Linda: A Powerful Paradigm for Programming Distributed Ada Applications. |
TRI-Ada |
1994 |
DBLP DOI BibTeX RDF |
Ada |
| 1 | Yvon Kermarrec, Laurent Pautet |
Integrating Page Replacement in a Distributed Shared Virtual Memory. |
ICDCS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Yvon Kermarrec, Laurent Pautet |
A Distributed Shared Virtual Memory for Ada 83 and Ada 9X Applications. |
TRI-Ada |
1993 |
DBLP DOI BibTeX RDF |
Ada |
| 1 | Yvon Kermarrec, Laurent Pautet |
Ada Communication Components for Distributed and Real Time Applications. |
TRI-Ada |
1992 |
DBLP DOI BibTeX RDF |
Ada, UNIX |
Displaying result #1 - #60 of 60 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")