Publications

Journal articles and conference proceedings

2008-2013 bibtex

• Environnement de coopération de simulation pour la conception de systèmes cyber-physiques journal Lasnier, G. et Cardoso, J. et Siron, P. et Pagetti. Dans Journal Européen des Systèmes Automatisés - Proceedings of Modélisation des Systèmes Réactifs (MSR 2013), 47(1-2-3):13-27, Rennes, France, 2013.
  conference site preprint (pdf) bib
• Distributed Simulation of Heterogeneous and Real-time systems conference Lasnier, G. and Cardoso, J. and Siron, P. and Pagetti, C. and Derler, P. In Proceedings of IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications (DS-RT), Delft, Netherlands, 2013.
  conference site preprint (pdf) bib
• An Implementation of the Behavior Annex in the AADL-Toolset Osate2 conference Lasnier, G. and Pautet, L. and Hugues, J. and Wrage, L. In Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), Las Vegas, USA, 2011.
  conference site preprint (pdf) bib
• A Model-Based Transformation Process to Validate and Implement High-Integrity Systems conference Lasnier, G. and Robert, T. and Pautet, L. and Kordon, F. In Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), Newport Beach, CA, USA, 2011.
  publisher site preprint (pdf) bib
• Behavioral modular description of fault tolerant distributed systems with AADL Behavioral Annex conference Lasnier, G. and Robert, T. and Pautet, L. and Kordon, F. In Proceedings of the 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE), Tozeur, Tunisia, 2010.
  publisher site preprint (pdf) bib
• Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems conference Lasnier, G. and Robert, T. and Pautet, L. and Kordon, F. In Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), Carmona, Sevilla, Spain, 2010.
  publisher site preprint (pdf) bib
• summer school Ocarina : Un Environnement pour l'analyse de Modèles AADL et la Génération Automatique d'Applications Temps Réel Réparties Embarquées Lasnier, Gilles et Zalila, Bechir et Pautet, Laurent et Hugues, Jérome. Dans Proceedings of Ecole d'Eté Temps Réel, Paris, France, 2009.
  publisher site conference site bib
• conference Ocarina: An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications Lasnier, Gilles and Zalila, Bechir and Pautet, Laurent and Hugues, Jérome. In Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, 2009.
  publisher site conference site bib

Presentations, seminars and talks

2008-2013 bibtex

• presentation An Implementation of the AADL-Behavior Annex front-end E. Borde, G. Lasnier, L. Pautet, J. Hugues. In AADL Meeting - AADL User day, Hollywood, Florida, USA, january 2011.
  pdf version
• presentation Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex G. Lasnier, T. Robert, L. Pautet, and F. Kordon. In 10th International Conference on New Technologies of Distributed Systems - NOTERE'2010, Tozeur, Tunisie, june 2010.
  pdf version
• presentation Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems G. Lasnier, T. Robert, L. Pautet, and F. Kordon. In 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), Carmona, Spain, may 2010.
  pdf version
• presentation Ocarina : Un Environnement pour l'analyse de Modèles AADL et la Génération Automatique d'Applications Temps Réel Réparties Embarquées Lasnier, Gilles et Zalila, Bechir et Pautet, Laurent et Hugues, Jérome. Dans Ecole d'Eté Temps Réel, Paris, France, september 2009.
  pdf version
• presentation Ocarina: An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications Lasnier, Gilles and Zalila, Bechir and Pautet, Laurent and Hugues, Jérome. In 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, june 2009.
  pdf version

Diplomas

• ph.d. thesis Une Approche Intégrée pour la Validation et la Génération de Systèmes Critiques par Raffinement Incrémental de Modèles Architecturaux. Lasnier, Gilles Ph.D. thesis, TELECOM ParisTech, Paris, aout 2012.
  pdf version bib
• master thesis Étude et Support du Standard AADLv2 dans Ocarina. Lasnier, Gilles Master's thesis, Université Pierre & Marie Curie Paris VI - TELECOM ParisTech, Paris, september 2008.
  pdf version bib