Search the dblp DataBase

Publications of Author

1. René G. de Vries, Piet W. Verbeek
   Scale-Adaptive Landmark Detection, Classification and Size Estimation in 3D Object-Background Images. [Citation Graph (0, 0)][DBLP]
   ICPR, 2000, pp:7026-7029 [Conf]
   
2. 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. [Citation Graph (0, 0)][DBLP]
   IWTCS, 1999, pp:179-196 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   TestCom, 2000, pp:221-228 [Conf]
   
4. René G. de Vries, Axel Belinfante, Jan Feenstra
   Automated Testing in Practice: The Highway Tolling System. [Citation Graph (0, 0)][DBLP]
   TestCom, 2002, pp:219-234 [Conf]
   
5. René G. de Vries, Jan Tretmans
   On-the-fly Conformance Testing using SPIN. [Citation Graph (0, 0)][DBLP]
   STTT, 2000, v:2, n:4, pp:382-393 [Journal]
   
6. Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse
   Integrating Verification, Testing, and Learning for Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
   IFM, 2007, pp:538-557 [Conf]