Radu Calinescu, Kenneth Johnson, Yasmin Rafiq, Simos Gerasimou, Gabriel Costa Silva, Stanimir N. Pehlivanov. Continual Verification of Non-Functional Properties in Cloud-Based Systems. In Simona Bernardi, Marko Boskovic, José Merseguer, editors, Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29, 2013. Volume 1074 of CEUR Workshop Proceedings, pages 1-5, CEUR-WS.org, 2013. [doi]
@inproceedings{CalinescuJRGSP13,
title = {Continual Verification of Non-Functional Properties in Cloud-Based Systems},
author = {Radu Calinescu and Kenneth Johnson and Yasmin Rafiq and Simos Gerasimou and Gabriel Costa Silva and Stanimir N. Pehlivanov},
year = {2013},
url = {http://ceur-ws.org/Vol-1074/paper1.pdf},
researchr = {https://researchr.org/publication/CalinescuJRGSP13},
cites = {0},
citedby = {0},
pages = {1-5},
booktitle = {Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29, 2013},
editor = {Simona Bernardi and Marko Boskovic and José Merseguer},
volume = {1074},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}