Jerome Hugues
Jerome Hugues
ISAE -- Institut Supérieur de l'Aéronautique et de l'Espace
Adresse e-mail validée de isae.fr - Page d'accueil
TitreCitée parAnnée
From the prototype to the final embedded system using the Ocarina AADL tool suite
J Hugues, B Zalila, L Pautet, F Kordon
ACM Transactions on Embedded Computing Systems (TECS) 7 (4), 42, 2008
1532008
Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications
G Lasnier, B Zalila, L Pautet, J Hugues
International Conference on Reliable Software Technologies, 237-250, 2009
892009
PolyORB: a schizophrenic middleware to build versatile reliable distributed applications
T Vergnaud, J Hugues, L Pautet, F Kordon
International Conference on Reliable Software Technologies, 106-119, 2004
832004
Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina.
J Hugues, B Zalila, L Pautet, F Kordon
IEEE International Workshop on Rapid System Prototyping 7, 106, 2007
502007
On the formal verification of middleware behavioral properties
J Hugues, T Vergnaud, L Pautet, Y Thierry-Mieg, S Baarir, F Kordon
Electronic Notes in Theoretical Computer Science 133, 139-157, 2005
472005
Expressing and enforcing user-defined constraints of AADL models
O Gilles, J Hugues
2010 15th IEEE International Conference on Engineering of Complex Computer …, 2010
412010
Ocarina: a Compiler for the AADL
T Vergnaud, B Zalila, J Hugues
Rap. tech., École Nationale Supérieure des Télécommunications, Paris 23, 2006
372006
From AADL architectural models to Petri Nets: Checking model viability
X Renault, F Kordon, J Hugues
2009 IEEE International Symposium on Object/Component/Service-Oriented Real …, 2009
342009
Adapting models to model checkers, a case study: Analysing AADL using Time or Colored Petri Nets
X Renault, F Kordon, J Hugues
2009 IEEE/IFIP International Symposium on Rapid System Prototyping, 26-33, 2009
332009
Towards automatic middleware generation
B Zalila, L Pautet, J Hugues
2008 11th IEEE International Symposium on Object and Component-Oriented Real …, 2008
292008
The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software
M Perrotin, E Conquet, P Dissaux, T Tsiodras, J Hugues
Proceedings of the 5 th International Congress Embedded Real-Time Software …, 2010
282010
Building parallel, embedded, and real-time applications with Ada
JW McCormick, F Singhoff, J Hugues
Cambridge University Press, 2011
242011
Code generation strategies from aadl architectural descriptions targeting the high integrity domain
J Delange, J Hugues, L Pautet, B Zalila
4th European Congress ERTS, Toulouse, 2008
212008
From model driven engineering to verification driven engineering
F Kordon, J Hugues, X Renault
IFIP International Workshop on Software Technolgies for Embedded and …, 2008
192008
Validating requirements at model-level
O Gilles, J Hugues
Ingénierie Dirigée par les modèles (IDM’08), 35-49, 2008
192008
Model-based verification of security and non-functional behavior using AADL
J Hansson, B Lewis, J Hugues, L Wrage, P Feiler, J Morley
IEEE Security & Privacy, 2009
172009
From AADL model to LNT specification
H Mkaouar, B Zalila, J Hugues, M Jmaiel
Ada-Europe International Conference on Reliable Software Technologies, 146-161, 2015
152015
The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software.
E Conquet, M Perrotin, P Dissaux, T Tsiodras, J Hugues
152010
Ada 2005 code patterns for metamodel-based code generation
JA Pulido, JA de la Puente, J Hugues, M Bordin, T Vardanega
ACM SIGAda Ada Letters 27 (2), 53-58, 2007
152007
Contributions to middleware architectures to prototype distribution infrastructures
J Hugues, L Pautet, F Kordon
14th IEEE International Workshop on Rapid Systems Prototyping, 2003 …, 2003
152003
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20