@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 = {ATVA},
}

@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},
  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 Comput. Surv.},
  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 = {fsen},
}

@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 = {hvc},
}

@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 = {TACAS},
}

@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 = {lmcs},
  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 = {SPE},
  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 = {ictac},
}

@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 = {forte},
}

@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 = {SCP},
  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 = {tocl},
  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 = {NFM},
}

@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 = {TACAS},
}

@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 = {tocl},
  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 = {topnoc},
  volume = {1},
  pages = {119-133},
}