The AltaRica Formalism for Describing Concurrent Systems, Fundam. Inform, p.??? ,
New Platform Concept -Modélisation AltaRica d'un modèle PAM et Utilisation de Motifs d'Architecture ,
The Architecture Analysis & Design Language (AADL): An Introduction ,
Acme, CASCON First Decade High Impact Papers on, CASCON '10, p.pages ??? ,
DOI : 10.1145/1925805.1925814
Motifs formels d'architecture de systèmes pour la sûreté de fonctionnement ,
An Event-Based Architecture Deenition Language, IEEE Trans. Software Eng, p.??? ,
Specifying distributed software architectures, Proceedings of the th European Software Engineering Conference, p.pages ???? ,
DOI : 10.1007/3-540-60406-5_12
Dynamic Structure in Software Architectures, Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering ,
AltaRica : Contribution à l'uniication des méthodes formelles et de la sûreté de fonctionnement ,
Modélisation et évaluation de la sûreté de Fonctionnement -De AADL vers les réseaux de Petri Stochastiques ,
Allocation sûre dans les systèmes aéronautiques: Modélisation, Vériication et Génération ,
Design for Safety, Towards System Safety: Proc. th Safety-Critical Systems Symposium, p.pages ??? ,
DOI : 10.1007/978-1-4471-0823-8_1
-mail address: firstname.lastname@onera ,