Jérôme Hugues

	2011
33		John W. McCormick, Frank Singhoff, Jérôme Hugues: Building Parallel, Embedded, and Real-Time Applications with Ada. Cambridge University Press 2011: I-XVII, 1-368
32		Gilles Lasnier, Laurent Pautet, Jérôme Hugues, Lutz Wrage: An Implementation of the Behavior Annex in the AADL-Toolset Osate2. ICECCS 2011: 332-337
31		Stéphane Rubini, Frank Singhoff, Jérôme Hugues: Modeling and Verification of Memory Architectures with AADL and REAL. ICECCS 2011: 338-343
30		Gilles Lasnier, Laurent Pautet, Jérôme Hugues: A Model-Based Transformation Process to Validate and Implement High-Integrity Systems. ISORC 2011: 67-74
	2010
29		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: 319-324
28		Olivier Gilles, Jérôme Hugues: Expressing and Enforcing User-Defined Constraints of AADL Models. ICECCS 2010: 337-342
27		Olivier Gilles, Jérôme Hugues: A MDE-Based Optimisation Process for Real-Time Systems. ISORC 2010: 50-57
26		Jorgen Hansson, Lutz Wrage, Peter H. Feiler, John Morley, Bruce A. Lewis, Jérôme Hugues: Architectural Modeling to Verify Security and Nonfunctional Behavior. IEEE Security & Privacy 8(1): 43-49 (2010)
	2009
25		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
24		Xavier Renault, Fabrice Kordon, Jérôme Hugues: Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets. IEEE International Workshop on Rapid System Prototyping 2009: 26-33
23		Xavier Renault, Fabrice Kordon, Jérôme Hugues: From AADL Architectural Models to Petri Nets: Checking Model Viability. ISORC 2009: 313-320
22		Olivier Gilles, Jérôme Hugues: Towards Model-Based Optimisations of Real-Time Systems, an Application with the AADL. RTCSA 2009: 129-134
	2008
21		Xavier Renault, Jérôme Hugues, Fabrice Kordon: Formal Modeling of a Generic Middleware to Ensure Invariant Properties. FMOODS 2008: 185-200
20		Jérôme Hugues, Maxime Perrotin, Thanassis Tsiodras: Using MDE for the Rapid Prototyping of Space Critical Systems. IEEE International Workshop on Rapid System Prototyping 2008: 10-16
19		Bechir Zalila, Laurent Pautet, Jérôme Hugues: Towards Automatic Middleware Generation. ISORC 2008: 221-228
18		Fabrice Kordon, Jérôme Hugues, Xavier Renault: From Model Driven Engineering to Verification Driven Engineering. SEUS 2008: 381-393
17		Olivier Gilles, Jérôme Hugues: Applying WCET Analysis at Architectural Level. WCET 2008
16		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)
15		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
14		Bechir Zalila, Irfan Hamid, Jérôme Hugues, Laurent Pautet: Generating Distributed High Integrity Applications from Their Architectural Description. Ada-Europe 2007: 155-167
13		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
12		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
11		Jérôme Hugues, Bechir Zalila, Laurent Pautet: Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems. ISORC 2007: 307-312
10		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
9		Jérôme Hugues, Laurent Pautet, Fabrice Kordon: A Framework for DRE middleware, an Application to DDS. ISORC 2006: 224-231
8		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
7		Bechir Zalila, Jérôme Hugues, Laurent Pautet: An improved IDL compiler for optimizing CORBA applications. SIGAda 2006: 21-28
	2005
6		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
5		Jérôme Hugues, Laurent Pautet, Fabrice Kordon: Revisiting COTS middleware for DRE systems. ISORC 2005: 72-79
4		Jérôme Hugues, Fabrice Kordon, Laurent Pautet, Thomas Vergnaud: A Factory to Design and Build Tailorable and Verifiable Middleware. Monterey Workshop 2005: 121-142
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-

Coauthor Index

1	Souheib Baarir	[3]
2	Khaled Barbaria	[13]
3	Julien Delange	[29]
4	Peter H. Feiler	[26]
5	Olivier Gilles	[17] [22] [27] [28]
6	Irfan Hamid	[10] [14] [15]
7	Jorgen Hansson	[26]
8	Fabrice Kordon	[1] [2] [3] [4] [5] [6] [9] [12] [16] [18] [21] [23] [24]
9	Gilles Lasnier	[25] [30] [32]
10	Bruce A. Lewis	[26]
11	John W. McCormick	[33]
12	John Morley	[26]
13	Elie Najm	[10] [15]
14	Dionisio de Niz	[29]
15	Laurent Pautet	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [14] [16] [19] [25] [29] [30] [32]
16	Maxime Perrotin	[20]
17	Xavier Renault	[18] [21] [23] [24]
18	Stéphane Rubini	[31]
19	Frank Singhoff	[31] [33]
20	Yann Thierry-Mieg	[3]
21	Thanassis Tsiodras	[20]
22	Thomas Vergnaud	[2] [3] [4] [6]
23	Lutz Wrage	[26] [32]
24	Bechir Zalila	[7] [8] [11] [12] [14] [15] [16] [19] [25]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page