Valérie Roy

According to our database¹, Valérie Roy authored at least 5 papers between 1989 and 2008.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2008

Modular Compilation of a Synchronous Language

[BibT_eX]

[DOI]

Annie Ressouche

Daniel Gaffé

Valérie Roy

CoRR, 2008

1996

The FC2TOOLS Set (Tool Demonstration).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

The FC2TOOLS Set.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1992

Auto/Autograph.

[BibT_eX]

[DOI]

Valérie Roy

Robert de Simone

Formal Methods Syst. Des., 1992

1989

Process Calculi, from Theory to Practice: Verification Tools.

[BibT_eX]

[DOI]

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

Valérie Roy

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...