Accéder directement au contenu

Philippe Merle

6
Documents
Identifiants chercheurs

Présentation

Publications

"jean-bernard-stefani"
Image document

In-depth analysis of Kubernetes manifest verification tools for robust CNF deployment

Boubacar Diarra , Karine Guillouard , Meryem Ouzzif , Philippe Merle , Jean-Bernard Stefani
ICIN 2024 - Conference on Innovation in Clouds, Internet and Networks, DNAC, Mar 2024, Paris, France. pp.1-8
Communication dans un congrès hal-04421758v1
Image document

Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat

Adja Ndeye Sylla , Karine Guillouard , Frédéric Klamm , Meryem Ouzzif , Philippe Merle
CNSM 2019 - 15th International Conference on Network and Service Management, Oct 2019, Halifax, Canada. pp.1-5, ⟨10.23919/CNSM46954.2019.9012739⟩
Communication dans un congrès hal-02375386v1
Image document

Reconfigurable SCA Applications with the FraSCAti Platform

Lionel Seinturier , Philippe Merle , Damien Fournier , Nicolas Dolet , Valerio Schiavoni
6th IEEE International Conference on Service Computing (SCC'09), IEEE, Sep 2009, Bangalore, India. pp.268-275
Communication dans un congrès inria-00397856v1