Valérie Roy

Publication Activity (10 Years)

Years Active: 1989-2008
Publications (10 Years): 0

Publications

Annie Ressouche, Daniel Gaffé, Valérie Roy
Modular Compilation of a Synchronous Language CoRR (2008)
Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone
The FC2TOOLS Set. CAV (1996)
Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone
The FC2TOOLS Set (Tool Demonstration). TACAS (1996)
Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone
The FC2TOOLS Set. AMAST (1996)
Valérie Roy, Robert de Simone
Auto/Autograph. Formal Methods Syst. Des. 1 (2/3) (1992)
Valérie Roy, Robert de Simone
Auto/Autograph. CAV (DIMACS/AMS volume) (1990)
Valérie Roy, Robert de Simone
Auto/Autograph. CAV (1990)
Gérard Boudol, Valérie Roy, Robert de Simone, Didier Vergamini
Process Calculi, from Theory to Practice: Verification Tools. Automatic Verification Methods for Finite State Systems (1989)