Cloud monitoring: A survey, Computer Networks, vol.57, issue.9, pp.2093-2115, 2013. ,
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
An adaptive hybrid elasticity controller for cloud infrastructures, 2012 IEEE Network Operations and Management Symposium, pp.204-212, 2012. ,
Survey on prediction models of applications for resources provisioning in cloud, Journal of Network and Computer Applications, vol.82, pp.93-113, 2017. ,
Modeling, evaluation and provisioning of elastic service-based business processes in the cloud, 2015. ,
URL : https://hal.archives-ouvertes.fr/tel-01217186
Principles of model checking, 2008. ,
Théorie des files d'attente, 2000. ,
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. ,
Continual verification of non-functional properties in cloud-based systems, 2013. ,
A survey and taxonomy of self-aware and self-adaptive cloud autoscaling systems, ACM Computing Surveys (CSUR), vol.51, issue.3, p.61, 2018. ,
Maude Manual (Version 2.7. 1), 2016. ,
Multi-level elasticity control of cloud services, International Conference on Service-Oriented Computing, pp.429-436, 2013. ,
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. ,
Automigrate: a framework for developing intelligent, self-managing cloud services with maximum availability, Cluster Computing, vol.20, issue.3, pp.1995-2012, 2017. ,
Principles of elastic processes, IEEE Internet Computing, vol.15, issue.5, pp.66-71, 2011. ,
Modeling of cloud system using Erlang formulas, Communications (APCC), 2011 17th Asia-Pacific Conference on, pp.411-416, 2011. ,
Formalizing workflows partitioning over federated clouds: multi-level security and costs, International Journal of Computer Mathematics, vol.91, issue.5, pp.881-906, 2014. ,
A survey on cloud computing elasticity, Proceedings of the 2012 ,
, IEEE/ACM Fifth International Conference on Utility and Cloud Computing, pp.263-270, 2012.
An autonomic approach for resource provisioning of cloud services, Cluster Computing, vol.19, issue.3, pp.1017-1036, 2016. ,
,
An implementation of bigraph matching, p.22, 2007. ,
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. ,
Adaptation in cloud resource configuration: a survey, Journal of Cloud Computing, vol.5, issue.1, 2016. ,
Synthesizing pareto optimal decision for autonomic clouds using stochastic games model checking, 24th Asia-Pacific Software Engineering Conference (APSEC), pp.436-445, 2017. ,
A practical guide to the ibm autonomic computing toolkit, IBM Redbooks, vol.4, issue.10, 2004. ,
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
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
Improving reliability in management of cloud computing infrastructure by formal methods, IEEE Network Operations and Management Symposium (NOMS), pp.1-7, 2014. ,
Planification pour la gestion autonomique de l'élasticité d'applications dans le cloud, 2014. ,
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. ,
Queuing system with on-demand number of servers, Mathematica Applicanda, vol.40, issue.2, pp.1-12, 2012. ,
Tim Grance, and others. The NIST definition of cloud computing, 2011. ,
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. ,
Bigraphs and their algebra, Electronic Notes in Theoretical Computer Science, vol.209, pp.5-19, 2008. ,
The space and motion of communicating agents, 2009. ,
MELA: elasticity analytics for cloud services, vol.IJBDI, pp.45-62, 2015. ,
A survey on elasticity management in paas systems, Computing, vol.99, issue.7, pp.617-656, 2017. ,
, Anastasios Gounaris, Panagiotis Katsaros, Dimitrios Tsoumakos, Ioannis Konstantinou, and Spyros Sioutas. Cloud elasticity using probabilistic model checking, 2014.
Service level agreement in cloud computing, 2009. ,
A model checker for bigraphs, Proceedings of the 27th Annual ACM Symposium on Applied Computing, pp.1320-1325, 2012. ,
Formal definition of service availability in cloud computing using OWL, International Conference on Computer Aided Systems Theory, pp.189-194, 2013. ,
Efficient autoscaling in the cloud using predictive models for workload forecasting, 2011 IEEE 4th International Conference on Cloud Computing, pp.500-507, 2011. ,
Linear temporal logic symbolic model checking, Computer Science Review, vol.5, issue.2, pp.163-203, 2011. ,
Enabling green it through energy-aware software. IT Professional, vol.15, pp.19-27, 2013. ,
Model-Checking Cloud Systems Using BigMC, VECoS, pp.25-33, 2014. ,
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.
BigraphER: rewriting and analysis engine for bigraphs, International Conference on Computer Aided Verification, pp.494-501, 2016. ,
Control theory. 2008. 49. Steam. Steam, the ultimate online game platform, 2019. ,
Steamspy -all the data about steam games, 2019. ,
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. ,
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. ,
A queuing model for business processes elasticity evaluation, Advanced Information Systems for Enterprises (IWAISE), 2014 International Workshop on, pp.22-28, 2014. ,
Sharad Singhal, Arif Merchant, Pradeep Padala, and Kang Shin, ACM SIGOPS Operating Systems Review, vol.43, issue.1, pp.62-69, 2009. ,