 | 2009 |
| 20 |  | 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 |
| 2008 |
| 19 |  | Xavier Renault,
Jérôme Hugues,
Fabrice Kordon:
Formal Modeling of a Generic Middleware to Ensure Invariant Properties.
FMOODS 2008: 185-200 |
| 18 |  | Bechir Zalila,
Laurent Pautet,
Jérôme Hugues:
Towards Automatic Middleware Generation.
ISORC 2008: 221-228 |
| 17 |  | Fabrice Kordon,
Jérôme Hugues,
Xavier Renault:
From Model Driven Engineering to Verification Driven Engineering.
SEUS 2008: 381-393 |
| 16 |  | Olivier Gilles,
Jérôme Hugues:
Applying WCET Analysis at Architectural Level.
WCET 2008 |
| 15 |  | 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): (2008) |
| 14 |  | Irfan Hamid,
Bechir Zalila,
Elie Najm,
Jérôme Hugues:
Automatic framework generation for hard real-time applications.
ISSE 4(1): 107-122 (2008) |
| 2007 |
| 13 |  | Bechir Zalila,
Irfan Hamid,
Jérôme Hugues,
Laurent Pautet:
Generating Distributed High Integrity Applications from Their Architectural Description.
Ada-Europe 2007: 155-167 |
| 12 |  | 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 |
| 11 |  | 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 |
| 10 |  | Jérôme Hugues,
Bechir Zalila,
Laurent Pautet:
Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems.
ISORC 2007: 307-312 |
| 9 |  | Irfan Hamid,
Elie Najm,
Jérôme Hugues:
A Generative Approach to Building a Framework for Hard Real-Time Applications.
SEW 2007: 269-278 |
| 2006 |
| 8 |  | Jérôme Hugues,
Laurent Pautet,
Fabrice Kordon:
A Framework for DRE middleware, an Application to DDS.
ISORC 2006: 224-231 |
| 7 |  | 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 |
| 6 |  | Bechir Zalila,
Jérôme Hugues,
Laurent Pautet:
An improved IDL compiler for optimizing CORBA applications.
SIGAda 2006: 21-28 |
| 2005 |
| 5 |  | 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 |
| 4 |  | Jérôme Hugues,
Laurent Pautet,
Fabrice Kordon:
Revisiting COTS middleware for DRE systems.
ISORC 2005: 72-79 |
| 3 |  | 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) |
| 2004 |
| 2 |  | 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 |
| 2003 |
| 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: 124- |