Continual Verification of Non-Functional Properties in Cloud-Based Systems

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]

Authors

Radu Calinescu

This author has not been identified. It may be one of the following persons: Look up 'Radu Calinescu' in Google

Kenneth Johnson

Identified as Kenneth Johnson

Yasmin Rafiq

This author has not been identified. Look up 'Yasmin Rafiq' in Google

Simos Gerasimou

This author has not been identified. Look up 'Simos Gerasimou' in Google

Gabriel Costa Silva

This author has not been identified. Look up 'Gabriel Costa Silva' in Google

Stanimir N. Pehlivanov

This author has not been identified. Look up 'Stanimir N. Pehlivanov' in Google