publications:
- title: "Petri Net Models for Algebraic Theories of Concurrency"
  author:
  - name: "Rob J. van Glabbeek"
    link: "http://theory.stanford.edu/~rvg/"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1987"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/GlabbeekV87%3A0"
  cites: 0
  citedby: 0
  pages: "224-242"
  booktitle: "PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings"
  editor:
  - name: "J. W. de Bakker"
    link: "https://researchr.org/alias/j.-w.-de-bakker"
  - name: "A. J. Nijman"
    link: "https://researchr.org/alias/a.-j.-nijman"
  - name: "Philip C. Treleaven"
    link: "https://researchr.org/alias/philip-c.-treleaven"
  volume: "259"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-17945-3"
  kind: "inproceedings"
  key: "GlabbeekV87:0"
- title: "A testing scenario for probabilistic processes"
  author:
  - name: "Ling Cheung"
    link: "https://researchr.org/alias/ling-cheung"
  - name: "Mariëlle Stoelinga"
    link: "https://researchr.org/alias/mari%C3%ABlle-stoelinga"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1314690.1314693"
  links:
    doi: "http://doi.acm.org/10.1145/1314690.1314693"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/CheungSV07"
  cites: 0
  citedby: 0
  journal: "Journal of the ACM"
  volume: "54"
  number: "6"
  pages: "29"
  kind: "article"
  key: "CheungSV07"
- title: "Expressive Results for Process Algebras"
  author:
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1992"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/Vaandrager92"
  cites: 0
  citedby: 0
  pages: "609-638"
  booktitle: "Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings"
  editor:
  - name: "J. W. de Bakker"
    link: "https://researchr.org/alias/j.-w.-de-bakker"
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  volume: "666"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56596-5"
  kind: "inproceedings"
  key: "Vaandrager92"
- title: "Forward and Backward Simulations for Timing-Based Systems"
  author:
  - name: "Nancy A. Lynch"
    link: "https://researchr.org/alias/nancy-a.-lynch"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1991"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/LynchV91"
  cites: 0
  citedby: 0
  pages: "397-446"
  booktitle: "Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings"
  editor:
  - name: "J. W. de Bakker"
    link: "https://researchr.org/alias/j.-w.-de-bakker"
  - name: "Cornelis Huizing"
    link: "https://researchr.org/alias/cornelis-huizing"
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  volume: "600"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55564-1"
  kind: "inproceedings"
  key: "LynchV91"
- title: "Turning SOS Rules into Equations"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Bard Bloom"
    link: "https://researchr.org/alias/bard-bloom"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1994"
  month: "May"
  tags:
  - "rule-based"
  - "SOS"
  - "rules"
  researchr: "https://researchr.org/publication/AcetoBV94"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "111"
  number: "1"
  pages: "1-52"
  kind: "article"
  key: "AcetoBV94"
- title: "A theory of normed simulations"
  author:
  - name: "W. O. David Griffioen"
    link: "https://researchr.org/alias/w.-o.-david-griffioen"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1024922.1024923"
  links:
    doi: "http://doi.acm.org/10.1145/1024922.1024923"
  researchr: "https://researchr.org/publication/GriffioenV04"
  cites: 0
  citedby: 0
  journal: "ACM Trans. Comput. Log."
  volume: "5"
  number: "4"
  pages: "577-610"
  kind: "article"
  key: "GriffioenV04"
- title: "Linear parametric model checking of timed automata"
  author:
  - name: "Thomas Hune"
    link: "https://researchr.org/alias/thomas-hune"
  - name: "Judi Romijn"
    link: "https://researchr.org/alias/judi-romijn"
  - name: "Mariëlle Stoelinga"
    link: "https://researchr.org/alias/mari%C3%ABlle-stoelinga"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2002"
  doi: "http://dx.doi.org/10.1016/S1567-8326(02)00037-1"
  links:
    doi: "http://dx.doi.org/10.1016/S1567-8326(02)00037-1"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/HuneRSV02"
  cites: 0
  citedby: 0
  journal: "Journal of Logic and Algebraic Programming"
  volume: "52-53"
  pages: "183-220"
  kind: "article"
  key: "HuneRSV02"
- title: "Model checker aided design of a controller for a wafer scanner"
  author:
  - name: "Martijn Hendriks"
    link: "https://researchr.org/alias/martijn-hendriks"
  - name: "Barend van den Nieuwelaar"
    link: "https://researchr.org/alias/barend-van-den-nieuwelaar"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s10009-006-0025-7"
  links:
    doi: "http://dx.doi.org/10.1007/s10009-006-0025-7"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/HendriksNV06"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "8"
  number: "6"
  pages: "633-647"
  kind: "article"
  key: "HendriksNV06"
