A. Rugina

Dependability modeling and evaluation : from AADL to stochastic Petri nets

Ana-Elena Rugina, A. Rugina, 2007 .

Synoptic : a DSML for On-Board Real-Time Software Design

J. Talpin, M. Pantel, M. Filali, 2010 .

Gene-Auto: Automatic Software Code Generation for Real-Time Embedded Systems

X. Olive, A. E. Rugina, D. Thomas, 2008 .

An architecture-based dependability modeling framework using AADL

K. Kanoun, M. Kaâniche, A. Rugina, 2007, ICSE 2007.

The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation

Karama Kanoun, Mohamed Kaâniche, Ana-Elena Rugina, 2008, 2008 Seventh European Dependable Computing Conference.

Software dependability modeling using an industry-standard architecture description language pdf

Peter H. Feiler, Karama Kanoun, Mohamed Kaâniche, 2008, ArXiv.

A System Dependability Modeling Framework Using AADL and GSPNs

Karama Kanoun, Mohamed Kaâniche, Ana-Elena Rugina, 2006, WADS.