Evaluating verification awareness as a method for assessing adaptation risk
暂无分享,去创建一个
Rose F. Gamble | Charles Walter | Sharmin Jahan | Ian Riley | Allen Marshall | Charles Walter | R. Gamble | Sharmin Jahan | Allen Marshall | Ian Riley
[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.