Probabilistic model checking at runtime for the provisioning of cloud resources

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

Volumn 9333, Issue , 2015, Pages 275-280

  Naskos, Athanasios ^a   Stachtiari, Emmanouela ^a   Katsaros, Panagiotis ^a   Gounaris, Anastasios ^a  

^a ARISTOTLE UNIVERSITY OF THESSALONIKI   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

MARKOV PROCESSES;

CLOUD INFRASTRUCTURES; DYNAMIC PROVISIONING; MARKOV DECISION PROCESSES; MODEL DRIVEN APPROACH; PRISM MODEL CHECKER; PROBABILISTIC GUARANTEES; PROBABILISTIC MODEL CHECKING; REFERENCE FRAMEWORKS;

MODEL CHECKING;

EID: 84950336686     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-23820-3_18     Document Type: Conference Paper

References (6)

1. Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585–591. Springer, Heidelberg (2011)
2. Kwiatkowska, M., Parker, D.: Automated verification and strategy synthesis for probabilistic systems. In: Van Hung, D., Ogawa, M. (eds.) ATVA 2013. LNCS, vol. 8172, pp. 5–22. Springer, Heidelberg (2013)
3. Naskos, A.: Probabilistic model checking at runtime for the provisioning of cloud resources - appendix (2015). http://anaskos.webpages.auth.gr/wp-content/uploads/2015/06/parametricMDPmodel.pdf
4. Naskos, A., Gounaris, A., Mouratidis, H., Katsaros, P.: Security-aware elasticity for nosql databases. In: MEDI (2015)
5. Naskos, A., Stachtiari, E., Gounaris, A., Katsaros, P., Tsoumakos, D., Konstantinou, I., Sioutas, S.: Dependable horizontal scaling based on probabilistic model checking. In: CCGrid. IEEE (2015)
6. Tsoumakos, D., Konstantinou, I., Boumpouka, C., Sioutas, S., Koziris, N.: Automated, elastic resource provisioning for nosql clusters using tiramola. In: CCGrid, pp. 34–41 (2013)