| 2008 |
|---|
| 7 | EE | Annie Ressouche,
Daniel Gaffé,
Valérie Roy:
Modular Compilation of a Synchronous Language
CoRR abs/0801.3715: (2008) |
| 1996 |
|---|
| 6 | | Amar Bouali,
Annie Ressouche,
Valérie Roy,
Robert de Simone:
The FC2TOOLS Set.
AMAST 1996: 595-598 |
| 5 | | Amar Bouali,
Annie Ressouche,
Valérie Roy,
Robert de Simone:
The FC2TOOLS Set.
CAV 1996: 441-445 |
| 4 | | Amar Bouali,
Annie Ressouche,
Valérie Roy,
Robert de Simone:
The FC2TOOLS Set (Tool Demonstration).
TACAS 1996: 396 |
| 1992 |
|---|
| 3 | | Valérie Roy,
Robert de Simone:
Auto/Autograph.
Formal Methods in System Design 1(2/3): 239-249 (1992) |
| 1990 |
|---|
| 2 | | Valérie Roy,
Robert de Simone:
Auto/Autograph.
CAV 1990: 65-75 |
| 1989 |
|---|
| 1 | | 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: 1-10 |
