BibTeX records: René G. de Vries

download as .bib file

@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 = {Wed, 16 Oct 2019 14:14:52 +0200},
  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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics