| 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 | 161 | 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 | 103 | 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 | 90 | 2004 |
| The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software. E Conquet, M Perrotin, P Dissaux, T Tsiodras, J Hugues | 58 | 2010 |
| 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 | 51 | 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 | 49 | 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 | 41 | 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 | 38 | 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 | 37 | 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 | 36 | 2009 |
| Building parallel, embedded, and real-time applications with Ada JW McCormick, F Singhoff, J Hugues Cambridge University Press, 2011 | 30 | 2011 |
| Towards automatic middleware generation B Zalila, L Pautet, J Hugues 2008 11th IEEE International Symposium on Object and Component-Oriented Real …, 2008 | 30 | 2008 |
| From model driven engineering to verification driven engineering F Kordon, J Hugues, X Renault IFIP International Workshop on Software Technolgies for Embedded and …, 2008 | 21 | 2008 |
| Code generation strategies from aadl architectural descriptions targeting the high integrity domain J Delange, J Hugues, L Pautet, B Zalila | 21 | 2008 |
| ESROCOS: a robotic operating system for space and terrestrial applications MM Arancón, G Montano, M Wirkus, K Hoeflinger, D Silveira, N Tsiogkas, ... | 19 | 2017 |
| 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 | 19 | 2009 |
| Validating requirements at model-level O Gilles, J Hugues Ingénierie Dirigée par les modèles (IDM’08), 35-49, 2008 | 19 | 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 | 18 | 2015 |
| Embedded systems: analysis and modeling with SysML, UML and AADL F Kordon, J Hugues, A Canals, A Dohet John Wiley & Sons, 2013 | 18 | 2013 |
| Contributions to middleware architectures to prototype distribution infrastructures J Hugues, L Pautet, F Kordon 14th IEEE International Workshop on Rapid Systems Prototyping, 2003 …, 2003 | 17 | 2003 |
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéAdresse e-mail validée de lip6.fr