- title: "Modular Specifications in Process Algebra with Curious Queues"
  author:
  - name: "Rob J. van Glabbeek"
    link: "http://theory.stanford.edu/~rvg/"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1987"
  tags:
  - "process algebra"
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/GlabbeekV87"
  cites: 0
  citedby: 0
  pages: "465-506"
  booktitle: "Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]"
  editor:
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  volume: "394"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-51698-0"
  kind: "inproceedings"
  key: "GlabbeekV87"
- title: "Model Checker Aided Design of a Controller for a Wafer Scanner"
  author:
  - name: "Martijn Hendriks"
    link: "https://researchr.org/alias/martijn-hendriks"
  - name: "Barend van den Nieuwelaar"
    link: "https://researchr.org/alias/barend-van-den-nieuwelaar"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2004"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/HendriksNV04"
  cites: 0
  citedby: 0
  pages: "201-208"
  booktitle: "International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings"
  editor:
  - name: "Tiziana Margaria"
    link: "https://researchr.org/alias/tiziana-margaria"
  - name: "Bernhard Steffen"
    link: "https://researchr.org/alias/bernhard-steffen"
  - name: "Anna Philippou"
    link: "https://researchr.org/alias/anna-philippou"
  - name: "Manfred Reitenspieß"
    link: "https://researchr.org/alias/manfred-reitenspie%C3%9F"
  volume: "TR-2004-6"
  series: "Technical Report"
  publisher: "Department of Computer Science, University of Cyprus"
  kind: "inproceedings"
  key: "HendriksNV04"
- title: "Structured Operational Semantics and Bisimulation as a Congruence"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1992"
  month: "October"
  tags:
  - "semantics"
  - "operational semantics"
  researchr: "https://researchr.org/publication/GrooteV92"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "100"
  number: "2"
  pages: "202-260"
  kind: "article"
  key: "GrooteV92"
- title: "A Testing Scenario for Probabilistic Automata"
  author:
  - name: "Mariëlle Stoelinga"
    link: "https://researchr.org/alias/mari%C3%ABlle-stoelinga"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2719/27190464.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2719/27190464.htm"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/StoelingaV03"
  cites: 0
  citedby: 0
  pages: "464-477"
  booktitle: "Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings"
  editor:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan Karel Lenstra"
    link: "https://researchr.org/alias/jan-karel-lenstra"
  - name: "Joachim Parrow"
    link: "https://researchr.org/alias/joachim-parrow"
  - name: "Gerhard J. Woeginger"
    link: "https://researchr.org/alias/gerhard-j.-woeginger"
  volume: "2719"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40493-7"
  kind: "inproceedings"
  key: "StoelingaV03"
- title: "A Note on Fairness in I/O Automata"
  author:
  - name: "Judi Romijn"
    link: "https://researchr.org/alias/judi-romijn"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1996"
  doi: "http://dx.doi.org/10.1016/0020-0190(96)00122-6"
  links:
    doi: "http://dx.doi.org/10.1016/0020-0190(96)00122-6"
  researchr: "https://researchr.org/publication/RomijnV96"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "59"
  number: "5"
  pages: "245-250"
  kind: "article"
  key: "RomijnV96"
- title: "Introduction"
  author:
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1996"
  researchr: "https://researchr.org/publication/Vaandrager96"
  cites: 0
  citedby: 0
  pages: "1-3"
  booktitle: "Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996"
  editor:
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  volume: "1494"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65193-4"
  kind: "inproceedings"
  key: "Vaandrager96"
- title: "Root Contention in IEEE 1394"
  author:
  - name: "Mariëlle Stoelinga"
    link: "https://researchr.org/alias/mari%C3%ABlle-stoelinga"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1601/16010053.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1601/16010053.htm"
  researchr: "https://researchr.org/publication/StoelingaV99"
  cites: 0
  citedby: 0
  pages: "53-74"
  booktitle: "Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS 99, Bamberg, Germany, May 26-28, 1999. Proceedings"
  editor:
  - name: "Joost-Pieter Katoen"
    link: "https://researchr.org/alias/joost-pieter-katoen"
  volume: "1601"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66010-0"
  kind: "inproceedings"
  key: "StoelingaV99"
- title: "Determinism - (Event Structure Isomorphism = Step Sequence Equivalence)"
  author:
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1991"
  researchr: "https://researchr.org/publication/Vaandrager91"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "79"
  number: "2"
  pages: "275-294"
  kind: "article"
  key: "Vaandrager91"
