D. Petcu, Multi-Cloud, Proceedings of the 2013 international workshop on Multi-cloud applications and federated clouds, MultiCloud '13, pp.1-6, 2013.
DOI : 10.1145/2462326.2462328

S. Challita, F. Paraiso, and P. Merle, Towards Formal-Based Semantic Interoperability in Multi-Clouds: The FCLOUDS Framework, 2017 IEEE 10th International Conference on Cloud Computing (CLOUD), pp.710-713, 2017.
DOI : 10.1109/CLOUD.2017.98
URL : https://hal.archives-ouvertes.fr/hal-01519831

N. Ferry, F. Chauvel, H. Song, A. Rossini, M. Lushpenko et al., CloudMF, ACM Transactions on Internet Technology, vol.18, issue.2, p.16, 2018.
DOI : 10.1109/ICSE.2015.201

C. Quinton, D. Romero, and L. Duchien, SALOON: a platform for selecting and configuring cloud environments, Software: Practice and Experience, pp.55-78, 2016.
DOI : 10.1109/MC.2003.1160055
URL : https://hal.archives-ouvertes.fr/hal-01011039

D. Jackson, Software Abstractions: logic, language, and analysis, 2012.

R. Nyrén, A. Edmonds, A. Papaspyrou, T. Metsch, and B. Parák, Open Cloud Computing Interface -Infrastructure, " Open Grid Forum, Specification Document GFD, 2016.

T. Metsch and M. Mohamed, Open Cloud Computing Interface - Platform Open Grid Forum, Specification Document GFD, 2016.

R. Nyrén, A. Edmonds, A. Papaspyrou, T. Metsch, and B. Parák, Open Cloud Computing Interface -Core, " Open Grid Forum, Specification Document GFD, 2016.

R. Nyrén, A. Edmonds, T. Metsch, and B. Parák, Open Cloud Computing Interface -HTTP Protocol, " Open Grid Forum, Specification Document GFD, 2016.

M. Ahmed-nacer, S. Tata, W. Gaaloul, P. Merle, J. Parpaillon et al., OCCIware Deliverable 2.2.2, 2016.

P. Merle, O. Barais, J. Parpaillon, N. Plouzeau, and S. Tata, A Precise Metamodel for Open Cloud Computing Interface, 2015 IEEE 8th International Conference on Cloud Computing, pp.852-859, 2015.
DOI : 10.1109/CLOUD.2015.117
URL : https://hal.archives-ouvertes.fr/hal-01188800

A. Garis, A. C. Paiva, A. Cunha, and D. Riesco, International Conference on Integrated Formal Methods, pp.312-326, 2012.

M. Belshe, M. Thomson, and R. Peon, Hypertext Transfer Protocol Version, vol.2, issue.2, 2015.

M. Drescher, B. Parák, and D. Wallom, Open Cloud Computing Interface -Compute Resource Template Profile Open Grid Forum, Specification Document GFD, 2016.

F. Paraiso, S. Challita, Y. Dhuraibi, and P. Merle, Model-Driven Management of Docker Containers, 2016 IEEE 9th International Conference on Cloud Computing (CLOUD), pp.718-725, 2016.
DOI : 10.1109/CLOUD.2016.0100
URL : https://hal.archives-ouvertes.fr/hal-01314827

S. Challita, F. Paraiso, and P. Merle, A Precise Model for Google Cloud Platform, 2018 IEEE International Conference on Cloud Engineering (IC2E), 2018.
DOI : 10.1109/IC2E.2018.00041
URL : https://hal.archives-ouvertes.fr/hal-01689659

F. Zalila, P. Merle, J. Parpaillon, S. Kallel, M. Ahmed-nacer et al., OCCI Extension Models, 2017.

F. Korte, S. Challita, F. Zalila, P. Merle, and J. Grabowski, Model-driven Configuration Management of Cloud Applications with OCCI, Proceedings of the 8th International Conference on Cloud Computing and Services Science, pp.100-111, 2018.
DOI : 10.5220/0006693001000111
URL : https://hal.archives-ouvertes.fr/hal-01678945

P. Merle, C. Gourdin, and N. Mitton, Mobile Cloud Robotics as a Service with OCCIware, 2017 IEEE International Congress on Internet of Things (ICIOT), pp.710-713, 2017.
DOI : 10.1109/IEEE.ICIOT.2017.15
URL : https://hal.archives-ouvertes.fr/hal-01522684

E. Rachkidi, D. Bela¨?dbela¨?d, N. Agoulmine, and N. Chendeb, Cloud of Things Modeling for Efficient and Coordinated Resources Provisioning, OTM Confederated International Conferences " On the Move to Meaningful Internet Systems, pp.175-193, 2017.
DOI : 10.1093/comjnl/bxu132
URL : https://hal.archives-ouvertes.fr/hal-01637145

G. Katsaros, Open Cloud Computing Interface -Service Level Agreements Open Grid Forum, Specification Document GFD, 2016.

A. Ciuffoletti, Open Cloud Computing Interface -Monitoring Extension Open Grid Forum, Specification Document 1, 2016.

M. Ahmed-nacer, W. Gaaloul, and S. Tata, OCCI-Compliant Cloud Configuration Simulation, 2017 IEEE International Conference on Edge Computing (EDGE), pp.73-81, 2017.
DOI : 10.1109/IEEE.EDGE.2017.18
URL : https://hal.archives-ouvertes.fr/hal-01523933

R. , D. Cosmo, S. Zacchiroli, and G. Zavattaro, Towards a Formal Component Model for the Cloud, International Conference on Software Engineering and Formal Methods, pp.156-171, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00909369

Z. Benzadri, F. Belala, and C. Bouanaka, Towards a Formal Model for Cloud Computing, International Conference on Service-Oriented Computing, pp.381-393, 2013.
DOI : 10.1007/978-3-319-06859-6_34

C. Newcombe, T. Rath, F. Zhang, B. Munteanu, M. Brooker et al., How Amazon web services uses formal methods, Communications of the ACM, vol.58, issue.4, pp.66-73, 2015.
DOI : 10.1145/2185376.2185383

A. Brogi, A. Canciani, J. Soldani, and P. Wang, A Petri Net-Based Approach to Model and Analyze the Management of Cloud Applications, Transactions on Petri Nets and Other Models of Concurrency XI, pp.28-48, 2016.
DOI : 10.1016/j.jss.2015.12.025

R. Bobba, J. Grov, I. Gupta, S. Liu, J. Meseguer et al., Design, Formal Modeling, and Validation of Cloud Storage Systems Using Maude, 2017.

L. Lamport, Specifying Systems: the TLA+ Language and Tools for Hardware and Software Engineers, 2002.

D. W. Loveland, Automated Theorem Proving: a logical basis, 2016.

B. Barras, S. Boutin, C. Cornes, J. Courant, J. Filliatre et al., The Coq Proof Assistant Reference Manual: Version 6, 1997.
URL : https://hal.archives-ouvertes.fr/inria-00069968