International Conferences

1. Frédéric Loulergue, Mohamed Haady Tiemtore, Semantics of a Subset of Puppet 4.8 Mechanized in Why3. In International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLa), LNCS, Springer, 2026, to appear.

Previous publications

We start the project from the following contributions:

• Farid Arfi, Hélène Coullon, Frédéric Loulergue, Jolan Philippe, Simon Robillard. An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization. In Interaction and Concurrency Experiences 2024 (ICE'24) hosted at DisCoTec 2024, Groningen, The Netherlands.

• Jolan Philippe, Antoine Omond, Hélène Coullon, Charles Prud’homme, Issam Rais. Fast Choreography of Cross-DevOps Reconfiguration with Ballet: A Multi-Site OpenStack Case Study. In the IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), March 2024, Finland.

• Hélène Coullon, Ludovic Henrio, Frédéric Loulergue, Simon Robillard. Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey. In ACM Computing Surveys, 2024.

• Simon Robillard, Hélène Coullon. SMT-Based Planning Synthesis for DistributedSystem Reconfigurations. In FASE 2022, Munich, Germany.

• Maverick Chardet, Hélène Coullon, Simon Robillard. Toward Safe and Efficient Reconfiguration with Concerto. In Science of Computer Porgamming, 2021.

• Maverick Chardet, Hélène Coullon, Christian Perez. Predictable Efficiency for Reconfiguration of Service-Oriented Systems with Concerto. In CCGrid 2020, Melbourne, Australia.

• Hélène Coullon, Didier Lime, Claude Jard. Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning. In iFM 2019, Bergen, Norway.