Gilles LASNIER
Titre
Citée par
Citée par
Année
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
972009
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
612013
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
142011
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
72010
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
72010
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
62011
Étude et Support du Standard AADLv2 dans Ocarina
G Lasnier
Master’s thesis, Université Pierre & Marie Curie, Paris VI, 2008
52008
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
1
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–8