FIDL Spécifications formelles en IDL3. - Arnaud Bailly; Isabelle Ryl; Mireille Clerbout (Obj. Logiciel Base données Réseaux, 2003)

Component Composition Preserving Behavioural Contracts Based on Communication Traces. - Arnaud Bailly; Mireille Clerbout; Isabelle Simplot-Ryl (CIAA, 2005)

Component composition preserving behavioral contracts based on communication traces. - Arnaud Bailly; Mireille Clerbout; Isabelle Simplot-Ryl (Theor. Comput. Sci., 2006)

Applying Continuous Formal Methods to Cardano (Experience Report). - James Chapman 001; Arnaud Bailly; Polina Vinogradova (FUNARCH, 2024)