@inproceedings{GlabbeekV87:0,
  title = {Petri Net Models for Algebraic Theories of Concurrency},
  author = {Rob J. van Glabbeek and Frits W. Vaandrager},
  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 = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven},
  volume = {259},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-17945-3},
}

@article{CheungSV07,
  title = {A testing scenario for probabilistic processes},
  author = {Ling Cheung and Mariëlle Stoelinga and Frits W. Vaandrager},
  year = {2007},
  doi = {10.1145/1314690.1314693},
  url = {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},
}

@inproceedings{Vaandrager92,
  title = {Expressive Results for Process Algebras},
  author = {Frits W. Vaandrager},
  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 = {J. W. de Bakker and Willem P. de Roever and Grzegorz Rozenberg},
  volume = {666},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-56596-5},
}

@inproceedings{LynchV91,
  title = {Forward and Backward Simulations for Timing-Based Systems},
  author = {Nancy A. Lynch and Frits W. Vaandrager},
  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 = {J. W. de Bakker and Cornelis Huizing and Willem P. de Roever and Grzegorz Rozenberg},
  volume = {600},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55564-1},
}

@article{AcetoBV94,
  title = {Turning SOS Rules into Equations},
  author = {Luca Aceto and Bard Bloom and Frits W. Vaandrager},
  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},
}

@article{GriffioenV04,
  title = {A theory of normed simulations},
  author = {W. O. David Griffioen and Frits W. Vaandrager},
  year = {2004},
  doi = {10.1145/1024922.1024923},
  url = {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},
}

@article{HuneRSV02,
  title = {Linear parametric model checking of timed automata},
  author = {Thomas Hune and Judi Romijn and Mariëlle Stoelinga and Frits W. Vaandrager},
  year = {2002},
  doi = {10.1016/S1567-8326(02)00037-1},
  url = {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},
}

@article{HendriksNV06,
  title = {Model checker aided design of a controller for a wafer scanner},
  author = {Martijn Hendriks and Barend van den Nieuwelaar and Frits W. Vaandrager},
  year = {2006},
  doi = {10.1007/s10009-006-0025-7},
  url = {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},
}

@inproceedings{GlabbeekV87,
  title = {Modular Specifications in Process Algebra with Curious Queues},
  author = {Rob J. van Glabbeek and Frits W. Vaandrager},
  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 = {Martin Wirsing and Jan A. Bergstra},
  volume = {394},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-51698-0},
}

@inproceedings{HendriksNV04,
  title = {Model Checker Aided Design of a Controller for a Wafer Scanner},
  author = {Martijn Hendriks and Barend van den Nieuwelaar and Frits W. Vaandrager},
  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 = {Tiziana Margaria and Bernhard Steffen and Anna Philippou and Manfred Reitenspieß},
  volume = {TR-2004-6},
  series = {Technical Report},
  publisher = {Department of Computer Science, University of Cyprus},
}

@article{GrooteV92,
  title = {Structured Operational Semantics and Bisimulation as a Congruence},
  author = {Jan Friso Groote and Frits W. Vaandrager},
  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},
}

@inproceedings{StoelingaV03,
  title = {A Testing Scenario for Probabilistic Automata},
  author = {Mariëlle Stoelinga and Frits W. Vaandrager},
  year = {2003},
  url = {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 = {Jos C. M. Baeten and Jan Karel Lenstra and Joachim Parrow and Gerhard J. Woeginger},
  volume = {2719},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40493-7},
}

@article{RomijnV96,
  title = {A Note on Fairness in I/O Automata},
  author = {Judi Romijn and Frits W. Vaandrager},
  year = {1996},
  doi = {10.1016/0020-0190(96)00122-6},
  url = {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},
}

@inproceedings{Vaandrager96,
  title = {Introduction},
  author = {Frits W. Vaandrager},
  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 = {Grzegorz Rozenberg and Frits W. Vaandrager},
  volume = {1494},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65193-4},
}

@inproceedings{StoelingaV99,
  title = {Root Contention in IEEE 1394},
  author = {Mariëlle Stoelinga and Frits W. Vaandrager},
  year = {1999},
  url = {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 = {Joost-Pieter Katoen},
  volume = {1601},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66010-0},
}

@article{Vaandrager91,
  title = {Determinism - (Event Structure Isomorphism = Step Sequence Equivalence)},
  author = {Frits W. Vaandrager},
  year = {1991},
  researchr = {https://researchr.org/publication/Vaandrager91},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {79},
  number = {2},
  pages = {275-294},
}

@inproceedings{DierksFMV98,
  title = {Operational and Logical Semantics for Polling Real-Time Systems},
  author = {Henning Dierks and Ansgar Fehnker and Angelika Mader and Frits W. Vaandrager},
  year = {1998},
  url = {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 = {Anders P. Ravn and Hans Rischel},
  volume = {1486},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65003-2},
}

@inproceedings{SpringintveldV96,
  title = {Minimizable Timed Automata},
  author = {Jan Springintveld and Frits W. Vaandrager},
  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 = {Bengt Jonsson and Joachim Parrow},
  volume = {1135},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61648-9},
}

