Evaluation of Resilience in Self-Adaptive Systems Using Probabilistic Model-Checking



7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012) 2012

Cited by

Year 2013 : 4 citations

 EM Fredericks, AJ Ramirez, BHC Cheng, Towards run-time testing of dynamic adaptive systems, Proceedings of the 8th …, 2013

 J Cámara, R de Lemos, M Vieira, R Almeida, R Ventura, Architecture-based resilience evaluation for self-adaptive systems, Computing, 2013

 MP Romay, CE Cuesta, L Fernández-Sanz, On self-adaptation in systems-of-systems, Proceedings of the First …, 2013

 EM Fredericks, AJ Ramirez, BHC Cheng, Validating Code-Level Behavior of Dynamic Adaptive Systems in the Face of Uncertainty, Search Based Software …, 2013

Year 2012 : 2 citations

 D Weyns, MU Iftikhar, DG de la Iglesiaâ?¦, A survey of formal methods in self-adaptive systems, Proceedings of the Fifth …, 2012

 N BROGNOLI, A COLOMBO, SAME: un framework per la gestione dell'incertezza nei sistemi software self adaptive, Publication/NA, 2012