Process Calculi, from Theory to Practice: Verification Tools. - Gérard Boudol; Valérie Roy; Robert de Simone; Didier Vergamini (Automatic Verification Methods for Finite State Systems, 1989)

Auto/Autograph. - Valérie Roy; Robert de Simone (CAV (DIMACS/AMS volume), 1990)

The FC2TOOLS Set. - Amar Bouali; Annie Ressouche; Valérie Roy; Robert de Simone (AMAST, 1996)

The FC2TOOLS Set (Tool Demonstration). - Amar Bouali; Annie Ressouche; Valérie Roy; Robert de Simone (TACAS, 1996)

Modular Compilation of a Synchronous Language - Annie Ressouche; Daniel Gaffé; Valérie Roy (CoRR, 2008)