Automated Reverse-Engineering of a Cloud API Stéphanie Challita's PhD Defense Presentation MoDMaCAO: Model-Driven Configuration Management of Cloud Applications with OCCI (CLOSER'2018) Specifying Semantic Interoperability between Heterogeneous Cloud Resources with the fclouds Formal Language (CLOUD'2018) PechaKucha (FormaliSE'2018) A Precise Model for Google Cloud Platform (IC2E'2018) Towards Formal-based Semantic Interoperability in Multi-Clouds (CLOUD'2017) A Study of Virtual Machine Placement Optimization in Data Centers (CLOSER'2017) 
