G. Aceto, A. Botta, W. D. Donato, and A. Pescapè, Cloud monitoring: A survey, Computer Networks, vol.57, issue.9, pp.2093-2115, 2013.

Y. Al-dhuraibi, F. Paraiso, N. Djarallah, and P. Merle, Elasticity in cloud computing: state of the art and research challenges, IEEE Transactions on Services Computing, vol.11, issue.2, pp.430-447, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01529654

A. Ali-eldin, J. Tordsson, and E. Elmroth, An adaptive hybrid elasticity controller for cloud infrastructures, 2012 IEEE Network Operations and Management Symposium, pp.204-212, 2012.

M. Amiri and L. Mohammad-khanli, Survey on prediction models of applications for resources provisioning in cloud, Journal of Network and Computer Applications, vol.82, pp.93-113, 2017.

M. Amziani, Modeling, evaluation and provisioning of elastic service-based business processes in the cloud, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01217186

C. Baier and J. Katoen, Principles of model checking, 2008.

B. Baynat, Théorie des files d'attente, 2000.

M. Marcello, D. Bersani, S. Bianculli, A. Dustdar, C. Gambi et al., Towards the formalization of properties of cloudbased elastic systems, Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, pp.38-47, 2014.

R. Calinescu, K. Johnson, Y. Rafiq, S. Gerasimou, G. C. Silva et al., Continual verification of non-functional properties in cloud-based systems, 2013.

T. Chen, R. Bahsoon, and X. Yao, A survey and taxonomy of self-aware and self-adaptive cloud autoscaling systems, ACM Computing Surveys (CSUR), vol.51, issue.3, p.61, 2018.

M. Clavel, F. Durán, S. Eker, S. Escobar, P. Lincoln et al., Maude Manual (Version 2.7. 1), 2016.

G. Copil, D. Moldovan, H. Truong, and S. Dustdar, Multi-level elasticity control of cloud services, International Conference on Service-Oriented Computing, pp.429-436, 2013.

R. Dautov, Iraklis Paraskakis, and Mike Stannett. Towards a framework for monitoring cloud application platforms as sensor networks, Cluster Computing, vol.17, issue.4, pp.1203-1213, 2014.

H. Mamadou, M. Diallo, R. August, M. Hallman, S. M. Kline et al., Automigrate: a framework for developing intelligent, self-managing cloud services with maximum availability, Cluster Computing, vol.20, issue.3, pp.1995-2012, 2017.

S. Dustdar, Y. Guo, B. Satzger, and H. Truong, Principles of elastic processes, IEEE Internet Computing, vol.15, issue.5, pp.66-71, 2011.

M. Firdhous, O. Ghazali, and S. Hassan, Modeling of cloud system using Erlang formulas, Communications (APCC), 2011 17th Asia-Pacific Conference on, pp.411-416, 2011.

L. Freitas and P. Watson, Formalizing workflows partitioning over federated clouds: multi-level security and costs, International Journal of Computer Mathematics, vol.91, issue.5, pp.881-906, 2014.

G. Galante and L. Carlos-e-de-bona, A survey on cloud computing elasticity, Proceedings of the 2012

, IEEE/ACM Fifth International Conference on Utility and Cloud Computing, pp.263-270, 2012.

M. Ghobaei-arani, S. Jabbehdari, and M. A. Pourmina, An autonomic approach for resource provisioning of cloud services, Cluster Computing, vol.19, issue.3, pp.1017-1036, 2016.

K. Khebbeb,

A. J. Glenstrup, T. Christoffer-damgaard, L. Birkedal, and E. Højsgaard, An implementation of bigraph matching, p.22, 2007.

S. Nikolas-roman-herbst, R. Kounev, and . Reussner, Elasticity in cloud computing: What it is, and what it is not, Proceedings of the 10th International Conference on Autonomic Computing (${$ICAC$}$ 13), pp.23-27, 2013.

. Abdul-r-hummaida, W. Norman, R. Paton, and . Sakellariou, Adaptation in cloud resource configuration: a survey, Journal of Cloud Computing, vol.5, issue.1, 2016.

A. Ismail and M. Kwiatkowska, Synthesizing pareto optimal decision for autonomic clouds using stochastic games model checking, 24th Asia-Pacific Software Engineering Conference (APSEC), pp.436-445, 2017.

B. Jacob, R. Lanyon-hogg, K. Devaprasad, A. Nadgir, and . Yassin, A practical guide to the ibm autonomic computing toolkit, IBM Redbooks, vol.4, issue.10, 2004.

K. Khebbeb, N. Hameurlain, and F. Belala, Modeling and evaluating cross-layer elasticity strategies in cloud systems, Model and Data Engineering, pp.168-183, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02417551

