The York Research Database

Research outputs

• Using Intelligent Proxies to Develop Self-Adaptive Service-Based Systems

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Adaptive model learning for continual verification of non-functional properties

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Editorial

  Research output: Contribution to journal › Article

• Services2Cloud: A framework for revenue analysis of software-as-a-service provisioning

  Research output: Contribution to journal › Article

• Compositional reverification of probabilistic safety properties for large-scale complex IT systems

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Self-adaptive software needs quantitative verification at runtime

  Research output: Contribution to journal › Article

• Using observation ageing to improve Markovian model learning in QoS engineering

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• When the requirements for adaptation and high integrity meet

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Formal Methods for the Development and Verification of Autonomic IT Systems

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

  Research output: Contribution to journal › Article

• Efficient re-resolution of SMT specifications for evolving software architectures

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Developing self-verifying service-based systems

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Dynamic QoS Management and Optimization in Service-Based Systems

  Research output: Contribution to journal › Article

• Using Compositional Verification to Manage Change in Large-Scale Systems

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

• An incremental verification framework for component-based software systems

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Big data + politics = open data: The case of health care data in England

  Research output: Contribution to journal › Article

• Log2cloud: Log-based prediction of cost-performance trade-offs for cloud deployments

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution