30 citations · 63 across the 5 of their papers we have counts for
Showing cs.PFShow all
2 papers · 1 filter
cs.PF2012★ 12 cited
Modeling the resilience of large and evolving systems
Mohamed Kaaniche, Paolo Lollini, Andrea Bondavalli +1
This paper summarizes the state of knowledge and ongoing research on methods and techniques for resilience evaluation, taking into account the resilience-scaling challenges and pro…
cs.PF2007★ 30 cited
An architecture-based dependability modeling framework using AADL
Ana-Elena Rugina, Karama Kanoun, Mohamed Kaaniche
For efficiency reasons, the software system designers' will is to use an integrated set of methods and tools to describe specifications and designs, and also to perform analyses su…