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 | 189 | 2008 |
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 | 130 | 2009 |
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 | 97 | 2004 |
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 | 57 | 2007 |
Expressing and enforcing user-defined constraints of AADL models O Gilles, J Hugues 2010 15th IEEE International Conference on Engineering of Complex Computer …, 2010 | 56 | 2010 |
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 | 55 | 2005 |
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 | 49 | 2010 |
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 | 43 | 2006 |
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 | 40 | 2009 |
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 | 40 | 2009 |
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 | 39 | 2019 |
Embedded systems: analysis and modeling with SysML, UML and AADL F Kordon, J Hugues, A Canals, A Dohet John Wiley & Sons, 2013 | 39 | 2013 |
Building parallel, embedded, and real-time applications with Ada JW McCormick, F Singhoff, J Hugues Cambridge University Press, 2011 | 39 | 2011 |
TwinOps-DevOps meets model-based engineering and digital twins for the engineering of CPS J Hugues, A Hristosov, JJ Hudak, J Yankel Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020 | 36 | 2020 |
Towards automatic middleware generation B Zalila, L Pautet, J Hugues 2008 11th IEEE International Symposium on Object and Component-Oriented Real …, 2008 | 36 | 2008 |
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 | 33 | 2020 |
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 | 33 | 2017 |
The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software. E Conquet, M Perrotin, P Dissaux, T Tsiodras, J Hugues | 25 | 2010 |
From model driven engineering to verification driven engineering F Kordon, J Hugues, X Renault IFIP International Workshop on Software Technolgies for Embedded and …, 2008 | 25 | 2008 |
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 | 25 | 2008 |