Benchmarking the Dependability of Windows and Linux Using PostMark Workloads. - Karama Kanoun; Yves Crouzet; Ali Kalakech 001; Ana-Elena Rugina; Philippe Rumeau (ISSRE, 2005)

A System Dependability Modeling Framework Using AADL and GSPNs. - Ana-Elena Rugina; Karama Kanoun; Mohamed Kaâniche (WADS, 2006)

An architecture-based dependability modeling framework using AADL - Ana-Elena Rugina; Karama Kanoun; Mohamed Kaâniche (CoRR, 2007)

Modélisation et évaluation de la sûreté de fonctionnement - De AADL vers les réseaux de Pétri stochastiques. - Ana-Elena Rugina (2007)

The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation. - Ana-Elena Rugina; Karama Kanoun; Mohamed Kaâniche (EDCC, 2008)

Software dependability modeling using an industry-standard architecture description language - Ana-Elena Rugina; Peter H. Feiler; Karama Kanoun; Mohamed Kaâniche (CoRR, 2008)

Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software - Loïc Besnard; Thierry Gautier; Julien Ouy; Jean-Pierre Talpin; Jean-Paul Bodeveix; Alexandre Cortier; Marc Pantel; Martin Strecker; Gérald Garcia; Ana-Elena Rugina; Jérémy Buisson; Fabien Dagnat (FMA, 2009)

Modélisation de la sreté de fonctionnement basée sur le langage AADL et les RdPSG. - Ana-Elena Rugina; Karama Kanoun; Mohamed Kaâniche (Tech. Sci. Informatiques, 2009)

Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software. - Alexandre Cortier; Loïc Besnard; Jean-Paul Bodeveix; Jérémy Buisson; Fabien Dagnat; Mamoun Filali; Gérald Garcia; Julien Ouy; Marc Pantel; Ana-Elena Rugina; Martin Strecker; Jean-Pierre Talpin (Synthesis of Embedded Software, 2010)