Cloud Computing for LSCITS

Research output

Research output per year 2011 2012 2013 2014

• 11 Conference contribution
• 6 Article
• 1 Chapter
• 1 Chapter (peer-reviewed)

Research output per year

Research output per year

Search results

• 2014

  Adaptive model learning for continual verification of non-functional properties

  Calinescu, R., Rafiq, Y., Johnson, K. & Bakir, M. E., 1 Jan 2014, ICPE 2014: Proceedings of the 5th ACM/SPEC International Conference on Performance Engineering. ACM, p. 87-98 12 p.

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

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

  Johnson, K. & Calinescu, R., 1 Jan 2014, QoSA 2014: Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (Part of CompArch 2014). ACM, p. 93-102 10 p.

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

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

  Gerasimou, S., Calinescu, R. & Banks, A., 1 Jan 2014, 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014 - Proceedings. ACM, p. 115-124 10 p.

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

  An incremental verification framework for component-based software systems

  Johnson, K. H. A., Calinescu, R. C. & Kikuchi, S., 2013, CBSE '13 : Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering. New York: ACM, p. 33-42 10 p.

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

  Open Access

  File

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

  Keen, J., Calinescu, R., Paige, R. & Rooksby, J., 1 Jun 2013, In: Policy and Internet. 5, 2, p. 228-243

  Research output: Contribution to journal › Article › peer-review

• Developing self-verifying service-based systems

  Calinescu, R., Johnson, K. & Rafiq, Y., 1 Dec 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings. p. 734-737 6693145

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

• Editorial

  Calinescu, R., France, R. & Ghezzi, C., 1 Jan 2013, In: Computing. 95, 3, p. 165-166

  Research output: Contribution to journal › Article › peer-review

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

  Perez-Palacin, D., Calinescu, R. & Merseguer, J., 27 May 2013, Proceedings of the ACM Symposium on Applied Computing. p. 397-404

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

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

  Johnson, K., Wang, Y., Calinescu, R., Sommerville, I., Baxter, G. & Tucker, J. V., 1 Jan 2013, In: Proceedings of the International Conference on Cloud Computing Technology and Science, CloudCom. 2, p. 144-151 6735410.

  Research output: Contribution to journal › Article › peer-review

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

  Calinescu, R. C. & Rafiq, Y., 2013, (Accepted/In press) 7th International Symposium on Theoretical Aspects of Software Engineering. p. 131-134 4 p.

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

• 2012

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

  Calinescu, R., Kikuchi, S. & Johnson, K., 9 Nov 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7539 LNCS. p. 303-329 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7539 LNCS).

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

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

  Calinescu, R., Kikuchi, S. & Kwiatkowska, M., 2012, Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification. Cong-Vinh, P. (ed.). IGI Global, p. 1-37

  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

  Calinescu, R. & Garlan, D., 9 Nov 2012, In: Lecture Notes in Computer Science. 7539 LNCS

  Research output: Contribution to journal › Article › peer-review

• Self-adaptive software needs quantitative verification at runtime

  Calinescu, R., Ghezzi, C., Kwiatkowska, M. & Mirandola, R., 1 Sept 2012, In: Communications of the ACM. 55, 9, p. 69-77 9 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns

  Johnson, K., Reed, S. & Calinescu, R., 29 Oct 2012, Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011. Eder, K., Loureno, J. & Shehory, O. (eds.). Springer, p. 145-159 15 p. (Lecture Notes in Computer Science; vol. 7261).

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

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

  Calinescu, R. C., Kikuchi, S. & Johnson, K. H. A., 2012, Large-Scale Complex IT Systems - Development, Operation and Management. Vol. 7539.

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

• 2011

  Dynamic QoS Management and Optimization in Service-Based Systems

  Calinescu, R., Grunske, L., Kwiatkowska, M., Mirandola, R. & Tamburrelli, G., 2011, In: IEEE Transactions on Software Engineering . 37, 3, p. 387-409 23 p.

  Research output: Contribution to journal › Article › peer-review

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

  Calinescu, R. C., Johnson, K. H. A. & Rafiq, Y., 2011, Proceedings of the 2nd ACM/SPEC International Conference on Performance Engineering. p. 505 510 p.

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

• When the requirements for adaptation and high integrity meet

  Calinescu, R., 2011, Proceedings of the 8th ESEC/FSE Workshop on Assurances for Self-Adaptive Systems. New York, NY, USA: ACM, p. 1-4 4 p. (ASAS '11).

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