Probabilistic approximation of runtime quantitative verification in self-adaptive systems

Depth-First Search and Linear Graph Algorithms

Robert E. Tarjan · SIAM Journal on Computing · 1972 · 6K citations

Computing, Computer Science, Algorithms +16

On Choosing and Bounding Probability Metrics

Alison L. Gibbs, Francis Edward Su · International Statistical Review · 2002 · 1.2K citations · Full text

Natural Sciences, Mathematics, Probability Theory +9

A survey on engineering approaches for self-adaptive systems

Christian Krupitzer, Felix Roth, Sebastian VanSyckel et al. · Pervasive and Mobile Computing · 2014 · 428 citations

Engineering, Computer Engineering, Systems Engineering +14

Self-adaptive software needs quantitative verification at runtime

Radu Călinescu, Carlo Ghezzi, Marta Kwiatkowska et al. · Communications of the ACM · 2012 · 253 citations · Full text

Computing, Computer Engineering, Computer Science +15

Self-adaptive systems: A survey of current approaches, research challenges and applications

Frank D. Macías-Escrivá, Rodolfo E. Haber, Raúl M. del Toro et al. · Expert Systems with Applications · 2013 · 233 citations

Computing, Computer Systems, Systems Engineering +16