Arnaud Bailly

According to our database, Arnaud Bailly authored at least 4 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Applying Continuous Formal Methods to Cardano (Experience Report).

James Chapman, Arnaud Bailly, Polina Vinogradova

Proceedings of the 2nd ACM SIGPLAN International Workshop on Functional Software Architecture, 2024

2006

Component composition preserving behavioral contracts based on communication traces.

Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl

Theor. Comput. Sci., 2006

2005

Component Composition Preserving Behavioural Contracts Based on Communication Traces.

Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl

Proceedings of the Implementation and Application of Automata, 2005

2003

FIDL Spécifications formelles en IDL3.

Arnaud Bailly, Isabelle Ryl, Mireille Clerbout

Obj. Logiciel Base données Réseaux, 2003