- title: "Operational and Logical Semantics for Polling Real-Time Systems"
  author:
  - name: "Henning Dierks"
    link: "https://researchr.org/alias/henning-dierks"
  - name: "Ansgar Fehnker"
    link: "https://researchr.org/alias/ansgar-fehnker"
  - name: "Angelika Mader"
    link: "https://researchr.org/alias/angelika-mader"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1486/14860029.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1486/14860029.htm"
  tags:
  - "semantics"
  - "operational semantics"
  researchr: "https://researchr.org/publication/DierksFMV98"
  cites: 0
  citedby: 0
  pages: "29-40"
  booktitle: "Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT 98, Lyngby, Denmark, September 14-18, 1998, Proceedings"
  editor:
  - name: "Anders P. Ravn"
    link: "https://researchr.org/alias/anders-p.-ravn"
  - name: "Hans Rischel"
    link: "https://researchr.org/alias/hans-rischel"
  volume: "1486"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65003-2"
  kind: "inproceedings"
  key: "DierksFMV98"
- title: "Minimizable Timed Automata"
  author:
  - name: "Jan Springintveld"
    link: "https://researchr.org/alias/jan-springintveld"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1996"
  researchr: "https://researchr.org/publication/SpringintveldV96"
  cites: 0
  citedby: 0
  pages: "130-147"
  booktitle: "Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT 96, Uppsala, Sweden, September 9-13, 1996, Proceedings"
  editor:
  - name: "Bengt Jonsson"
    link: "https://researchr.org/alias/bengt-jonsson"
  - name: "Joachim Parrow"
    link: "https://researchr.org/alias/joachim-parrow"
  volume: "1135"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61648-9"
  kind: "inproceedings"
  key: "SpringintveldV96"
- title: "Hybrid I/O Automata Revisited"
  author:
  - name: "Nancy A. Lynch"
    link: "https://researchr.org/alias/nancy-a.-lynch"
  - name: "Roberto Segala"
    link: "https://researchr.org/alias/roberto-segala"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2034/20340403.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2034/20340403.htm"
  researchr: "https://researchr.org/publication/LynchSV01"
  cites: 0
  citedby: 0
  pages: "403-417"
  booktitle: "Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings"
  editor:
  - name: "Maria Domenica Di Benedetto"
    link: "https://researchr.org/alias/maria-domenica-di-benedetto"
  - name: "Alberto L. Sangiovanni-Vincentelli"
    link: "https://researchr.org/alias/alberto-l.-sangiovanni-vincentelli"
  volume: "2034"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41866-0"
  kind: "inproceedings"
  key: "LynchSV01"
- title: "The Difference between Splitting in n and n+1"
  author:
  - name: "Rob J. van Glabbeek"
    link: "http://theory.stanford.edu/~rvg/"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1997"
  researchr: "https://researchr.org/publication/GlabbeekV97"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "136"
  number: "2"
  pages: "109-142"
  kind: "article"
  key: "GlabbeekV97"
- title: "Deadlock Prevention in the Æthereal Protocol"
  author:
  - name: "Biniam Gebremichael"
    link: "https://researchr.org/alias/biniam-gebremichael"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  - name: "Miaomiao Zhang"
    link: "https://researchr.org/alias/miaomiao-zhang"
  - name: "Kees Goossens"
    link: "https://researchr.org/alias/kees-goossens"
  - name: "Edwin Rijpkema"
    link: "https://researchr.org/alias/edwin-rijpkema"
  - name: "Andrei Radulescu"
    link: "https://researchr.org/alias/andrei-radulescu"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11560548_28"
  links:
    doi: "http://dx.doi.org/10.1007/11560548_28"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/GebremichaelVZGRR05"
  cites: 0
  citedby: 0
  pages: "345-348"
  booktitle: "Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings"
  editor:
  - name: "Dominique Borrione"
    link: "https://researchr.org/alias/dominique-borrione"
  - name: "Wolfgang J. Paul"
    link: "https://researchr.org/alias/wolfgang-j.-paul"
  volume: "3725"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-29105-9"
  kind: "inproceedings"
  key: "GebremichaelVZGRR05"
- title: "Three Logics for Branching Bisimulation"
  author:
  - name: "Rocco De Nicola"
    link: "https://researchr.org/alias/rocco-de-nicola"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1995"
  doi: "http://doi.acm.org/10.1145/201019.201032"
  links:
    doi: "http://doi.acm.org/10.1145/201019.201032"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/NicolaV95"
  cites: 0
  citedby: 0
  journal: "Journal of the ACM"
  volume: "42"
  number: "2"
  pages: "458-487"
  kind: "article"
  key: "NicolaV95"
