Formally Reasoning on a Reconfigurable Component-Based System - A Case Study for the Industrial World. - Nuno Gaspar; Ludovic Henrio; Eric Madelaine (FACS, 2013)

Bringing Coq into the World of GCM Distributed Applications. - Nuno Gaspar; Ludovic Henrio; Eric Madelaine (Int. J. Parallel Program., 2014)

Mechanized support for the formal specification, verification and deployment of component-based applications. (Support mécanisé pour la spécification formelle, la vérification et le déploiement d'applications à base de composants). - Nuno Gaspar (2014)

Painless Support for Static and Runtime Verification of Component-Based Applications. - Nuno Gaspar; Ludovic Henrio; Eric Madelaine (FSEN, 2015)