Laurent Pautet

Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013

Deterministic implementation of periodic-delayed communications and experimentation in AADL.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

Formalization of design patterns for security and dependability.

[BibT_eX]

[DOI]

Cuauhtemoc Castellanos

Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, 2013

2012

Flex-eWare: a flexible model driven solution for designing and implementing embedded distributed systems.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2012

Design, implementation and verification of MILS systems.

[BibT_eX]

[DOI]

Julien Delange

Softw. Pract. Exp., 2012

Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Model driven resource usage simulation for critical embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

A Model-Based Transformation Process to Validate and Implement High-Integrity Systems.

[BibT_eX]

[DOI]

Gilles Lasnier

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

An Efficient Modeling and Execution Framework for Complex Systems Development.

[BibT_eX]

[DOI]

Jean-François Rolland

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

An Implementation of the Behavior Annex in the AADL-Toolset Osate2.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2010

Formal methods integration in software engineering.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2010

Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex.

[BibT_eX]

[DOI]

Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010

A new modeling approach for IMA platform early validation.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2010

Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

From MARTE to AADL with a Seamless Process.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

2009

Model driven code generation for critical and adaptative embedded systems.

[BibT_eX]

[DOI]

SIGBED Rev., 2009

Validate, simulate, and implement ARINC653 systems using the AADL.

[BibT_eX]

[DOI]

Proceedings of the 2009 Annual ACM SIGAda International Conference on Ada, 2009

An Emerging Need for a New Software Engineering Method.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Mode-based reconfiguration of critical software component architectures.

[BibT_eX]

[DOI]

Etienne Borde

Grégory Haïk

Proceedings of the Design, Automation and Test in Europe, 2009

Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2009

Validating Safety and Security Requirements for Partitioned Architectures.

[BibT_eX]

[DOI]

Julien Delange

Peter H. Feiler

Proceedings of the Reliable Software Technologies, 2009

2008

From the prototype to the final embedded system using the Ocarina AADL tool suite.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2008

Foundations of a new software engineering method for real-time systems.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2008

Towards Automatic Middleware Generation.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

A Concrete Syntax for UML 2.1 Action Semantics Using +CAL.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

2007

UML&AADL '2007 grand challenges.

[BibT_eX]

[DOI]

Sébastien Gérard

Peter H. Feiler

Jean-François Rolland

SIGBED Rev., 2007

MobileJMS: une solution globale d'adaptation des applications nomades.

[BibT_eX]

[DOI]

Mejdi Kaddour

Ann. des Télécommunications, 2007

Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Workshop on Rapid System Prototyping (RSP 2007), 2007

Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems.

[BibT_eX]

[DOI]

Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

A Co-Modeling Methodology Designed for RT Architecture Models Integration.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Generating Distributed High Integrity Applications from Their Architectural Description.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2007

Design and Performance of a Generic Consensus Component for Critical Distributed Applications.

[BibT_eX]

[DOI]

Khaled Barbaria

Proceedings of the Reliable Software Technologies, 2007

2006

An improved IDL compiler for optimizing CORBA applications.

[BibT_eX]

[DOI]

Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, 2006

Schizophrenic middleware support for fault tolerance.

[BibT_eX]

[DOI]

Khaled Barbaria

Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, 2006

From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain.

[BibT_eX]

[DOI]

Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006

A Framework for DRE middleware, an Application to DDS.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

2005

Toward Nex-Generation Middleware?

[BibT_eX]

[DOI]

IEEE Distributed Syst. Online, 2005

Rapid Development Methodology for Customized Middleware.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 2005

A Factory to Design and Build Tailorable and Verifiable Middleware.

[BibT_eX]

[DOI]

Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

Revisiting COTS middleware for DRE systems.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Using the AADL to Describe Distributed Applications from Middleware to Software Components.

[BibT_eX]

[DOI]

Thomas Vergnaud

Proceedings of the Reliable Software Technology, 2005

2004

