The NIST Definition of Cloud Computing, p.7, 2011. ,
Elasticity in Cloud Computing: What It Is, and What It Is Not, Proceedings of the 10th International Conference on Autonomic Computing (ICAC 13)' (USENIX, 2013), pp.23-27 ,
The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003. ,
A Survey on Cloud Computing Elasticity, Proceedings of the 2012 IEEE/ACM Fifth International Conference on Utility and Cloud Computing, pp.263-270, 2012. ,
, Principles of Elastic Processes'IEEE Internet Computing, vol.15, pp.66-71, 2011.
Towards the Formalization of Properties of Cloud-based Elastic Systems', in 'Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, pp.38-47, 2014. ,
Modeling, evaluation and provisioning of elastic service-based business processes in the cloud'. phdthesis, Institut National des Télécommunications, 2015. ,
URL : https://hal.archives-ouvertes.fr/tel-01217186
Using Formal Model for Evaluation of Business Processes Elasticity in the Cloud ,
, Workshops' International Conference on Service-Oriented Computing, pp.33-44, 2016.
Bigraphs and Their Algebra'Electronic Notes in Theoretical Computer Science, vol.209, pp.5-19, 2008. ,
The Space and Motion of Communicating Agents, 2009. ,
Formal verification approaches and standards in the cloud computing: A comprehensive and systematic review, Computer Standards & Interfaces, vol.58, pp.1-22, 2018. ,
Cloud monitoring: A survey'Computer Networks, vol.57, pp.2093-2115, 2013. ,
Efficient Autoscaling in the Cloud Using Predictive Models for Workload Forecasting, 2011 IEEE 4th International Conference on Cloud Computing, pp.500-507, 2011. ,
, Computer Applications.'Applied Statistics, vol.2, issue.2, p.186, 1978.
Markov Chains and Stochastic Stability, 1993. ,
Planification pour la gestion autonomique de l'élasticité d'applications dans le cloud, 2014. ,
A bigraphical model for specifying cloud-based elastic systems and their behaviour, International Journal of Parallel, Emergent and Distributed Systems, vol.32, issue.6, pp.593-616, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01906821
Matching of Bigraphs'Electronic Notes in Theoretical Computer Science, vol.175, pp.3-19, 2007. ,
BigraphER: Rewriting and Analysis Engine for Bigraphs, Computer Aided Verification, pp.494-501, 2016. ,
Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing'Form Asp Comp, vol.26, pp.537-561, 2014. ,
A Survey and Taxonomy of Self-Aware and Self-Adaptive Cloud Autoscaling Systems, ACM Comput. Surv, issue.3, p.40, 2018. ,
Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems, Distributed Applications and Interoperable Systems' IFIP International Conference on Distributed Applications and Interoperable Systems, pp.201-208, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01287744
Spatial Logics for Bigraphs, Automata, Languages and Programming' International Colloquium on Automata, Languages, and Programming, pp.766-778, 2005. ,
Big Red: A Development Environment for Bigraphs'Electronic Communications of the EASST, p.61, 2013. ,
Stochastic Bigraphs'Electronic Notes in Theoretical Computer Science, vol.218, pp.73-96, 2008. ,
An Implementation of Bigraph Matching'no date, p.22 ,
A Model Checker for Bigraphs, Proceedings of the 27th Annual ACM Symposium on Applied Computing', pp.1320-1325, 2012. ,
Model-Checking Cloud Systems Using BigMC, Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, pp.25-33, 2014. ,
Maude Manual (Version 2, p.521, 2017. ,
Principles of model checking, 2008. ,
Correspondence between Kripke Structures and Labeled Transition Systems for Model Minimization, 2011. ,
Théorie des files d'attente: des chaînes de Markov aux réseaux à forme produit, 2000. ,
Queueing System with On-Demand Number of Servers, Mathematica Applicanda, vol.40, issue.2, pp.1-12, 2012. ,
Mathematical Models of Multiserver Queuing System for Dynamic Performance Evaluation in Port'Mathematical Problems in Engineering, 2012. ,
Modeling of cloud system using Erlang formulas, The 17th Asia Pacific Conference on Communications, pp.411-416, 2011. ,
Evaluating Auto-scaling Strategies for Cloud Computing Environments, Proceedings of the 2014 IEEE 22Nd International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems, pp.187-196, 2014. ,
, Amazon EC2 Instance Types -Amazon Web Services (AWS), 2018.