Evaluating verification awareness as a method for assessing adaptation risk

[1]  Dejan Nickovic,et al.  A survey of challenges for runtime verification from advanced application domains (beyond software) , 2018, Formal Methods in System Design.

[2]  Luis Rodero-Merino,et al.  Finding your Way in the Fog: Towards a Comprehensive Definition of Fog Computing , 2014, CCRV.

[3]  David Garlan,et al.  Software Engineering for Self-Adaptive Systems : Assurances , 2014 .

[4]  Carlo Ghezzi,et al.  Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time , 2016, IEEE Transactions on Software Engineering.

[5]  Gordon S. Blair,et al.  Models@ run.time , 2009, Computer.

[6]  Bradley R. Schmerl,et al.  Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure , 2004, Computer.

[7]  Gabor Karsai,et al.  Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems , 2013, Software Engineering for Self-Adaptive Systems.

[8]  Aniello Murano,et al.  Reasoning About Strategies: On the Model-Checking Problem , 2011, ArXiv.

[9]  Amir Pnueli,et al.  Checking that finite state concurrent programs satisfy their linear specification , 1985, POPL.

[10]  Swarup Bhunia,et al.  Wearables, Implants, and Internet of Things: The Technology Needs in the Evolving Landscape , 2016, IEEE Transactions on Multi-Scale Computing Systems.

[11]  Yung-Pin Cheng,et al.  ARCATS: a scalable compositional analysis tool suite , 2006, SAC '06.

[12]  Franco Zambonelli,et al.  On Self-Adaptation, Self-Expression, and Self-Awareness in Autonomic Service Component Ensembles , 2011, 2011 Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops.

[13]  E. Allen Emerson,et al.  The Beginning of Model Checking: A Personal Perspective , 2008, 25 Years of Model Checking.

[14]  Michal Young,et al.  Compositional reachability analysis using process algebra , 1991, TAV4.

[15]  H. Rice.  Classes of recursively enumerable sets and their decision problems , 1953 .

[16]  Ezio Bartocci,et al.  Introduction to Runtime Verification , 2018, Lectures on Runtime Verification.

[17]  Mary Shaw,et al.  Software Engineering for Self-Adaptive Systems: A Research Roadmap , 2009, Software Engineering for Self-Adaptive Systems.

[18]  Bradley R. Schmerl,et al.  Improving Architecture-Based Self-Adaptation through Resource Prediction , 2009, Software Engineering for Self-Adaptive Systems.

[19]  Gidon Ernst,et al.  KIV: overview and VerifyThis competition , 2014, International Journal on Software Tools for Technology Transfer.

[20]  Alex Groce,et al.  New Challenges in Model Checking , 2008, 25 Years of Model Checking.

[21]  Liping Zhao,et al.  WITHDRAWN: A Review of Machine Learning Algorithms for Identification and Classification of Non-Functional Requirements , 2019, Expert Systems with Applications.

[22]  Kirstie L. Bellman.  Reflective Systems Are a Good Step Towards Aware Systems , 2014 .

[23]  Shing-Chi Cheung,et al.  Context constraints for compositional reachability analysis , 1996, TSEM.

[24]  Alwyn Goodloe.  Challenges in High-Assurance Runtime Verification , 2016, ISoLA.

[25]  David Garlan,et al.  Stitch: A language for architecture-based self-adaptation , 2012, J. Syst. Softw..

[26]  Edmund M. Clarke,et al.  Compositional model checking , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[27]  Michal Young,et al.  Towards scalable compositional analysis by refactoring design models , 2003, ESEC/FSE-11.

[28]  Michael Jackson,et al.  The meaning of requirements , 1997, Ann. Softw. Eng..

[29]  Nelly Bencomo,et al.  Self-modeling and Self-awareness , 2017, Self-Aware Computing Systems.