Gilles Lasnier

According to our database, Gilles Lasnier authored at least 7 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Distributed Simulation of Heterogeneous and Real-Time Systems.

Gilles Lasnier, Janette Cardoso, Pierre Siron, Claire Pagetti, Patricia Derler

Proceedings of the 17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2013

2012

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. (An integrated approach to validate and generate high-integrity systems by incremental refinement of architectural models).

Gilles Lasnier

PhD thesis, 2012

2011

A Model-Based Transformation Process to Validate and Implement High-Integrity Systems.

Gilles Lasnier, Laurent Pautet, Jérôme Hugues

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

An Implementation of the Behavior Annex in the AADL-Toolset Osate2.

Gilles Lasnier, Laurent Pautet, Jérôme Hugues, Lutz Wrage

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2010

Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex.

Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon

Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010

Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems.

Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

2009

Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications.

Gilles Lasnier, Bechir Zalila, Laurent Pautet, Jérôme Hugues

Proceedings of the Reliable Software Technologies, 2009