, DevOps: A Software Architect's Perspective, 2015.
,
Key-abs: A deductive verification tool for the concurrent modelling language ABS, 2015. ,
A framework for deadlock detection in core ABS ,
URL : https://hal.archives-ouvertes.fr/hal-01229046
, , 2014.
, A Declarative Approach to 1560 Automated Configuration, 2012.
Automated synthesis and deployment of cloud applications, 2014. ,
Auto-scaling web applications in clouds: 1565 A taxonomy and survey, ACM Comput. Surv, vol.51, issue.4, 2018. ,
Kubernetes: Up and Running Dive into the Future of Infrastructure, p.1570, 2017. ,
Smartscale: Automatic application scaling in enterprise clouds, 2012 IEEE Fifth International Conference on Cloud Computing, pp.221-228, 2012. ,
Modeling the impact of workload on cloud resource scaling, 26th IEEE International Symposium on Computer Architecture and High Performance Computing, pp.310-317, 2014. ,
, , p.63
An open-source benchmark suite for mi-1585 croservices and their hardware-software implications for cloud & edge systems, pp.3-18, 2019. ,
On the Integration of Automatic Deployment into the ABS Modeling Language, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01170926
Declarative elasticity in ABS, LNCS, vol.9846, pp.118-134, 2016. ,
,
,
, Topology and Orchestration Specification for Cloud Applications (TOSCA) Version
, Organization for the Advancement of Structured Information Standards (OASIS, OASIS
, Business Process Model and Notation (BPMN)
, Juju, devops distilled
A systematic review of cloud modeling languages, ACM Comput. Surv, vol.51, issue.1), 2018. ,
, MARTE profile
Aeolus: A component model for the cloud, Inf. Comput, vol.239, pp.100-121, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01091062
Automatic deployment of componentbased applications, Sci. Comput. Program, vol.113, pp.261-284, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01233485
Fault-Aware Application Management Protocols, LNCS, vol.9846, pp.219-234, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01638591
Reliable selfdeployment of distributed cloud applications, Softw., Pract. Exper, vol.47, issue.1, pp.3-20, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01290465
, A Site Configuration Engine, Computing Systems
Puppet: Next-generation configuration management, ;login: the USENIX magazine (1) ,
, Marionette collective
,
Engage: a deployment management system, 2012. ,
Cloudopt: Multi-goal 1630 optimization of application deployments across a cloud, pp.1-9, 2011. ,
Scheduling strategies for optimal service deployment across multiple clouds, Future Generation Comp. Syst, vol.29, issue.6, pp.1431-1441, 2013. ,
Optimal deployment of geographically distributed workflow engines on the cloud, pp.811-816, 2014. ,
Cost-optimal cloud service placement under dynamic pricing schemes, IEEE/ACM UCC, pp.187-194, 2013. ,
Software architecture optimization methods: A systematic literature review, Software Engineering, vol.227, pp.77-78, 2014. ,
, , p.1645
Verification of a Self-configuration Protocol for Distributed Applications in the Cloud, Assurances for Self-Adaptive Systems, vol.7740, pp.60-79, 1650. ,
, Open Virtualization Format Specification Version, DMTF (Distributed Management Task Force)
,
JCloudScale: Closing the Gap Between IaaS and PaaS, ACM Trans. Internet Techn, vol.15, issue.3, p.10, 2015. ,
, Apache Software Foundation
, OASIS, Cloud Application Management for Platforms
EC3: elastic cloud computing cluster, J. Comput. Syst. Sci, vol.79, issue.8, pp.1341-1351, 2013. ,
, Kubernetes Authors, Kubernetes
The SmartFrog configuration management framework, Operating Systems Review, issue.1 ,
DADL: Distributed Application Description Language ,
, Zephyrus2: 1675 On the Fly Deployment Optimization Using SMT and CP Technologies, vol.9984, pp.229-245, 2016.
Automatic Application Deployment in the Cloud: from Practice to Theory and Back, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01233426
Run-time verification of coboxes, in: Software Engineering and Formal Methods -11th International Conference, SEFM 2013, pp.259-273, 2013. ,
Testing abstract behavioral specifications, STTT, vol.17, issue.1, pp.107-119, 2015. ,
Human-in-the-loop simulation 1690 of cloud services, Lecture Notes in Computer Science, vol.10465, pp.143-158, 2017. ,
Minimal unsatisfiable core extraction for SMT, pp.57-64, 2016. ,