Cloud Computing for LSCITS

Project: Research project (funded) › Research

Status	Finished
Effective start/end date	1/05/12 → 31/03/14

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

Project Details