BibTeX records: René G. de Vries

• > Home > Persons > René G. de Vries

@inproceedings{DBLP:conf/ifm/OostdijkRTVW07,
  author       = {Martijn Oostdijk and
                  Vlad Rusu and
                  Jan Tretmans and
                  Ren{\'{e}} G. de Vries and
                  Tim A. C. Willemse},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Integrating Verification, Testing, and Learning for Cryptographic
                  Protocols},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {538--557},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_28},
  doi          = {10.1007/978-3-540-73210-5\_28},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/OostdijkRTVW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/VriesBF02,
  author       = {Ren{\'{e}} G. de Vries and
                  Axel Belinfante and
                  Jan Feenstra},
  editor       = {Ina Schieferdecker and
                  Hartmut K{\"{o}}nig and
                  Adam Wolisz},
  title        = {Automated Testing in Practice: The Highway Tolling System},
  booktitle    = {Testing of Communicating Systems XIV, Applications to Internet Technologies
                  and Services, Proceedings of the {IFIP} 14th International Conference
                  on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
                  March 19-22, 2002},
  series       = {{IFIP} Conference Proceedings},
  volume       = {210},
  pages        = {219--234},
  publisher    = {Kluwer},
  year         = {2002},
  timestamp    = {Mon, 22 Jul 2002 15:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/VriesBF02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/VriesT00,
  author       = {Ren{\'{e}} G. de Vries and
                  Jan Tretmans},
  title        = {On-the-fly Conformance Testing using {SPIN}},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {2},
  number       = {4},
  pages        = {382--393},
  year         = {2000},
  url          = {https://doi.org/10.1007/s100090050044},
  doi          = {10.1007/S100090050044},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/VriesT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icpr/VriesV00,
  author       = {Ren{\'{e}} G. de Vries and
                  Piet W. Verbeek},
  title        = {Scale-Adaptive Landmark Detection, Classification and Size Estimation
                  in 3D Object-Background Images},
  booktitle    = {15th International Conference on Pattern Recognition, ICPR'00, Barcelona,
                  Spain, September 3-8, 2000},
  pages        = {7026--7029},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ICPR.2000.903717},
  doi          = {10.1109/ICPR.2000.903717},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpr/VriesV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/BousquetRSVBV00,
  author       = {Lydie du Bousquet and
                  Solofo Ramangalahy and
                  S{\'{e}}verine Simon and
                  C{\'{e}}sar Viho and
                  Axel Belinfante and
                  Ren{\'{e}} G. de Vries},
  editor       = {Hasan Ural and
                  Robert L. Probert and
                  Gregor von Bochmann},
  title        = {Formal Test Automation: The Conference Protocol with {TGV/TORX}},
  booktitle    = {Testing of Communicating Systems: Tools and Techniques, {IFIP} {TC6/WG6.1}
                  13\({}^{\mbox{th}}\) International Conference on Testing Communicating
                  Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
  series       = {{IFIP} Conference Proceedings},
  volume       = {176},
  pages        = {221--228},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Mon, 22 Jul 2002 15:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/BousquetRSVBV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/BelinfanteFVTGFMH99,
  author       = {Axel Belinfante and
                  Jan Feenstra and
                  Ren{\'{e}} G. de Vries and
                  Jan Tretmans and
                  Nicolae Goga and
                  Loe M. G. Feijs and
                  Sjouke Mauw and
                  Lex Heerink},
  editor       = {Gyula Csopaki and
                  Sarolta Dibuz and
                  Katalin Tarnay},
  title        = {Formal Test Automation: {A} Simple Experiment},
  booktitle    = {Testing of Communicating Systems: Method and Applications, {IFIP}
                  {TC6} 12\({}^{\mbox{th}}\) International Workshop on Testing Communicating
                  Systems, September 1-3, 1999, Budapest, Hungary},
  series       = {{IFIP} Conference Proceedings},
  volume       = {147},
  pages        = {179--196},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Thu, 17 Oct 2002 11:13:46 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/BelinfanteFVTGFMH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}