René G. de Vries

Publication Activity (10 Years)

Years Active: 1999-2007
Publications (10 Years): 0

Publications

Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse
Integrating Verification, Testing, and Learning for Cryptographic Protocols. IFM (2007)
René G. de Vries, Axel Belinfante, Jan Feenstra
Automated Testing in Practice: The Highway Tolling System. TestCom (2002)
Lydie du Bousquet, Solofo Ramangalahy, Séverine Simon, César Viho, Axel Belinfante, René G. de Vries
Formal Test Automation: The Conference Protocol with TGV/TORX. TestCom (2000)
René G. de Vries, Piet W. Verbeek
Scale-Adaptive Landmark Detection, Classification and Size Estimation in 3D Object-Background Images. ICPR (2000)
René G. de Vries, Jan Tretmans
On-the-fly Conformance Testing using SPIN. Int. J. Softw. Tools Technol. Transf. 2 (4) (2000)
Axel Belinfante, Jan Feenstra, René G. de Vries, Jan Tretmans, Nicolae Goga, Loe M. G. Feijs, Sjouke Mauw, Lex Heerink
Formal Test Automation: A Simple Experiment. IWTCS (1999)