Ana-Elena Rugina

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software.
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.
Tech. Sci. Informatiques, 2009

Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

2008
Software dependability modeling using an industry-standard architecture description language
CoRR, 2008

The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation.
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.
PhD thesis, 2007

An architecture-based dependability modeling framework using AADL
CoRR, 2007

2006
A System Dependability Modeling Framework Using AADL and GSPNs.
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.
Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005


  Loading...