Jacques Raguideau

According to our database, Jacques Raguideau authored at least 5 papers between 1994 and 2002.

Collaborative distances:

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

2002

CLAIRE: An Event-Driven Simulation Tool for Test and Validation of Software Programs.

Adriana Carloganu, Jacques Raguideau

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

CAVEAT: A Tool for Software Validation.

Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen, Nicky Williams

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

1999

Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach.

Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen

Proceedings of the FM'99 - Formal Methods, 1999

1994

CLAIRE: an event-driven simulation tool for testing software.

Jacques Raguideau, Dominique Schoen, Jean-Yves Henry, Jacques Boulc'h

Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

Using formal methods to validate C programs.

C. Antoine, Patrick Baudin, J. M. Collart, Jacques Raguideau, A. Trotin

Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994