2008 |
18 | EE | Xavier Renault,
Jérôme Hugues,
Fabrice Kordon:
Formal Modeling of a Generic Middleware to Ensure Invariant Properties.
FMOODS 2008: 185-200 |
17 | EE | Bechir Zalila,
Laurent Pautet,
Jérôme Hugues:
Towards Automatic Middleware Generation.
ISORC 2008: 221-228 |
16 | EE | Fabrice Kordon,
Jérôme Hugues,
Xavier Renault:
From Model Driven Engineering to Verification Driven Engineering.
SEUS 2008: 381-393 |
15 | EE | Olivier Gilles,
Jérôme Hugues:
Applying WCET Analysis at Architectural Level.
WCET 2008 |
14 | EE | 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) |
2007 |
13 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Jérôme Hugues,
Laurent Pautet,
Fabrice Kordon:
A Framework for DRE middleware, an Application to DDS.
ISORC 2006: 224-231 |
7 | EE | 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 | EE | Bechir Zalila,
Jérôme Hugues,
Laurent Pautet:
An improved IDL compiler for optimizing CORBA applications.
SIGAda 2006: 21-28 |
2005 |
5 | EE | 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 | EE | Jérôme Hugues,
Laurent Pautet,
Fabrice Kordon:
Revisiting COTS middleware for DRE systems.
ISORC 2005: 72-79 |
3 | EE | 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 | EE | 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 | EE | 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- |