Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study

Publisher Website

25 January 2023

book chapter
conference paper
Published by Springer Science and Business Media LLC

p. 19-34
https://doi.org/10.1007/978-3-031-25049-1_2

Abstract

No abstract available

Keywords

This publication has 19 references indexed in Scilit:

Incremental model checking of delta-oriented software product lines
Journal of Logical and Algebraic Methods in Programming, 2016
Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time
IEEE Transactions on Software Engineering, 2015
Energy-Utility Quantiles
Lecture Notes in Computer Science, 2014
Managing non-functional uncertainty via model-driven adaptivity
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2013
Incremental Runtime Verification of Probabilistic Systems
Lecture Notes in Computer Science, 2013
Self-adaptive software needs quantitative verification at runtime
Communications of the ACM, 2012
Evaluation of resilience in self-adaptive systems using probabilistic model-checking
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2012
PRISM 4.0: Verification of Probabilistic Real-Time Systems
Lecture Notes in Computer Science, 2011
A brief account of runtime verification
The Journal of Logic and Algebraic Programming, 2009
Safety and Dependability Analysis of Self-Adaptive Systems
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2006