@inproceedings{KeirenWW14,
  title = {Liveness Analysis for Parameterised Boolean Equation Systems},
  author = {Jeroen J. A. Keiren and Wieger Wesselink and Tim A. C. Willemse},
  year = {2014},
  doi = {10.1007/978-3-319-11936-6_16},
  url = {http://dx.doi.org/10.1007/978-3-319-11936-6_16},
  researchr = {https://researchr.org/publication/KeirenWW14},
  cites = {0},
  citedby = {0},
  pages = {219-234},
  booktitle = {Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings},
  editor = {Franck Cassez and Jean-François Raskin},
  volume = {8837},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-11935-9},
}

@article{CranenKW18,
  title = {Parity game reductions},
  author = {Sjoerd Cranen and Jeroen J. A. Keiren and Tim A. C. Willemse},
  year = {2018},
  doi = {10.1007/s00236-017-0301-x},
  url = {https://doi.org/10.1007/s00236-017-0301-x},
  researchr = {https://researchr.org/publication/CranenKW18},
  cites = {0},
  citedby = {0},
  journal = {Acta Informatica},
  volume = {55},
  number = {5},
  pages = {401-444},
}

@article{KeirenFC17,
  title = {Corrections to "A Menagerie of Timed Automata"},
  author = {Jeroen J. A. Keiren and Peter Fontana and Rance Cleaveland},
  year = {2017},
  doi = {10.1145/3078809},
  url = {http://doi.acm.org/10.1145/3078809},
  researchr = {https://researchr.org/publication/KeirenFC17},
  cites = {0},
  citedby = {0},
  journal = {ACM Computing Surveys},
  volume = {50},
  number = {3},
}

@inproceedings{Keiren15,
  title = {Benchmarks for Parity Games},
  author = {Jeroen J. A. Keiren},
  year = {2015},
  doi = {10.1007/978-3-319-24644-4_9},
  url = {http://dx.doi.org/10.1007/978-3-319-24644-4_9},
  researchr = {https://researchr.org/publication/Keiren15},
  cites = {0},
  citedby = {0},
  pages = {127-142},
  booktitle = {Fundamentals of Software Engineering - 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers},
  editor = {Mehdi Dastani and Marjan Sirjani},
  volume = {9392},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-24643-7},
}

@inproceedings{KeirenW09,
  title = {Bisimulation Minimisations for Boolean Equation Systems},
  author = {Jeroen J. A. Keiren and Tim A. C. Willemse},
  year = {2009},
  doi = {10.1007/978-3-642-19237-1_12},
  url = {http://dx.doi.org/10.1007/978-3-642-19237-1_12},
  tags = {C++},
  researchr = {https://researchr.org/publication/KeirenW09},
  cites = {0},
  citedby = {0},
  pages = {102-116},
  booktitle = {Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers},
  editor = {Kedar S. Namjoshi and Andreas Zeller and Avi Ziv},
  volume = {6405},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-19236-4},
}

@inproceedings{BunteGKLNVWWW19,
  title = {The {mCRL2} Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability},
  author = {Olav Bunte and Jan Friso Groote and Jeroen J. A. Keiren and Maurice Laveaux and Thomas Neele and Erik P. de Vink and Wieger Wesselink and Anton Wijs and Tim A. C. Willemse},
  year = {2019},
  doi = {10.1007/978-3-030-17465-1_2},
  url = {https://doi.org/10.1007/978-3-030-17465-1_2},
  researchr = {https://researchr.org/publication/BunteGKLNVWWW19},
  cites = {0},
  citedby = {0},
  pages = {21-39},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II},
  editor = {Tomás Vojnar and Lijun Zhang},
  volume = {11428},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-17465-1},
}

@article{Frutos-EscrigKW17,
  title = {Games for Bisimulations and Abstraction},
  author = {David de Frutos-Escrig and Jeroen J. A. Keiren and Tim A. C. Willemse},
  year = {2017},
  doi = {10.23638/LMCS-13(4:15)2017},
  url = {https://doi.org/10.23638/LMCS-13(4:15)2017},
  researchr = {https://researchr.org/publication/Frutos-EscrigKW17},
  cites = {0},
  citedby = {0},
  journal = {Logical Methods in Computer Science},
  volume = {13},
  number = {4},
}

@article{GrooteKSWW11,
  title = {Experiences in developing the mCRL2 toolset},
  author = {Jan Friso Groote and Jeroen J. A. Keiren and Frank P. M. Stappers and Wieger Wesselink and Tim A. C. Willemse},
  year = {2011},
  doi = {10.1002/spe.1021},
  url = {http://dx.doi.org/10.1002/spe.1021},
  tags = {C++},
  researchr = {https://researchr.org/publication/GrooteKSWW11},
  cites = {0},
  citedby = {0},
  journal = {Software: Practice and Experience},
  volume = {41},
  number = {2},
  pages = {143-153},
}

@inproceedings{CranenKW12,
  title = {A Cure for Stuttering Parity Games},
  author = {Sjoerd Cranen and Jeroen J. A. Keiren and Tim A. C. Willemse},
  year = {2012},
  doi = {10.1007/978-3-642-32943-2_16},
  url = {http://dx.doi.org/10.1007/978-3-642-32943-2_16},
  researchr = {https://researchr.org/publication/CranenKW12},
  cites = {0},
  citedby = {0},
  pages = {198-212},
  booktitle = {Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings},
  editor = {Abhik Roychoudhury and Meenakshi D'Souza},
  volume = {7521},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-32942-5},
}

@inproceedings{EscrigKW16,
  title = {Branching Bisimulation Games},
  author = {David de Frutos-Escrig and Jeroen J. A. Keiren and Tim A. C. Willemse},
  year = {2016},
  doi = {10.1007/978-3-319-39570-8_10},
  url = {http://dx.doi.org/10.1007/978-3-319-39570-8_10},
  researchr = {https://researchr.org/publication/EscrigKW16},
  cites = {0},
  citedby = {0},
  pages = {142-157},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings},
  editor = {Elvira Albert and Ivan Lanese},
  volume = {9688},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-39569-2},
}

@article{HwongKKLW13,
  title = {Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider},
  author = {Yi-Ling Hwong and Jeroen J. A. Keiren and Vincent J. J. Kusters and Sander J. J. Leemans and Tim A. C. Willemse},
  year = {2013},
  doi = {10.1016/j.scico.2012.11.009},
  url = {http://dx.doi.org/10.1016/j.scico.2012.11.009},
  researchr = {https://researchr.org/publication/HwongKKLW13},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {78},
  number = {12},
  pages = {2435-2452},
}

@article{GrooteJKW17,
  title = {An ${O}(m \log n)$ Algorithm for Computing Stuttering Equivalence and Branching Bisimulation},
  author = {Jan Friso Groote and David N. Jansen and Jeroen J. A. Keiren and Anton Wijs},
  year = {2017},
  doi = {10.1145/3060140},
  url = {http://doi.acm.org/10.1145/3060140},
  researchr = {https://researchr.org/publication/GrooteJKW17},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Comput. Log.},
  volume = {18},
  number = {2},
}

@inproceedings{CranenKW11,
  title = {Stuttering Mostly Speeds Up Solving Parity Games},
  author = {Sjoerd Cranen and Jeroen J. A. Keiren and Tim A. C. Willemse},
  year = {2011},
  doi = {10.1007/978-3-642-20398-5_16},
  url = {http://dx.doi.org/10.1007/978-3-642-20398-5_16},
  tags = {C++},
  researchr = {https://researchr.org/publication/CranenKW11},
  cites = {0},
  citedby = {0},
  pages = {207-221},
  booktitle = {NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings},
  editor = {Mihaela Gheorghiu Bobaru and Klaus Havelund and Gerard J. Holzmann and Rajeev Joshi},
  volume = {6617},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-20397-8},
}

@article{KeirenK12,
  title = {Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2},
  author = {Jeroen J. A. Keiren and Martijn Klabbers},
  year = {2012},
  url = {http://journal.ub.tu-berlin.de/eceasst/article/view/793},
  researchr = {https://researchr.org/publication/KeirenK12},
  cites = {0},
  citedby = {0},
  journal = {ECEASST},
  volume = {53},
}

@inproceedings{CranenGKSVWW13,
  title = {An Overview of the mCRL2 Toolset and Its Recent Advances},
  author = {Sjoerd Cranen and Jan Friso Groote and Jeroen J. A. Keiren and Frank P. M. Stappers and Erik P. de Vink and Wieger Wesselink and Tim A. C. Willemse},
  year = {2013},
  doi = {10.1007/978-3-642-36742-7_15},
  url = {http://dx.doi.org/10.1007/978-3-642-36742-7_15},
  researchr = {https://researchr.org/publication/CranenGKSVWW13},
  cites = {0},
  citedby = {0},
  pages = {199-213},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings},
  editor = {Nir Piterman and Scott A. Smolka},
  volume = {7795},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-36741-0},
}

@article{KeirenRW12,
  title = {Structural Analysis of Boolean Equation Systems},
  author = {Jeroen J. A. Keiren and Michel A. Reniers and Tim A. C. Willemse},
  year = {2012},
  doi = {10.1145/2071368.2071376},
  url = {http://doi.acm.org/10.1145/2071368.2071376},
  researchr = {https://researchr.org/publication/KeirenRW12},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Comput. Log.},
  volume = {13},
  number = {1},
  pages = {8},
}

@article{HeeKPSW08,
  title = {Designing Case Handling Systems},
  author = {Kees M. van Hee and Jeroen J. A. Keiren and Reinier Post and Natalia Sidorova and Jan Martijn E. M. van der Werf},
  year = {2008},
  doi = {10.1007/978-3-540-89287-8_8},
  url = {http://dx.doi.org/10.1007/978-3-540-89287-8_8},
  researchr = {https://researchr.org/publication/HeeKPSW08},
  cites = {0},
  citedby = {0},
  journal = {T. Petri Nets and Other Models of Concurrency},
  volume = {1},
  pages = {119-133},
}