Integrating Verification, Testing, and Learning for Cryptographic Protocols - Martijn Oostdijk; Vlad Rusu; Jan Tretmans; René G. de Vries; Tim A. C. Willemse (Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007)

Automated Testing in Practice: The Highway Tolling System - René G. de Vries; Axel Belinfante; Jan Feenstra (Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems - TestCom 2002, Berlin, Germany, March 19-22, 2002, 2002)

On-the-fly Conformance Testing using SPIN - René G. de Vries; Jan Tretmans (Int. J. Softw. Tools Technol. Transf., 2000)

Scale-Adaptive Landmark Detection, Classification and Size Estimation in 3D Object-Background Images - René G. de Vries; Piet W. Verbeek (15th International Conference on Pattern Recognition, ICPR'00, Barcelona, Spain, September 3-8, 2000, 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 (Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13\(^th\) International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada, 2000)

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 (Testing of Communicating Systems: Method and Applications, IFIP TC6 12\(^th\) International Workshop on Testing Communicating Systems, September 1-3, 1999, Budapest, Hungary, 1999)