Davy Rouillard
According to our database1,
Davy Rouillard
authored at least 3 papers
between 2002 and 2008.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2008
2002
Application de techniques de preuve assistée pour la spécification, la vérification et le test. (assisted proof methods for the specification, verification and test).
PhD thesis, 2002
Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis.
Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002