Travelled to:1 × Germany
1 × Spain
1 × United Kingdom
Collaborated with:A.Belinfante P.W.Verbeek J.Feenstra J.Tretmans M.Oostdijk V.Rusu T.A.C.Willemse L.d.Bousquet S.Ramangalahy S.Simon C.Viho N.Goga L.M.G.Feijs S.Mauw L.Heerink
Talks about:test (4) autom (3) protocol (2) formal (2) cryptograph (1) background (1) landmark (1) practic (1) highway (1) classif (1)
Person: René G. de Vries
DBLP: Vries:Ren=eacute=_G=_de
Contributed to:
2007
2002
200020001999Wrote 5 papers:
- IFM-2007-OostdijkRTVW #encryption #learning #protocol #testing #verification
- Integrating Verification, Testing, and Learning for Cryptographic Protocols (MO, VR, JT, RGdV, TACW), pp. 538–557.
- TestCom-2002-VriesBF #automation #testing
- Automated Testing in Practice: The Highway Tolling System (RGdV, AB, JF), pp. 219–234.
- ICPR-v3-2000-VriesV #3d #adaptation #classification #detection #estimation #image
- Scale-Adaptive Landmark Detection, Classification and Size Estimation in 3D Object-Background Images (RGdV, PWV), pp. 7026–7029.
- TestCom-2000-BousquetRSVBV #automation #protocol #testing
- Formal Test Automation: The Conference Protocol with TGV/TORX (LdB, SR, SS, CV, AB, RGdV), pp. 221–228.
- IWTCS-1999-BelinfanteFVTGFMH #automation #empirical #testing
- Formal Test Automation: A Simple Experiment (AB, JF, RGdV, JT, NG, LMGF, SM, LH), pp. 179–196.