Davy Rouillard

According to our database1, Davy Rouillard authored at least 3 papers between 2002 and 2008.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
VisAA: Visual analyzer for assembler.
Proceedings of the CRiSIS '08, 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


  Loading...