- title: "Adding Symmetry Reduction to Uppaal"
  author:
  - name: "Martijn Hendriks"
    link: "https://researchr.org/alias/martijn-hendriks"
  - name: "Gerd Behrmann"
    link: "https://researchr.org/alias/gerd-behrmann"
  - name: "Kim Guldstrand Larsen"
    link: "https://researchr.org/alias/kim-guldstrand-larsen"
  - name: "Peter Niebert"
    link: "https://researchr.org/alias/peter-niebert"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2791&spage=46"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2791&spage=46"
  researchr: "https://researchr.org/publication/HendriksBLNV03"
  cites: 0
  citedby: 0
  pages: "46-59"
  booktitle: "Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers"
  editor:
  - name: "Kim Guldstrand Larsen"
    link: "https://researchr.org/alias/kim-guldstrand-larsen"
  - name: "Peter Niebert"
    link: "https://researchr.org/alias/peter-niebert"
  volume: "2791"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-21671-5"
  kind: "inproceedings"
  key: "HendriksBLNV03"
- title: "Testing timed automata"
  author:
  - name: "Jan Springintveld"
    link: "https://researchr.org/alias/jan-springintveld"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  - name: "Pedro R. D Argenio"
    link: "https://researchr.org/alias/pedro-r.-d-argenio"
  year: "2001"
  doi: "http://dx.doi.org/10.1016/S0304-3975(99)00134-6"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(99)00134-6"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/SpringintveldVD01"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "254"
  number: "1-2"
  pages: "225-257"
  kind: "article"
  key: "SpringintveldVD01"
- title: "An Algebra for Process Creation"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1992"
  tags:
  - "process algebra"
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/BaetenV92"
  cites: 0
  citedby: 0
  journal: "Acta Informatica"
  volume: "29"
  number: "4"
  pages: "303-334"
  kind: "article"
  key: "BaetenV92"
- title: "Cost-Optimization of the IPv4 Zeroconf Protocol"
  author:
  - name: "Henrik C. Bohnenkamp"
    link: "https://researchr.org/alias/henrik-c.-bohnenkamp"
  - name: "Peter van der Stok"
    link: "https://researchr.org/alias/peter-van-der-stok"
  - name: "Holger Hermanns"
    link: "https://researchr.org/alias/holger-hermanns"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2003"
  doi: "http://csdl.computer.org/comp/proceedings/dsn/2003/1952/00/19520531abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/dsn/2003/1952/00/19520531abs.htm"
  tags:
  - "optimization"
  - "protocol"
  - "C++"
  researchr: "https://researchr.org/publication/BohnenkampSHV03"
  cites: 0
  citedby: 0
  pages: "531-540"
  booktitle: "2003 International Conference on Dependable Systems and Networks (DSN 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1952-0"
  kind: "inproceedings"
  key: "BohnenkampSHV03"
- title: "Switched Probabilistic I/O Automata"
  author:
  - name: "Ling Cheung"
    link: "https://researchr.org/alias/ling-cheung"
  - name: "Nancy A. Lynch"
    link: "https://researchr.org/alias/nancy-a.-lynch"
  - name: "Roberto Segala"
    link: "https://researchr.org/alias/roberto-segala"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=494"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=494"
  researchr: "https://researchr.org/publication/CheungLSV04"
  cites: 0
  citedby: 0
  pages: "494-510"
  booktitle: "Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers"
  editor:
  - name: "Zhiming Liu"
    link: "https://researchr.org/alias/zhiming-liu"
  - name: "Keijiro Araki"
    link: "https://researchr.org/alias/keijiro-araki"
  volume: "3407"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25304-1"
  kind: "inproceedings"
  key: "CheungLSV04"
- title: "Analysis of a biphase mark protocol with Uppaaland PVS"
  author:
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  - name: "Adriaan de Groot"
    link: "https://researchr.org/alias/adriaan-de-groot"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s00165-006-0008-1"
  links:
    doi: "http://dx.doi.org/10.1007/s00165-006-0008-1"
  tags:
  - "protocol"
  - "analysis"
  researchr: "https://researchr.org/publication/VaandragerG06"
  cites: 0
  citedby: 0
  journal: "Formal Asp. Comput."
  volume: "18"
  number: "4"
  pages: "433-458"
  kind: "article"
  key: "VaandragerG06"
