Ana-Elena Rugina

According to our database, Ana-Elena Rugina authored at least 9 papers between 2005 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

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

Proceedings of the Synthesis of Embedded Software, 2010

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

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

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

2008

Software dependability modeling using an industry-standard architecture description language

Ana-Elena Rugina, Peter H. Feiler, Karama Kanoun, Mohamed Kaâniche

CoRR, 2008

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

Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche

Proceedings of the Seventh European Dependable Computing Conference, 2008

2007

Modélisation et évaluation de la sûreté de fonctionnement - De AADL vers les réseaux de Pétri stochastiques.

Ana-Elena Rugina

PhD thesis, 2007

An architecture-based dependability modeling framework using AADL

Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche

CoRR, 2007

2006

A System Dependability Modeling Framework Using AADL and GSPNs.

Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche

Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

2005

Benchmarking the Dependability of Windows and Linux Using PostMark Workloads.

Karama Kanoun, Yves Crouzet, Ali Kalakech, Ana-Elena Rugina, Philippe Rumeau

Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005