| 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), 42, 2008 | 146 | 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 | 90 | 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 | 84 | 2004 |
| Rapid prototyping of distributed real-time embedded systems using the aadl and ocarina J Hugues, B Zalila, L Pautet, F Kordon null, 106-112, 2007 | 52 | 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 | 47 | 2005 |
| Expressing and enforcing user-defined constraints of AADL models O Gilles, J Hugues Engineering of Complex Computer Systems (ICECCS), 2010 15th IEEE …, 2010 | 41 | 2010 |
| The TASTE Toolset: turning human designed heterogeneous systems into computer built homogeneous software. E Conquet, M Perrotin, P Dissaux, T Tsiodras, J Hugues | 40 | 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 | 37 | 2006 |
| Adapting models to model checkers, a case study: Analysing AADL using Time or Colored Petri Nets X Renault, F Kordon, J Hugues Rapid System Prototyping, 2009. RSP'09. IEEE/IFIP International Symposium on …, 2009 | 32 | 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 | 31 | 2009 |
| Towards automatic middleware generation B Zalila, L Pautet, J Hugues 2008 11th IEEE International Symposium on Object and Component-Oriented Real …, 2008 | 31 | 2008 |
| Building parallel, embedded, and real-time applications with Ada JW McCormick, F Singhoff, J Hugues Cambridge University Press, 2011 | 23 | 2011 |
| 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 | 22 | 2008 |
| Validating requirements at model-level O Gilles, J Hugues Ingénierie Dirigée par les modèles (IDM’08), 35-49, 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, 2009 | 18 | 2009 |
| From model driven engineering to verification driven engineering F Kordon, J Hugues, X Renault IFIP International Workshop on Software Technolgies for Embedded and …, 2008 | 18 | 2008 |
| Contributions to middleware architectures to prototype distribution infrastructures J Hugues, L Pautet, F Kordon Rapid Systems Prototyping, 2003. Proceedings. 14th IEEE International …, 2003 | 18 | 2003 |
| Applying WCET analysis at architectural level O Gilles, J Hugues OASIcs-OpenAccess Series in Informatics 8, 2008 | 14 | 2008 |
| Ada 2005 code patterns for metamodel-based code generation JA Pulido, JA de la Puente, J Hugues, M Bordin, T Vardanega ACM SIGAda Ada Letters 27 (2), 53-58, 2007 | 14 | 2007 |
| 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 | 13 | 2015 |
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéAdresse e-mail validée de lip6.fr