Arnaud Bailly

According to our database, Arnaud Bailly authored at least 3 papers between 2003 and 2006.

Collaborative distances:

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

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