| 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 | 182 | 2008 |
| Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications G Lasnier, B Zalila, L Pautet, J Hugues Reliable Software Technologies–Ada-Europe 2009: 14th Ada-Europe …, 2009 | 123 | 2009 |
| PolyORB: a schizophrenic middleware to build versatile reliable distributed applications T Vergnaud, J Hugues, L Pautet, F Kordon Reliable Software Technologies-Ada-Europe 2004: 9th Ada-Europe International …, 2004 | 96 | 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 | 56 | 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 | 54 | 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 | 50 | 2010 |
| 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 | 44 | 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 | 42 | 2006 |
| 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 |
| Building parallel, embedded, and real-time applications with Ada JW McCormick, F Singhoff, J Hugues Cambridge University Press, 2011 | 37 | 2011 |
| Towards automatic middleware generation B Zalila, L Pautet, J Hugues 2008 11th IEEE International Symposium on Object and Component-Oriented Real …, 2008 | 37 | 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 | 30 | 2017 |
| Embedded systems: analysis and modeling with SysML, UML and AADL F Kordon, J Hugues, A Canals, A Dohet John Wiley & Sons, 2013 | 29 | 2013 |
| 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 | 26 | 2008 |
| 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 | 25 | 2019 |
| 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, 219-247, 2020 | 24 | 2020 |
| From Model Driven Engineering to Verification Driven Engineering. F Kordon, J Hugues, X Renault SEUS, 381-393, 2008 | 24 | 2008 |
| The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software. E Conquet, M Perrotin, P Dissaux, T Tsiodras, J Hugues | 23 | 2010 |
| From AADL model to LNT specification H Mkaouar, B Zalila, J Hugues, M Jmaiel Reliable Software Technologies–Ada-Europe 2015: 20th Ada-Europe …, 2015 | 21 | 2015 |
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéGeverifieerd e-mailadres voor lip6.fr
