Arnaud Bailly

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 1

Top Topics

Development Lifecycle

Provably Correct

Top Venues

Publications

James Chapman, Arnaud Bailly, Polina Vinogradova
Applying Continuous Formal Methods to Cardano (Experience Report). FUNARCH (2024)
Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl
Component composition preserving behavioral contracts based on communication traces. Theor. Comput. Sci. 363 (2) (2006)
Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl
Component Composition Preserving Behavioural Contracts Based on Communication Traces. CIAA (2005)
Arnaud Bailly, Isabelle Ryl, Mireille Clerbout
FIDL Spécifications formelles en IDL3. Obj. Logiciel Base données Réseaux 9 (1-2) (2003)