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

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

B. Baynat, Théorie des files d'attente, Hermès Science publications, 2000.

M. Bersani and D. Bianculli, Towards the formalization of properties of cloud based elastic systems, Proceedings of the 6th International Workshop on Principles of Engineering Service-oriented and Cloud Systems -PESOS 2014, pp.38-47, 2014.

M. Sevegnani and M. Calder, BigraphER: rewriting and analysis engine for bigraphs, proceedings of Computer Aided Verification (CAV 2016), vol.9780, pp.494-501, 2016.

M. Calder and M. Sevegnani, Modeling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing, Formal Aspects of Computing, vol.26, issue.3, pp.537-561, 2014.

K. Chatziprimou, K. Lano, and S. Zschaler, Runtime Infrastructure Optimization in Cloud IaaS Structures, pp.687-692, 2013.

T. Chen, R. Bahsoon, and X. Yao, A Survey and Taxonomy of Self-Aware and Self Adaptive Cloud Autoscaling Systems, ACM Computing Surveys, vol.1, issue.1, 2018.

M. Clavel and F. Duran, Maude Manual V 2, p.2017

G. Copil and D. Moldovan, Multi-level elasticity control of cloud services, Serviceoriented Computing, pp.429-436, 2013.

S. Dustdar, Y. Guo, B. Satzger, and H. Truong, Principles of elastic processes, IEEE Internet Comput, vol.15, pp.66-71, 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

G. Galante and L. Bona, A survey on cloud computing elasticity, 2012 IEEE Fifth International Conference on utility and Cloud Computing, pp.263-270, 2012.

. Aj, T. C. Glenstrup, and . Damgaard, An implementation of bigraph matching, ITUniversitetet Kobenhavn, 2010.

A. Gurtov and V. Mazalov, Queueing System with On-Demand Number of Servers, Mathematica Applicanda, vol.40, issue.2, 2012.

N. Herbst, S. Kounev, and R. Reussner, Elasticity in cloud computing: What it is, and what it is not, Proceedings of the 10th International Conference on Autonomic Computing, 2013.

J. Wang, D. Xu, and Z. Lei, Formalizing the Structure and Behaviour of Context-aware Systems in Bigraphs, First ACIS International Symposium on Software and Network Engineering, 2011.

B. Jacob, A Practical Guide to the IBM Autonomic Computing Toolkit". IBM, International Technical Support Organization, 2004.

K. Khebbeb, H. Sahli, and N. Hameurlain, A BRS Based Approach for Modeling Elastic Cloud Systems, Service-Oriented Computing -ICSOC 2017 Workshops, pp.5-17
URL : https://hal.archives-ouvertes.fr/hal-02417541

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

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

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

M. Clavel and F. Duran, All about Maude. A High-Performance Logical Framework, Lecture Notes in Computer Science, vol.4350, 2007.

A. Mansutti, M. Miculan, and M. Peressotti, Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems, DAIS, vol.2014, pp.201-208
URL : https://hal.archives-ouvertes.fr/hal-01287744

P. Mell and T. Grance, The NIST Definition of Cloud Computing, Special Publication, pp.800-145, 2011.

R. Milner, Bigraphs and their algebra, Electron. Notes Theor. Comput. Sci, vol.209, pp.5-19, 2008.

R. Milner, The Space and Motion of Communicating Agents, 2009.

A. Naskos and E. Stachtiari, Cloud elasticity using probabilistic model checking" CoRR, 2014.

M. Netto and C. Cardonha, Evaluating Auto-scaling Strategies for Cloud Computing Environments, IEEE 22nd International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems, 2014.

G. Perrone, S. Debois, and T. Hildebrandt, A Model Checker for Bigraphs, proceedings of the 27th ACM Symposium in Applied Computing ACM-SAC'12, 2012.

H. Sahli, N. Hameurlain, and F. Belala, A bigraphical model for specifying elastic cloud systems and their behaviour, International Journal of Parallel, Emergent and Distributed Systems, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01906821

H. Sahli, F. Belala, and C. Bouanaka, Model-Checking Cloud Systems Using BigMC" 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, 2014.

D. Trihinas and C. Sofokleous, Managing and monitoring elastic cloud applications, Lecture Notes in Computer Science, pp.523-527, 2014.

M. Mendieta and C. Martin, A control theory approach for managing cloud computing resources: A proof-of-concept on memory partitioning, IEEE Second Ecuador Technical Chapters Meeting (ETCM, 2017.

X. Liu and X. Zhu, Adaptive entitlement control of resource containers on shared servers, 9th IFIP/IEEE International Symposium on Integrated Network Management, 2005.

X. Zhu and M. , What does control theory bring to systems research, ACM SIGOPS Oper. Sys. Rev, vol.43, issue.1, 2009.