Skip to Main content Skip to Navigation

Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat

Adja Sylla 1 Karine Guillouard 1 Frédéric Klamm 1 Meryem Ouzzif 1 Philippe Merle 2 Souha Ben Rayana 3 Jean-Bernard Stefani 3
2 SPIRALS - Self-adaptation for distributed services and large software systems
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
3 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Complete list of metadatas

Cited literature [24 references]  Display  Hide  Download

https://hal.inria.fr/hal-02375386
Contributor : Philippe Merle <>
Submitted on : Friday, November 22, 2019 - 3:51:06 AM
Last modification on : Friday, March 6, 2020 - 2:26:20 PM

File

Formal Verification of Orchest...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02375386, version 1

Citation

Adja Sylla, Karine Guillouard, Frédéric Klamm, Meryem Ouzzif, Philippe Merle, et al.. Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat. CNSM 2019 - 15th International Conference on Network and Service Management, Oct 2019, Halifax, Canada. pp.1-5. ⟨hal-02375386⟩

Share

Metrics

Record views

61

Files downloads

123