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 | 178 | 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 | 114 | 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 | 95 | 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 | 54 | 2007 |
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 | 52 | 2005 |
Expressing and enforcing user-defined constraints of AADL models O Gilles, J Hugues 2010 15th IEEE International Conference on Engineering of Complex Computer …, 2010 | 48 | 2010 |
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 | 43 | 2009 |
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 | 41 | 2006 |
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 | 40 | 2010 |
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 | 39 | 2009 |
Building parallel, embedded, and real-time applications with Ada JW McCormick, F Singhoff, J Hugues Cambridge University Press, 2011 | 35 | 2011 |
Towards automatic middleware generation B Zalila, L Pautet, J Hugues 2008 11th IEEE International Symposium on Object and Component-Oriented Real …, 2008 | 33 | 2008 |
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 | 28 | 2017 |
Embedded systems: analysis and modeling with SysML, UML and AADL F Kordon, J Hugues, A Canals, A Dohet John Wiley & Sons, 2013 | 26 | 2013 |
The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software. E Conquet, M Perrotin, P Dissaux, T Tsiodras, J Hugues | 24 | 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 | 23 | 2008 |
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 | 23 | 2008 |
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 | 20 | 2015 |
Validating requirements at model-level O Gilles, J Hugues Proc. of the 4th workshop on Model-Oriented Engineering, 2008 | 20 | 2008 |
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, 1-1, 2009 | 19 | 2009 |