ask others

Gilles Lasnier

◀ ▶ joint publications with Laurent Pautet

> Home > Persons > Gilles Lasnier
> Home > Persons > Laurent Pautet

Publications

2011
[c5]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/iceccs/LasnierPHW11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iceccs/LasnierPHW11
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/isorc/LasnierPH11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/isorc/LasnierPH11
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]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/isorc/LasnierRPK10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/isorc/LasnierRPK10
Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon:
Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems. ISORC 2010: 87-91
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/notere/LasnierRPK10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/notere/LasnierRPK10
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/adaEurope/LasnierZPH09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/adaEurope/LasnierZPH09
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

maintained by

at