BibSonomy :: author  ::

bookmarks

publications

(26)

• Software dependability modeling using an industry-standard architecture description language
  Ana-Elena Rugina and Peter H. Feiler and Karama Kanoun and Mohamed Kaaniche CoRR abs/0809.4109 (2008)
  to dblp by dblp on 2008-10-02 00:00:00
  | URL | BibTeX  
• The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation
  Ana-Elena Rugina and Karama Kanoun and Mohamed Kaaniche CoRR abs/0809.4108 (2008)
  to dblp by dblp on 2008-10-02 00:00:00
  | URL | BibTeX  
• Compiler-Enhanced Incremental Checkpointing.
  Greg Bronevetsky and Daniel Marques and Keshav Pingali and Radu Rugina LCPC 1-15 (2007)
  to dblp by dblp on 2008-08-19 00:00:00
  | URL | BibTeX  
• Compiler-enhanced incremental checkpointing for OpenMP applications.
  Greg Bronevetsky and Daniel Marques and Keshav Pingali and Radu Rugina and Sally A. McKee PPOPP 275-276 (2008)
  to dblp by dblp on 2008-04-04 00:00:00
  | URL | BibTeX  
• Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning.
  Sigmund Cherem and Radu Rugina VMCAI 234-250 (2007)
  to dblp by dblp on 2008-01-08 00:00:00
  | URL | BibTeX  
• Demand-driven alias analysis for C.
  Xin Zheng and Radu Rugina POPL 197-208 (2008)
  to dblp by dblp on 2008-01-08 00:00:00
  | URL | BibTeX  
• An architecture-based dependability modeling framework using AADL
  Ana-Elena Rugina and Karama Kanoun and Mohamed Kaâniche CoRR abs/0704.0865 (2007)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• A System Dependability Modeling Framework Using AADL and GSPNs.
  Ana-Elena Rugina and Karama Kanoun and Mohamed Kaâniche WADS 14-38 (2006)
  to dblp by dblp on 2007-09-10 00:00:00
  | URL | BibTeX  
• A Practical Escape and Effect Analysis for Building Lightweight Method Summaries.
  Sigmund Cherem and Radu Rugina CC 172-186 (2007)
  to dblp by dblp on 2007-07-31 00:00:00
  | URL | BibTeX  
• Practical memory leak detection using guarded value-flow analysis.
  Sigmund Cherem and Lonnie Princehouse and Radu Rugina PLDI 480-491 (2007)
  to dblp by dblp on 2007-06-13 00:00:00
  | URL | BibTeX