| 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, 237-250, 2009 | 128 | 2009 |
| Distributed Simulation of Heterogeneous and Real-time Systems G Lasnier, J Cardoso, P Siron, C Pagetti, P Derler Distributed Simulation and Real Time Applications (DS-RT), 2013 IEEE/ACM …, 2013 | 75 | 2013 |
| An Implementation of the Behavior Annex in the AADL-toolset Osate2 G Lasnier, L Pautet, J Hugues, L Wrage Engineering of Complex Computer Systems (ICECCS), 2011 16th IEEE …, 2011 | 21 | 2011 |
| Architectural and behavioral modeling with aadl for fault tolerant embedded systems G Lasnier, T Robert, L Pautet, F Kordon Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC …, 2010 | 9 | 2010 |
| Behavioral modular description of fault tolerant distributed systems with AADL Behavioral Annex G Lasnier, T Robert, L Pautet, F Kordon New Technologies of Distributed Systems (NOTERE), 2010 10th Annual …, 2010 | 7 | 2010 |
| A Model-Based Transformation Process to Validate and Implement High-Integrity Systems G Lasnier, L Pautet, J Hugues Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC …, 2011 | 6 | 2011 |
| Étude et Support du Standard AADLv2 dans Ocarina G Lasnier Master’s thesis, Université Pierre & Marie Curie, Paris VI, 2008 | 5 | 2008 |
| OCARINA: un Environnement pour l’Analyse de Modèle AADL et la Génération Automatique d’Applications Temps Réel Réparties Embarquées G Lasnier, B Zalila, L Pautet, J Hugues | 2 | |
