Gilles Lasnier
- > Home > Persons > Gilles Lasnier
- > Home > Persons > Laurent Pautet
Publications
- 2011
- [c5]Gilles Lasnier, Laurent Pautet, Jérôme Hugues, Lutz Wrage:
An Implementation of the Behavior Annex in the AADL-Toolset Osate2. ICECCS 2011: 332-337 - [c4]Gilles Lasnier, Laurent Pautet, Jérôme Hugues:
A Model-Based Transformation Process to Validate and Implement High-Integrity Systems. ISORC 2011: 67-74 - 2010
- [c3]Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon:
Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems. ISORC 2010: 87-91 - [c2]Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon:
Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex. NOTERE 2010: 17-24 - 2009
- [c1]Gilles Lasnier, Bechir Zalila, Laurent Pautet, Jérôme Hugues:
Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications. Ada-Europe 2009: 237-250
last updated on 2019-01-09 01:45 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint