Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study
- 25 January 2023
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Incremental model checking of delta-oriented software product linesJournal of Logical and Algebraic Methods in Programming, 2016
- Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run TimeIEEE Transactions on Software Engineering, 2015
- Energy-Utility QuantilesLecture Notes in Computer Science, 2014
- Managing non-functional uncertainty via model-driven adaptivityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2013
- Incremental Runtime Verification of Probabilistic SystemsLecture Notes in Computer Science, 2013
- Self-adaptive software needs quantitative verification at runtimeCommunications of the ACM, 2012
- Evaluation of resilience in self-adaptive systems using probabilistic model-checkingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2012
- PRISM 4.0: Verification of Probabilistic Real-Time SystemsLecture Notes in Computer Science, 2011
- A brief account of runtime verificationThe Journal of Logic and Algebraic Programming, 2009
- Safety and Dependability Analysis of Self-Adaptive SystemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2006