- 2
- 2
- 1
- 1
Philippe Merle
6
Documents
Identifiants chercheurs
- philippe-merle
- 0000-0003-3573-7312
- IdRef : 035777214
- 0000-0001-8423-8806
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
|
A Component-Based Middleware Platform for Reconfigurable Service-Oriented ArchitecturesSoftware: Practice and Experience, 2012, 42 (5), pp.559-583. ⟨10.1002/spe.1077⟩
Article dans une revue
inria-00567442v1
|
|
In-depth analysis of Kubernetes manifest verification tools for robust CNF deploymentICIN 2024 - Conference on Innovation in Clouds, Internet and Networks, DNAC, Mar 2024, Paris, France. pp.1-8
Communication dans un congrès
hal-04421758v1
|
|
Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack HeatCNSM 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
|
|
Reconfigurable SCA Applications with the FraSCAti Platform6th IEEE International Conference on Service Computing (SCC'09), IEEE, Sep 2009, Bangalore, India. pp.268-275
Communication dans un congrès
inria-00397856v1
|
|
Towards a formal reference computational model for cloud configuration management[Research Report] RR-9317, INRIA. 2020
Rapport
hal-02940938v1
|
|
A formal specification of the Fractal component model in Alloy[Research Report] RR-6721, INRIA. 2008, pp.44
Rapport
inria-00338987v1
|