Jacques Raguideau

Publication Activity (10 Years)

Years Active: 1994-2002
Publications (10 Years): 0

Publications

Adriana Carloganu, Jacques Raguideau
CLAIRE: An Event-Driven Simulation Tool for Test and Validation of Software Programs. DSN (2002)
Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen, Nicky Williams
CAVEAT: A Tool for Software Validation. DSN (2002)
Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen
Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach. World Congress on Formal Methods (1999)
Jacques Raguideau, Dominique Schoen, Jean-Yves Henry, Jacques Boulc'h
CLAIRE: an event-driven simulation tool for testing software. ISSRE (1994)
C. Antoine, Patrick Baudin, J. M. Collart, Jacques Raguideau, A. Trotin
Using formal methods to validate C programs. ISSRE (1994)