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