- title: "Action Transducers and Timed Automata"
  author:
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  - name: "Nancy A. Lynch"
    link: "https://researchr.org/alias/nancy-a.-lynch"
  year: "1992"
  researchr: "https://researchr.org/publication/VaandragerL92"
  cites: 0
  citedby: 0
  pages: "436-455"
  booktitle: "CONCUR  92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August  24-27, 1992, Proceedings"
  editor:
  - name: "Rance Cleaveland"
    link: "https://researchr.org/alias/rance-cleaveland"
  volume: "630"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55822-5"
  kind: "inproceedings"
  key: "VaandragerL92"
- title: "Linear Parametric Model Checking of Timed Automata"
  author:
  - name: "Thomas Hune"
    link: "https://researchr.org/alias/thomas-hune"
  - name: "Judi Romijn"
    link: "https://researchr.org/alias/judi-romijn"
  - name: "Mariëlle Stoelinga"
    link: "https://researchr.org/alias/mari%C3%ABlle-stoelinga"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2031/20310189.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2031/20310189.htm"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/HuneRSV01"
  cites: 0
  citedby: 0
  pages: "189-203"
  booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings"
  editor:
  - name: "Tiziana Margaria"
    link: "https://researchr.org/alias/tiziana-margaria"
  - name: "Wang Yi"
    link: "https://researchr.org/alias/wang-yi"
  volume: "2031"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41865-2"
  kind: "inproceedings"
  key: "HuneRSV01"
- title: "Action Transducers and Timed Automata"
  author:
  - name: "Nancy A. Lynch"
    link: "https://researchr.org/alias/nancy-a.-lynch"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "1996"
  researchr: "https://researchr.org/publication/LynchV96"
  cites: 0
  citedby: 0
  journal: "Formal Asp. Comput."
  volume: "8"
  number: "5"
  pages: "499-538"
  kind: "article"
  key: "LynchV96"
- title: "Bundle Event Structures and CCSP"
  author:
  - name: "Rob J. van Glabbeek"
    link: "http://theory.stanford.edu/~rvg/"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2761&spage=57"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2761&spage=57"
  researchr: "https://researchr.org/publication/GlabbeekV03"
  cites: 0
  citedby: 0
  pages: "57-71"
  booktitle: "CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings"
  editor:
  - name: "Roberto M. Amadio"
    link: "https://researchr.org/alias/roberto-m.-amadio"
  - name: "Denis Lugiez"
    link: "https://researchr.org/alias/denis-lugiez"
  volume: "2761"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40753-7"
  kind: "inproceedings"
  key: "GlabbeekV03"
- title: "Distributing Timed Model Checking - How the Search Order Matters"
  author:
  - name: "Gerd Behrmann"
    link: "https://researchr.org/alias/gerd-behrmann"
  - name: "Thomas Hune"
    link: "https://researchr.org/alias/thomas-hune"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  year: "2000"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  - "search"
  researchr: "https://researchr.org/publication/BehrmannHV00"
  cites: 0
  citedby: 0
  pages: "216-231"
  booktitle: "Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings"
  editor:
  - name: "E. Allen Emerson"
    link: "https://researchr.org/alias/e.-allen-emerson"
  - name: "A. Prasad Sistla"
    link: "https://researchr.org/alias/a.-prasad-sistla"
  volume: "1855"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67770-4"
  kind: "inproceedings"
  key: "BehrmannHV00"
- title: "Hybrid Systems: Computation and Control, Second International Workshop, HSCC 99, Berg en Dal, The Netherlands, March 29-31, 1999, Proceedings"
  year: "1999"
  tags:
  - "control systems"
  researchr: "https://researchr.org/publication/hybrid%3A1999"
  cites: 0
  citedby: 0
  booktitle: "Hybrid Systems: Computation and Control, Second International Workshop, HSCC 99, Berg en Dal, The Netherlands, March 29-31, 1999, Proceedings"
  conference: "hybrid"
  editor:
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  - name: "Jan H. van Schuppen"
    link: "https://researchr.org/alias/jan-h.-van-schuppen"
  volume: "1569"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65734-7"
  kind: "proceedings"
  key: "hybrid:1999"
- title: "Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996"
  year: "1998"
  researchr: "https://researchr.org/publication/eef%3A1996"
  cites: 0
  citedby: 0
  booktitle: "Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996"
  conference: "eef"
  editor:
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  - name: "Frits W. Vaandrager"
    link: "http://www.cs.ru.nl/~fvaan/"
  volume: "1494"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65193-4"
  kind: "proceedings"
  key: "eef:1996"