@inproceedings{LynchSV01,
  title = {Hybrid I/O Automata Revisited},
  author = {Nancy A. Lynch and Roberto Segala and Frits W. Vaandrager},
  year = {2001},
  url = {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 = {Maria Domenica Di Benedetto and Alberto L. Sangiovanni-Vincentelli},
  volume = {2034},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41866-0},
}

@article{GlabbeekV97,
  title = {The Difference between Splitting in n and n+1},
  author = {Rob J. van Glabbeek and Frits W. Vaandrager},
  year = {1997},
  researchr = {https://researchr.org/publication/GlabbeekV97},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {136},
  number = {2},
  pages = {109-142},
}

@inproceedings{GebremichaelVZGRR05,
  title = {Deadlock Prevention in the Æthereal Protocol},
  author = {Biniam Gebremichael and Frits W. Vaandrager and Miaomiao Zhang and Kees Goossens and Edwin Rijpkema and Andrei Radulescu},
  year = {2005},
  doi = {10.1007/11560548_28},
  url = {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 = {Dominique Borrione and Wolfgang J. Paul},
  volume = {3725},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29105-9},
}

@article{NicolaV95,
  title = {Three Logics for Branching Bisimulation},
  author = {Rocco De Nicola and Frits W. Vaandrager},
  year = {1995},
  doi = {10.1145/201019.201032},
  url = {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},
}

@inproceedings{HendriksBLNV03,
  title = {Adding Symmetry Reduction to Uppaal},
  author = {Martijn Hendriks and Gerd Behrmann and Kim Guldstrand Larsen and Peter Niebert and Frits W. Vaandrager},
  year = {2003},
  url = {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 = {Kim Guldstrand Larsen and Peter Niebert},
  volume = {2791},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-21671-5},
}

@article{SpringintveldVD01,
  title = {Testing timed automata},
  author = {Jan Springintveld and Frits W. Vaandrager and Pedro R. D Argenio},
  year = {2001},
  doi = {10.1016/S0304-3975(99)00134-6},
  url = {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},
}

@article{BaetenV92,
  title = {An Algebra for Process Creation},
  author = {Jos C. M. Baeten and Frits W. Vaandrager},
  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},
}

@inproceedings{BohnenkampSHV03,
  title = {Cost-Optimization of the IPv4 Zeroconf Protocol},
  author = {Henrik C. Bohnenkamp and Peter van der Stok and Holger Hermanns and Frits W. Vaandrager},
  year = {2003},
  url = {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},
}

@inproceedings{CheungLSV04,
  title = {Switched Probabilistic I/O Automata},
  author = {Ling Cheung and Nancy A. Lynch and Roberto Segala and Frits W. Vaandrager},
  year = {2004},
  url = {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 = {Zhiming Liu and Keijiro Araki},
  volume = {3407},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25304-1},
}

@article{VaandragerG06,
  title = {Analysis of a biphase mark protocol with Uppaaland PVS},
  author = {Frits W. Vaandrager and Adriaan de Groot},
  year = {2006},
  doi = {10.1007/s00165-006-0008-1},
  url = {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},
}

@inproceedings{VaandragerL92,
  title = {Action Transducers and Timed Automata},
  author = {Frits W. Vaandrager and 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 = {Rance Cleaveland},
  volume = {630},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55822-5},
}

@inproceedings{HuneRSV01,
  title = {Linear Parametric Model Checking of Timed Automata},
  author = {Thomas Hune and Judi Romijn and Mariëlle Stoelinga and Frits W. Vaandrager},
  year = {2001},
  url = {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 = {Tiziana Margaria and Wang Yi},
  volume = {2031},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41865-2},
}

@article{LynchV96,
  title = {Action Transducers and Timed Automata},
  author = {Nancy A. Lynch and Frits W. Vaandrager},
  year = {1996},
  researchr = {https://researchr.org/publication/LynchV96},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {8},
  number = {5},
  pages = {499-538},
}

@inproceedings{GlabbeekV03,
  title = {Bundle Event Structures and CCSP},
  author = {Rob J. van Glabbeek and Frits W. Vaandrager},
  year = {2003},
  url = {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 = {Roberto M. Amadio and Denis Lugiez},
  volume = {2761},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40753-7},
}

@inproceedings{BehrmannHV00,
  title = {Distributing Timed Model Checking - How the Search Order Matters},
  author = {Gerd Behrmann and Thomas Hune and Frits W. Vaandrager},
  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 = {E. Allen Emerson and A. Prasad Sistla},
  volume = {1855},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67770-4},
}
@proceedings{hybrid:1999,
  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 = {Frits W. Vaandrager and Jan H. van Schuppen},
  volume = {1569},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65734-7},
}

@proceedings{eef:1996,
  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 = {Grzegorz Rozenberg and Frits W. Vaandrager},
  volume = {1494},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65193-4},
}