Des vertus de la schizophrénie pour le prototypage d'applications à composants interopérables.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2004

On the Formal Verification of Middleware Behavioral Properties.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

Cooperative approach for mobile application adaptability based on MobileJMS.

[BibT_eX]

[DOI]

Mejdi Kaddour

Proceedings of the Actes des 1ères journées francophones Mobilité et Ubiquité 2004, 2004

A Middleware for Supporting Disconnections and Multi-Network Access in Mobile Environments.

[BibT_eX]

[DOI]

Mejdi Kaddour

Proceedings of the 2nd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2004 Workshops), 2004

PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2004

2003

Contributions to middleware architectures to prototype distribution infrastructures.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

2001

From Functional to Architectural Analysis of a Middleware Supporting Interoperability across Heterogeneous Distribution Models.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Symposium on Distributed Objects and Applications, 2001

Building Modern Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

2000

GLADE: A Framework for Building Large Object-Oriented Real-Time Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

1999

What future for the distributed systems annex?.

[BibT_eX]

[DOI]

Proceedings of the Proceedings ACM SIGAda Annual International Conference, 1999

CORBA and CORBA services for DSA.

[BibT_eX]

[DOI]

Proceedings of the Proceedings ACM SIGAda Annual International Conference, 1999

Cronos: A Separate Compilation Toolset for Modular Esterel Applications.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

CORBA & DSA: Divorce or Marriage?

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 1999

1998

Building Fault Tolerant Distributed Systems Using IP Multicast.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, 1998

Inside the Distributed Systems Annex.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 1998

1997

Transparent Filtering of Streams in GLADE.

[BibT_eX]

[DOI]

Thomas Wolf

Proceedings of the Conference, The annual meeting of the Ada programming world, 1997

Debugging Distributed Applications with Replay Capabilities.

[BibT_eX]

[DOI]

Daniel Neri

Proceedings of the Conference, The annual meeting of the Ada programming world, 1997

Communication and distribution tools for embedded distributed applications: a case study with Ada 95 and its distributed systems annex.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

The SPIF Project.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 1997

1996

GNATDIST: A Configuration Language for Distributed Ada 95 Applications.

[BibT_eX]

[DOI]

Laurent Nana

Proceedings of the annual meeting of the Ada programming world, 1996

Providing Fault-Tolerant Services to Distributed Ada 95 Applications.

[BibT_eX]

[DOI]

Laurent Nana

Proceedings of the annual meeting of the Ada programming world, 1996

1995

GARLIC: generic Ada reusable library for interpartition communication.

[BibT_eX]

[DOI]

Proceedings of the conference on TRI-Ada 1995: Ada's role in global markets: solutions for a changing complex world, 1995

Implementing recovery blocks in GNAT: a powerful fault tolerance mechanism and a transaction support.

[BibT_eX]

[DOI]

Laurent Nana

Proceedings of the conference on TRI-Ada 1995: Ada's role in global markets: solutions for a changing complex world, 1995

Programming Distributed Systems with Both Ada 95 and PVM.

[BibT_eX]

[DOI]

Proceedings of the Ada in Europe, Second International Eurospace, 1995

PARIS - Partitioned Ada for Remotely Invoked Services.

[BibT_eX]

[DOI]

Proceedings of the Ada in Europe, Second International Eurospace, 1995

1994

Ada-Linda: A Powerful Paradigm for Programming Distributed Ada Applications.

[BibT_eX]

[DOI]

Proceedings of the 1994 Conference on TRI-Ada 1994, 1994

Integrating Page Replacement in a Distributed Shared Virtual Memory.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Distributed Computing Systems, 1994

Ada Reusable Software Components for Teaching Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Education, 1994

1993

A Distributed Shared Virtual Memory for Ada 83 and Ada 9X Applications.

[BibT_eX]

[DOI]

Proceedings of the Conference Proceedings on TRI-Ada 1993, 1993

1992

Ada Communication Components for Distributed and Real Time Applications.

[BibT_eX]

[DOI]