K. Khebbeb, N. Hameurlain, F. Belala, and H. Sahli, Formal modelling and verifying elasticity strategies in cloud systems, IET Software, vol.13, issue.1, pp.25-35, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02417557

S. Kikuchi and K. Hiraishi, Improving reliability in management of cloud computing infrastructure by formal methods, IEEE Network Operations and Management Symposium (NOMS), pp.1-7, 2014.

L. Letondeur, Planification pour la gestion autonomique de l'élasticité d'applications dans le cloud, 2014.

X. Liu, X. Zhu, S. Singhal, and M. Arlitt, Adaptive entitlement control of resource containers on shared servers, 9th IFIP/IEEE International Symposium on Integrated Network Management, 2005. IM 2005, pp.163-176, 2005.

V. Vladimir, A. Mazalov, and . Gurtov, Queuing system with on-demand number of servers, Mathematica Applicanda, vol.40, issue.2, pp.1-12, 2012.

P. Mell, Tim Grance, and others. The NIST definition of cloud computing, 2011.

M. Mendieta, A. César, C. L. Martín, and . Abad, A control theory approach for managing cloud computing resources: a proof-of-concept on memory partitioning, 2017 IEEE Second Ecuador Technical Chapters Meeting (ETCM), pp.1-6, 2017.

R. Milner, Bigraphs and their algebra, Electronic Notes in Theoretical Computer Science, vol.209, pp.5-19, 2008.

R. Milner, The space and motion of communicating agents, 2009.

D. Moldovan, G. Copil, H. L. Truong, and S. Dustdar, MELA: elasticity analytics for cloud services, vol.IJBDI, pp.45-62, 2015.

J. Francesc-d-muñoz-escoí and . Bernabéu-aubán, A survey on elasticity management in paas systems, Computing, vol.99, issue.7, pp.617-656, 2017.

A. Naskos and E. Stachtiari, Anastasios Gounaris, Panagiotis Katsaros, Dimitrios Tsoumakos, Ioannis Konstantinou, and Spyros Sioutas. Cloud elasticity using probabilistic model checking, 2014.

P. Patel, H. Ajith, A. Ranabahu, and . Sheth, Service level agreement in cloud computing, 2009.

G. Perrone, S. Debois, and T. T. Hildebrandt, A model checker for bigraphs, Proceedings of the 27th Annual ACM Symposium on Applied Computing, pp.1320-1325, 2012.

M. Rady, Formal definition of service availability in cloud computing using OWL, International Conference on Computer Aided Systems Theory, pp.189-194, 2013.

N. Roy, A. Dubey, and A. Gokhale, Efficient autoscaling in the cloud using predictive models for workload forecasting, 2011 IEEE 4th International Conference on Cloud Computing, pp.500-507, 2011.

Y. Kristin and . Rozier, Linear temporal logic symbolic model checking, Computer Science Review, vol.5, issue.2, pp.163-203, 2011.

M. Sabharwal, A. Agrawal, and G. Metri, Enabling green it through energy-aware software. IT Professional, vol.15, pp.19-27, 2013.

H. Sahli, F. Belala, and C. Bouanaka, Model-Checking Cloud Systems Using BigMC, VECoS, pp.25-33, 2014.

H. Sahli, N. Hameurlain, and F. Belala, A bigraphical model for specifying cloud-based elastic systems and their behaviour, International Journal of Parallel, vol.32, issue.6, pp.593-616, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01906821

, Correspondence between kripke structures and labeled transition systems for model minimization, Seminar project, 2011.

M. Sevegnani and M. Calder, BigraphER: rewriting and analysis engine for bigraphs, International Conference on Computer Aided Verification, pp.494-501, 2016.

S. Simrock, Control theory. 2008. 49. Steam. Steam, the ultimate online game platform, 2019.

. Steamspy, Steamspy -all the data about steam games, 2019.

B. Suleiman, S. Sakr, R. Jeffery, and A. Liu, On understanding the economics and elasticity challenges of deploying business applications on public cloud infrastructure, Journal of Internet Services and Applications, vol.3, issue.2, pp.173-193, 2012.

D. Trihinas and C. Sofokleous, Nicholas Loulloudes, Athanasios Foudoulis, George Pallis, and Marios D Dikaiakos. Managing and monitoring elastic cloud applications, International Conference on Web Engineering, pp.523-527, 2014.

L. Yataghene, M. Amziani, M. Ioualalen, and S. Tata, A queuing model for business processes elasticity evaluation, Advanced Information Systems for Enterprises (IWAISE), 2014 International Workshop on, pp.22-28, 2014.

X. Zhu, M. Uysal, and Z. Wang, Sharad Singhal, Arif Merchant, Pradeep Padala, and Kang Shin, ACM SIGOPS Operating Systems Review, vol.43, issue.1, pp.62-69, 2009.