An adaptive hybrid elasticity controller for cloud infrastructures, IEEE Network Operations and Management Symposium, pp.204-212, 2012. ,
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
Théorie des files d'attente, Hermès Science publications, 2000. ,
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. ,
BigraphER: rewriting and analysis engine for bigraphs, proceedings of Computer Aided Verification (CAV 2016), vol.9780, pp.494-501, 2016. ,
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. ,
Runtime Infrastructure Optimization in Cloud IaaS Structures, pp.687-692, 2013. ,
A Survey and Taxonomy of Self-Aware and Self Adaptive Cloud Autoscaling Systems, ACM Computing Surveys, vol.1, issue.1, 2018. ,
Maude Manual V 2, p.2017 ,
Multi-level elasticity control of cloud services, Serviceoriented Computing, pp.429-436, 2013. ,
Principles of elastic processes, IEEE Internet Comput, vol.15, pp.66-71, 2011. ,
Formalizing workflows partitioning over federated clouds: Multi-level security and costs, International Journal of Computer Mathematics, vol.91, issue.5, pp.881-906 ,
A survey on cloud computing elasticity, 2012 IEEE Fifth International Conference on utility and Cloud Computing, pp.263-270, 2012. ,
An implementation of bigraph matching, ITUniversitetet Kobenhavn, 2010. ,
Queueing System with On-Demand Number of Servers, Mathematica Applicanda, vol.40, issue.2, 2012. ,
Elasticity in cloud computing: What it is, and what it is not, Proceedings of the 10th International Conference on Autonomic Computing, 2013. ,
Formalizing the Structure and Behaviour of Context-aware Systems in Bigraphs, First ACIS International Symposium on Software and Network Engineering, 2011. ,
A Practical Guide to the IBM Autonomic Computing Toolkit". IBM, International Technical Support Organization, 2004. ,
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
Improving reliability in management of cloud computing infrastructure by formal methods, Network Operations and Management Symposium, pp.1-7, 2014. ,
Planification pour la gestion autonomique de l'élasticité d'applications dans le cloud, 2014. ,
Formal definition of service availability in cloud computing using OWL, Computer Aided Systems Theory-EUROCAST, pp.189-194, 2013. ,
All about Maude. A High-Performance Logical Framework, Lecture Notes in Computer Science, vol.4350, 2007. ,
Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems, DAIS, vol.2014, pp.201-208 ,
URL : https://hal.archives-ouvertes.fr/hal-01287744
The NIST Definition of Cloud Computing, Special Publication, pp.800-145, 2011. ,
Bigraphs and their algebra, Electron. Notes Theor. Comput. Sci, vol.209, pp.5-19, 2008. ,
The Space and Motion of Communicating Agents, 2009. ,
Cloud elasticity using probabilistic model checking" CoRR, 2014. ,
Evaluating Auto-scaling Strategies for Cloud Computing Environments, IEEE 22nd International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems, 2014. ,
A Model Checker for Bigraphs, proceedings of the 27th ACM Symposium in Applied Computing ACM-SAC'12, 2012. ,
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
Model-Checking Cloud Systems Using BigMC" 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, 2014. ,
Managing and monitoring elastic cloud applications, Lecture Notes in Computer Science, pp.523-527, 2014. ,
A control theory approach for managing cloud computing resources: A proof-of-concept on memory partitioning, IEEE Second Ecuador Technical Chapters Meeting (ETCM, 2017. ,
Adaptive entitlement control of resource containers on shared servers, 9th IFIP/IEEE International Symposium on Integrated Network Management, 2005. ,
What does control theory bring to systems research, ACM SIGOPS Oper. Sys. Rev, vol.43, issue.1, 2009. ,