René G. de Vries

According to our database1, René G. de Vries authored at least 6 papers between 1999 and 2007.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2007
Integrating Verification, Testing, and Learning for Cryptographic Protocols.
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2002
Automated Testing in Practice: The Highway Tolling System.
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

2000
On-the-fly Conformance Testing using SPIN.
Int. J. Softw. Tools Technol. Transf., 2000

Formal Test Automation: The Conference Protocol with TGV/TORX.
Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13<sup>th</sup> International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000

Scale-Adaptive Landmark Detection, Classification and Size Estimation in 3D Object-Background Images.
Proceedings of the 15th International Conference on Pattern Recognition, 2000

1999
Formal Test Automation: A Simple Experiment.
Proceedings of the Testing of Communicating Systems: Method and Applications, 1999


  Loading...