E. Albert, P. Arenas, A. Flores-montoya, S. Genaim, M. Gómez-zamalloa et al., SACO: Static Analyzer for Concurrent Objects, TACAS, pp.562-567, 2014.
DOI : 10.1007/978-3-642-54862-8_46

E. Albert, F. De-boer, R. Hähnle, E. B. Johnsen, and C. Laneve, Engineering virtualized services, Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies, NordiCloud '13, pp.59-63, 2013.
DOI : 10.1145/2513534.2513545

URL : https://hal.archives-ouvertes.fr/hal-00909294

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, vol.14, issue.5, pp.323-339, 2014.
DOI : 10.1007/s11761-013-0148-0

E. Albert, M. Gómez-zamalloa, and M. Isabel, SYCO: a systematic testing tool for concurrent objects, Proceedings of the 25th International Conference on Compiler Construction, CC 2016, 2016.
DOI : 10.1145/2892208.2892236

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

B. W. Boehm and P. N. Papaccio, Understanding and controlling software costs, IEEE Transactions on Software Engineering, vol.14, issue.10, pp.1462-1477, 1988.
DOI : 10.1109/32.6191

C. C. Din, R. Bubel, and R. Hähnle, KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS, CADE, LNCS 9195, 2015.
DOI : 10.1007/978-3-319-21401-6_35

E. Giachino, C. Laneve, and M. Lienhardt, A Framework for Deadlock Detection in ABS. Software and Systems Modeling, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01229046

R. Hähnle and E. B. Johnsen, Designing Resource-Aware Cloud Applications, Computer, vol.48, issue.6, pp.72-75, 2015.
DOI : 10.1109/MC.2015.172

E. B. Johnsen, R. Hähnle, J. Schäfer, R. Schlatte, and M. Steffen, ABS: A Core Language for Abstract Behavioral Specification, FMCO, pp.142-164, 2011.
DOI : 10.2498/cit.2002.01.01

E. B. Johnsen, R. Schlatte, and S. L. Tapia-tarifa, Integrating deployment architectures and resource consumption in timed object-oriented models, Journal of Logical and Algebraic Methods in Programming, vol.84, issue.1, pp.67-91, 2015.
DOI : 10.1016/j.jlamp.2014.07.001

J. Lin, I. C. Yu, E. B. Johnsen, and M. Lee, ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters, FASE, LNCS 9633, 2016.
DOI : 10.1007/s10009-012-0250-1

B. Nobakht, S. De-gouw, and F. S. De-boer, Formal Verification of Service Level Agreements Through Distributed Monitoring, ESOCC, LNCS 9306, pp.125-140, 2015.
DOI : 10.1007/978-3-319-24072-5_9