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 (IWTCS, 1999)

Scale-Adaptive Landmark Detection, Classification and Size Estimation in 3D Object-Background Images. - René G. de Vries; Piet W. Verbeek (ICPR, 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 (TestCom, 2000)

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

Automated Testing in Practice: The Highway Tolling System. - René G. de Vries; Axel Belinfante; Jan Feenstra (TestCom, 2002)

Integrating Verification, Testing, and Learning for Cryptographic Protocols. - Martijn Oostdijk; Vlad Rusu; Jan Tretmans; René G. de Vries; Tim A. C. Willemse (IFM, 2007)