René G. de Vries

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Integrating Verification, Testing, and Learning for Cryptographic Protocols.

Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2002

Automated Testing in Practice: The Highway Tolling System.

René G. de Vries, Axel Belinfante, Jan Feenstra

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.

René G. de Vries, Jan Tretmans

Int. J. Softw. Tools Technol. Transf., 2000

Formal Test Automation: The Conference Protocol with TGV/TORX.

Lydie du Bousquet, Solofo Ramangalahy, Séverine Simon, César Viho, Axel Belinfante, René G. de Vries

Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13^th International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000

Scale-Adaptive Landmark Detection, Classification and Size Estimation in 3D Object-Background Images.

René G. de Vries, Piet W. Verbeek

Proceedings of the 15th International Conference on Pattern Recognition, 2000

1999

Formal Test Automation: A Simple Experiment.

Axel Belinfante, Jan Feenstra, René G. de Vries, Jan Tretmans, Nicolae Goga, Loe M. G. Feijs, Sjouke Mauw, Lex Heerink

Proceedings of the Testing of Communicating Systems: Method and Applications, 1999