Continually verify self-adaptation decisions taken by critical software in response to changes in the operating environment.

[1]  Hongyang Qu,et al.  Incremental quantitative verification for Markov decision processes , 2011, 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN).

[2]  Carlo Ghezzi,et al.  Run-time efficient probabilistic model checking , 2011, 2011 33rd International Conference on Software Engineering (ICSE).

[3]  Radu Calinescu,et al.  Dynamic QoS Management and Optimization in Service-Based Systems , 2011, IEEE Transactions on Software Engineering.

[4]  Radu Calinescu,et al.  Using observation ageing to improve markovian model learning in QoS engineering , 2011, ICPE '11.

[5]  Carlo Ghezzi,et al.  Automatic Cross Validation of Multiple Specifications: A Case Study , 2010, FASE.

[6]  Brice Morin,et al.  Models@ Run.time to Support Dynamic Adaptation , 2009, Computer.

[7]  Alex Groce,et al.  Rule Systems for Runtime Verification: A Short Tutorial , 2009, RV.

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

[9]  Mary Shaw,et al.  Engineering Self-Adaptive Systems through Feedback Loops , 2009, Software Engineering for Self-Adaptive Systems.

[10]  Carlo Ghezzi,et al.  Synthesizing intensional behavior models by graph transformation , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[11]  Radu Calinescu,et al.  Using quantitative analysis to implement autonomic IT systems , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[12]  Martin Leucker,et al.  A brief account of runtime verification , 2009, J. Log. Algebraic Methods Program..

[13]  Ladan Tahvildari,et al.  Self-adaptive software: Landscape and research challenges , 2009, TAAS.

[14]  Radu Calinescu,et al.  CADS*: Computer-Aided Development of Self-* Systems , 2009, FASE.

[15]  Christian Johansen,et al.  Run-Time Monitoring of Electronic Contracts , 2008, ATVA.

[16]  Julie A. McCann,et al.  A survey of autonomic computing—degrees, models, and applications , 2008, CSUR.

[17]  Marin Litoiu,et al.  Performance Model Estimation and Tracking Using Optimal Filters , 2008, IEEE Transactions on Software Engineering.

[18]  John M. Rushby,et al.  Runtime Certification , 2008, RV.

[19]  Quantitative verification: models techniques and tools , 2007, ESEC-FSE '07.

[20]  Edmund M. Clarke,et al.  Model Checking: Software and Beyond , 2007, J. Univers. Comput. Sci..

[21]  Andrew Hinton,et al.  PRISM: A Tool for Automatic Verification of Probabilistic Systems , 2006, TACAS.

[22]  Frank Eliassen,et al.  Using architecture models for runtime adaptability , 2006, IEEE Software.

[23]  Xiaomeng Su,et al.  A Survey of Automated Web Service Composition Methods , 2004, SWSWPC.

[24]  Bradley R. Schmerl,et al.  Using Architectural Models at Runtime: Research Challenges , 2004, EWSA.

[25]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[26]  Michael Jackson,et al.  Four dark corners of requirements engineering , 1997, TSEM.

[27]  Rushby John,et al.  Model-Based Reconfiguration: Diagnosis and Recovery , 1994 .

[28]  Meir M. Lehman,et al.  Program evolution: processes of software change , 1985 .