E. Albert, F. S. De-boer, R. Hähnle, E. B. Johnsen, R. Schlatte et al., Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS, Service Oriented Computing and Applications, pp.323-339, 2014.
DOI : 10.1007/s10009-012-0250-1

N. Bezirgiannis and F. De-boer, ABS: A High-Level Modeling Language for Cloud-Aware Programming, SOFSEM 2016: Theory and Practice of Computer Science, pp.433-444, 2016.
DOI : 10.1007/978-3-662-49192-8_35

F. S. De-boer and S. De-gouw, Combining Monitoring with Run-Time Assertion Checking, pp.217-262, 2014.
DOI : 10.1023/A:1022920129859

R. N. Calheiros, R. Ranjan, A. Beloglazov, C. A. De-rose, and R. Buyya, CloudSim: a toolkit for modeling and simulation of cloud computing environments and evaluation of resource provisioning algorithms, Software: Practice and Experience, vol.43, issue.4, pp.23-50, 2011.
DOI : 10.1109/MC.2010.111

E. Giachino, S. De-gouw, C. Laneve, and B. Nobakht, Statically and Dynamically Verifiable SLA Metrics, pp.211-225, 2016.
DOI : 10.1007/978-3-319-24072-5_9
URL : https://hal.archives-ouvertes.fr/hal-01336836

S. De-gouw, J. Mauro, B. Nobakht, and G. Zavattaro, Declarative Elasticity in ABS, Service-Oriented and Cloud Computing -5th IFIP WG 2.14 European Conference Proceedings. pp, pp.118-134, 2016.
DOI : 10.1145/2792980

E. B. Johnsen, Separating Cost and Capacity for Load Balancing in ABS Deployment Models, Formal Methods for Components and Objects -11th International Symposium , FMCO 2012, pp.145-167, 2012.
DOI : 10.1007/978-3-642-40615-7_5

E. B. Johnsen, R. Schlatte, and S. L. Tarifa, Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS, Formal Methods and Software Engineering -14th International Conference on Formal Engineering Methods, ICFEM 2012 Proceedings. pp, pp.71-86, 2012.
DOI : 10.1007/978-3-642-34281-3_8

D. Kliazovich, P. Bouvry, Y. Audzevich, and S. U. Khan, Greencloud: A packet-level simulator of energy-aware cloud computing data centers, IEEE Global Telecommunications Conference GLOBECOM 2010, pp.1-5, 2010.

A. Núñez, J. L. Vázquez-poletti, A. C. Caminero, G. G. Castañé, J. Carretero et al., iCanCloud: A Flexible and Scalable Cloud Infrastructure Simulator, Journal of Grid Computing, vol.20, issue.13, pp.185-209, 2012.
DOI : 10.1002/cpe.1307