Follow
Jerome Hugues
Jerome Hugues
Carnegie Mellon University -- Software Engineering Institute
Verified email at andrew.cmu.edu - Homepage
Title
Cited by
Cited by
Year
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), 1-25, 2008
1872008
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
1312009
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
962004
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
562007
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
552005
Expressing and enforcing user-defined constraints of AADL models
O Gilles, J Hugues
2010 15th IEEE International Conference on Engineering of Complex Computer …, 2010
512010
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
432006
The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software
A Perrotin, E Conquet, P Dissaux, T Tsiodras, J Hugues
ERTS2 2010, Embedded Real Time Software & Systems, 2010
422010
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
422009
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
402009
Embedded systems: analysis and modeling with SysML, UML and AADL
F Kordon, J Hugues, A Canals, A Dohet
John Wiley & Sons, 2013
392013
Building parallel, embedded, and real-time applications with Ada
JW McCormick, F Singhoff, J Hugues
Cambridge University Press, 2011
392011
Towards automatic middleware generation
B Zalila, L Pautet, J Hugues
2008 11th IEEE International Symposium on Object and Component-Oriented Real …, 2008
362008
ESROCOS: a robotic operating system for space and terrestrial applications
MM Arancón, G Montano, M Wirkus, K Hoeflinger, D Silveira, N Tsiogkas, ...
14th Symposium on Advanced Space Technologies in Robotics and Automation …, 2017
332017
A formal approach to AADL model-based software engineering
H Mkaouar, B Zalila, J Hugues, M Jmaiel
International Journal on Software Tools for Technology Transfer 22 (2), 219-247, 2020
322020
Trade-off analysis for SysML models using decision points and CSPs
P Leserf, P de Saqui-Sannes, J Hugues
Software and Systems Modeling 18, 3265-3281, 2019
312019
Code generation strategies from aadl architectural descriptions targeting the high integrity domain
J Delange, J Hugues, L Pautet, B Zalila
Embedded Real Time Software and Systems (ERTS2008), 2008
262008
The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software.
E Conquet, M Perrotin, P Dissaux, T Tsiodras, J Hugues
252010
From model driven engineering to verification driven engineering
F Kordon, J Hugues, X Renault
IFIP International Workshop on Software Technolgies for Embedded and …, 2008
252008
Combining SysML and AADL for the design, validation and implementation of critical systems
P de Saqui-Sannes, J Hugues
ERTS2 2012, 117, 2012
232012
The system can't perform the operation now. Try again later.
Articles 1–20