Publications

An overview of my publications can be found at the following places. Note that they have varying degrees of completeness.

Below is a list of publications that I try to keep up to date, along with the BibTex source from which it was generated. For some publications a link to a locally hosted PDF is included; this is either the final version as published, in case of an open access publication, or it is the author preprint as allowed by the publisher.

Should you be interested in a paper of which no PDF is directly available, please contact me.

Journal Articles

ter Beek, M.H., Chapman, R., Cleaveland, R., Garavel, H., Gu, R., ter Horst, I., Keiren, J.J.A., Lecomte, T., Leuschel, M., Rozier, K.Y., Sampaio, A., Seceleanu, C., Thomas, M., Willemse, T.A.C., Zhang, L.: Formal Methods in Industry. Form. Asp. Comput. (2025).
DOI

@article{ter_beek_formal_2025,
  title = {Formal {{Methods}} in {{Industry}}},
  author = {{ter Beek}, Maurice H. and Chapman, Rod and Cleaveland, Rance and Garavel, Hubert and Gu, Rong and {ter Horst}, Ivo and Keiren, Jeroen J. A. and Lecomte, Thierry and Leuschel, Michael and Rozier, Kristin Yvonne and Sampaio, Augusto and Seceleanu, Cristina and Thomas, Martyn and Willemse, Tim A. C. and Zhang, Lijun},
  year = {2025},
  journal = {Form. Asp. Comput.},
  doi = {10.1145/3689374},
  urldate = {2024-12-18},
  annotation = {Just Accepted. To appear. Already available online.}
}

Cleaveland, R., Keiren, J.J.A.: Extensible Proof Systems for Infinite-State Systems. ACM Transactions on Computational Logic. Volume 25, Issue 1: 1–60 (2024).
DOI
```
@article{cleaveland_extensible_2024,
  title = {Extensible Proof Systems for Infinite-State Systems},
  author = {Cleaveland, Rance and Keiren, Jeroen J. A.},
  year = {2024},
  month = jan,
  journal = {ACM Transactions on Computational Logic},
  volume = {25},
  number = {1},
  pages = {1--60},
  doi = {10.1145/3622786},
  urldate = {2024-01-02},
  langid = {english},
  annotation = {a}
}
```
Cranen, S., Keiren, J.J.A., Willemse, T.A.C.: Parity Game Reductions. Acta Informatica. Volume 55, Issue 5: 401–444 (2018).
DOI
```
@article{cranen_parity_2018,
  title = {Parity Game Reductions},
  author = {Cranen, S. and Keiren, J.J.A. and Willemse, T.A.C.},
  year = {2018},
  month = aug,
  journal = {Acta Informatica},
  volume = {55},
  number = {5},
  pages = {401--444},
  doi = {10.1007/s00236-017-0301-x},
  licence = {CC BY 4.0}
}
```

de Frutos Escrig, D., Keiren, J.J.A., Willemse, T.A.C.: Games for Bisimulations and Abstraction. Logical Methods in Computer Science. Volume 13, Issue 4: (2017).
DOI

@article{de_frutos_escrig_games_2017,
  ids = {dFKW17},
  title = {Games for Bisimulations and Abstraction},
  author = {{de Frutos Escrig}, David and Keiren, Jeroen J. A. and Willemse, Tim A. C.},
  year = {2017},
  journal = {Logical Methods in Computer Science},
  volume = {13},
  number = {4},
  eprint = {1611.00401},
  doi = {10.23638/LMCS-13(4:15)2017},
  urldate = {2019-05-28},
  archiveprefix = {arXiv},
  licence = {CC BY-ND 2.0}
}

Keiren, J.J.A., Fontana, P., Cleaveland, R.: Corrections to “A Menagerie of Timed Automata.” ACM Comput. Surv. Volume 50, Issue 3: 42:1–42:8 (2017).
DOI
```
@article{keiren_corrections_2017,
  title = {Corrections to ``{{A}} Menagerie of Timed Automata''},
  author = {Keiren, Jeroen J. A. and Fontana, Peter and Cleaveland, Rance},
  year = {2017},
  month = jun,
  journal = {ACM Comput. Surv.},
  volume = {50},
  number = {3},
  pages = {42:1--42:8},
  publisher = {ACM},
  doi = {10.1145/3078809},
  urldate = {2019-05-28},
  articleno = {42}
}
```
Groote, J.F., Jansen, D.N., Keiren, J.J.A., Wijs, A.J.: An O(m log n) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation. ACM Trans. Comput. Logic. Volume 18, Issue 2: 13:1–13:34 (2017).
DOI
```
@article{groote_om_2017,
  title = {An O(m log n) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation},
  author = {Groote, Jan Friso and Jansen, David N. and Keiren, Jeroen J. A. and Wijs, Anton J.},
  year = {2017},
  month = jun,
  journal = {ACM Trans. Comput. Logic},
  volume = {18},
  number = {2},
  pages = {13:1--13:34},
  publisher = {ACM},
  doi = {10.1145/3060140},
  urldate = {2019-06-07},
  articleno = {13}
}
```
Hwong, Y.-L., Keiren, J.J.A., Kusters, V.J.J., Leemans, S., Willemse, T.A.C.: Formalising and Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider. Science of Computer Programming. Volume 78, Issue 12: 2435–2452 (2013).
DOI
```
@article{hwong_formalising_2013,
  ids = {HKK+2013},
  title = {Formalising and Analysing the Control Software of the {{Compact Muon Solenoid}} Experiment at the {{Large Hadron Collider}}},
  author = {Hwong, Y.-L. and Keiren, J. J. A. and Kusters, V. J. J. and Leemans, S. and Willemse, T. A. C.},
  year = {2013},
  month = dec,
  journal = {Science of Computer Programming},
  volume = {78},
  number = {12},
  pages = {2435--2452},
  publisher = {Elsevier},
  doi = {10.1016/j.scico.2012.11.009},
  addendum = {S}
}
```
Keiren, J.J.A., Reniers, M.A., Willemse, T.A.C.: Structural Analysis of Boolean Equation Systems. ACM Transactions on Computational Logic. Volume 13, Issue 1: 8:1–8:35 (2012).
DOI
```
@article{keiren_structural_2012,
  title = {Structural Analysis of Boolean Equation Systems},
  author = {Keiren, J. J. A. and Reniers, M. A. and Willemse, T. A. C.},
  year = {2012},
  month = jan,
  journal = {ACM Transactions on Computational Logic},
  volume = {13},
  number = {1},
  pages = {8:1--8:35},
  publisher = {ACM},
  doi = {10.1145/2071368.2071376}
}
```
Groote, J.F., Keiren, J.J.A., Stappers, F.P.M., Wesselink, J.W., Willemse, T.A.C.: Experiences in Developing the mCRL2 Toolset. Software: Practice and Experience. Volume 41, Issue 2: 143–153 (2011).
DOI
```
@article{groote_experiences_2011,
  title = {Experiences in Developing the {{mCRL2}} Toolset},
  author = {Groote, J. F. and Keiren, J. J. A. and Stappers, F. P. M. and Wesselink, J. W. and Willemse, T. A. C.},
  year = {2011},
  month = feb,
  journal = {Software: Practice and Experience},
  volume = {41},
  number = {2},
  pages = {143--153},
  publisher = {Wiley},
  doi = {10.1002/spe.1021},
  addendum = {S}
}
```

van Hee, K.M., Keiren, J.J.A., Post, R., Sidorova, N., van der Werf, J.M.E.M.: Designing Case Handling Systems. Transactions on Petri Nets and Other Models of Concurrency I. Volume 5100, 119–133 (2008).
DOI

@article{van_hee_designing_2008,
  title = {Designing Case Handling Systems},
  author = {{van Hee}, K. M. and Keiren, J. J. A. and Post, R. and Sidorova, N. and {van der Werf}, J. M. E. M.},
  editor = {Jensen, Kurt and {van der Aalst}, Wil and Billington, Jonathan},
  year = {2008},
  journal = {Transactions on Petri Nets and Other Models of Concurrency I},
  volume = {5100},
  pages = {119--133},
  publisher = {Springer},
  doi = {10.1007/978-3-540-89287-8_8},
  collection-title = {Lecture Notes in Computer Science}
}

Conference Articles

Reniers, M., Keiren, J.J.A.: Validation of Supervisory Control Synthesis Tool CIF Using Model Checker mCRL2. In: 2024 IEEE 20th International Conference on Automation Science and Engineering (CASE)., pp. 1437–1442. (2024).
DOI
```
@inproceedings{reniers_validation_2024,
  title = {Validation of Supervisory Control Synthesis Tool {{CIF}} Using Model Checker {{mCRL2}}},
  booktitle = {2024 {{IEEE}} 20th {{International Conference}} on {{Automation Science}} and {{Engineering}} ({{CASE}})},
  author = {Reniers, Michel and Keiren, Jeroen J.A.},
  year = {2024},
  month = aug,
  pages = {1437--1442},
  doi = {10.1109/CASE59546.2024.10711749},
  urldate = {2024-12-18}
}
```

Cleaveland, R., Keiren, J.J.A., Fontana, P.: An Expressive Timed Modal Mu-Calculus for Timed Automata. In: Hillston, J. et al. (eds.) Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems., pp. 160–178. Springer Nature Switzerland, Cham (2024).
DOI

@inproceedings{cleaveland_expressive_2024,
  title = {An Expressive Timed Modal Mu-Calculus for~Timed Automata},
  booktitle = {Quantitative {{Evaluation}} of {{Systems}} and {{Formal Modeling}} and {{Analysis}} of {{Timed Systems}}},
  author = {Cleaveland, Rance and Keiren, Jeroen J. A. and Fontana, Peter},
  editor = {Hillston, Jane and Soudjani, Sadegh and Waga, Masaki},
  year = {2024},
  pages = {160--178},
  publisher = {Springer Nature Switzerland},
  address = {Cham},
  doi = {10.1007/978-3-031-68416-6_10},
  isbn = {978-3-031-68416-6},
  langid = {english}
}

Hafidi, Y., Keiren, J.J.A., Groote, J.F.: Fair Mutual Exclusion for N Processes. In: Yavorskiy, R. et al. (eds.) Tools and Methods of Program Analysis. Communications in Computer and Information Science, pp. 149–160. Springer Nature Switzerland, Cham (2024).
DOI

@inproceedings{hafidi_fair_2024,
  title = {Fair Mutual Exclusion for~{{N}} Processes},
  booktitle = {Tools and {{Methods}} of {{Program Analysis}}},
  author = {Hafidi, Yousra and Keiren, Jeroen J. A. and Groote, Jan Friso},
  editor = {Yavorskiy, Rostislav and Cavalli, Ana Rosa and Kalenkova, Anna},
  year = {2024},
  month = jan,
  series = {Communications in {{Computer}} and {{Information Science}}},
  pages = {149--160},
  publisher = {Springer Nature Switzerland},
  address = {Cham},
  doi = {10.1007/978-3-031-50423-5_14},
  isbn = {978-3-031-50423-5},
  langid = {english}
}

van Dortmont, D., Keiren, J.J.A., Willemse, T.A.C.: Modelling and Analysing a Mechanical Lung Ventilator in mCRL2. In: Bonfanti, S. et al. (eds.) Rigorous State-Based Methods., pp. 341–359. Springer Nature Switzerland, Cham (2024).
DOI

@inproceedings{van_dortmont_modelling_2024,
  title = {Modelling and~Analysing a~Mechanical Lung Ventilator in~{{mCRL2}}},
  booktitle = {Rigorous {{State-Based Methods}}},
  author = {{van Dortmont}, Danny and Keiren, Jeroen J. A. and Willemse, Tim A. C.},
  editor = {Bonfanti, Silvia and Gargantini, Angelo and Leuschel, Michael and Riccobene, Elvinia and Scandurra, Patrizia},
  year = {2024},
  pages = {341--359},
  publisher = {Springer Nature Switzerland},
  address = {Cham},
  doi = {10.1007/978-3-031-63790-2_27},
  isbn = {978-3-031-63790-2},
  langid = {english}
}

Booy, J.J., Keiren, J.J.A., Bijl, M. van der: Compositional Ioco Using Model-Based Mocking. In: Proceedings of the 22nd Belgium-Netherlands Software Evolution Workshop., vol 3567, pp. 1–8. CEUR-WS, Nijmegen, The Netherlands (2023).
URL

@inproceedings{booy_compositional_2023,
  title = {Compositional Ioco Using Model-Based Mocking},
  booktitle = {Proceedings of the 22nd {{Belgium-Netherlands Software Evolution Workshop}}},
  author = {Booy, Jore J and Keiren, Jeroen J. A. and van der Bijl, Machiel},
  year = {2023},
  month = nov,
  volume = {3567},
  pages = {1--8},
  publisher = {CEUR-WS},
  address = {Nijmegen, The Netherlands},
  url = {https://ceur-ws.org/Vol-3567/paper1.pdf},
  urldate = {2024-01-02},
  langid = {english}
}

Stramaglia, A., Keiren, J.J.A., Neele, T.: Simplifying Process Parameters by Unfolding Algebraic Data Types. In: Ábrahám, E. et al. (eds.) Theoretical Aspects of Computing – ICTAC 2023. Lecture Notes in Computer Science, pp. 399–416. Springer Nature Switzerland, Cham (2023).
DOI

@inproceedings{stramaglia_simplifying_2023,
  title = {Simplifying Process Parameters by~Unfolding Algebraic Data Types},
  booktitle = {Theoretical {{Aspects}} of {{Computing}} -- {{ICTAC}} 2023},
  author = {Stramaglia, Anna and Keiren, Jeroen J. A. and Neele, Thomas},
  editor = {{\'A}brah{\'a}m, Erika and Dubslaff, Clemens and Tarifa, Silvia Lizeth Tapia},
  year = {2023},
  series = {Lecture {{Notes}} in {{Computer Science}}},
  pages = {399--416},
  publisher = {Springer Nature Switzerland},
  address = {Cham},
  doi = {10.1007/978-3-031-47963-2_24},
  isbn = {978-3-031-47963-2},
  langid = {english}
}

Stramaglia, A., Keiren, J.J.A.: Formal Verification of an Industrial UML-like Model Using mCRL2. In: Groote, J.F. and Huisman, M. (eds.) Formal Methods for Industrial Critical Systems. Lecture Notes in Computer Science, pp. 86–102. Springer International Publishing, Cham (2022).
DOI

@inproceedings{stramaglia_formal_2022,
  title = {Formal Verification of~an~Industrial {{UML-like}} Model Using {{mCRL2}}},
  booktitle = {Formal {{Methods}} for {{Industrial Critical Systems}}},
  author = {Stramaglia, Anna and Keiren, Jeroen J. A.},
  editor = {Groote, Jan Friso and Huisman, Marieke},
  year = {2022},
  series = {Lecture {{Notes}} in {{Computer Science}}},
  pages = {86--102},
  publisher = {Springer International Publishing},
  address = {Cham},
  doi = {10.1007/978-3-031-15008-1_7},
  isbn = {978-3-031-15008-1},
  langid = {english}
}

Groote, J.F., Keiren, J.J.A.: Tutorial: Designing Distributed Software in mCRL2. In: Peters, K. and Willemse, T.A.C. (eds.) Formal Techniques for Distributed Objects, Components, and Systems., pp. 226–243. Springer International Publishing, Cham (2021).
DOI

@inproceedings{groote_tutorial_2021,
  title = {Tutorial: {{Designing}} Distributed Software in {{mCRL2}}},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems},
  author = {Groote, Jan Friso and Keiren, Jeroen J. A.},
  editor = {Peters, Kirstin and Willemse, Tim A. C.},
  year = {2021},
  pages = {226--243},
  publisher = {Springer International Publishing},
  address = {Cham},
  doi = {10.1007/978-3-030-78089-0_15},
  isbn = {978-3-030-78089-0},
  annotation = {Note: Invited tutorial paper.}
}

Stramaglia, A., Keiren, J.J.A., Zantema, H.: Deadlock in Packet Switching Networks. In: Hojjat, H. and Massink, M. (eds.) Fundamentals of Software Engineering., pp. 127–141. Springer International Publishing, Cham (2021).
DOI
```
@inproceedings{stramaglia_deadlock_2021,
  title = {Deadlock in Packet Switching Networks},
  booktitle = {Fundamentals of Software Engineering},
  author = {Stramaglia, A and Keiren, J.J.A. and Zantema, H.},
  editor = {Hojjat, H. and Massink, M.},
  year = {2021},
  pages = {127--141},
  publisher = {Springer International Publishing},
  address = {Cham},
  doi = {10.1007/978-3-030-89247-0_9},
  isbn = {978-3-030-89247-0}
}
```
Fedotov, A., Keiren, J.J.A., Schmaltz, J.: Effective System Level Liveness Verification. In: Ivrii, A. and Strichman, O. (eds.) Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020., pp. 7–15. TU Wien Academic Press (2020).
DOI
```
@inproceedings{fedotov_effective_2020,
  title = {Effective System Level Liveness Verification},
  booktitle = {Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - {{FMCAD}} 2020},
  author = {Fedotov, A. and Keiren, J.J.A. and Schmaltz, J.},
  editor = {Ivrii, A. and Strichman, O.},
  year = {2020},
  month = sep,
  pages = {7--15},
  publisher = {TU Wien Academic Press},
  doi = {10.34727/2020/isbn.978-3-85448-042-6_7}
}
```

Groote, J.F., Keiren, J.J.A., Luttik, B., de Vink, E.P., Willemse, T.A.C.: Modelling and Analysing Software in mCRL2. In: Arbab, F. and Jongmans, S.-S. (eds.) Formal Aspects of Component Software. Lecture Notes in Computer Science, pp. 25–48. Springer International Publishing, Cham (2020).
DOI

@inproceedings{groote_modelling_2020,
  title = {Modelling and Analysing Software in {{mCRL2}}},
  booktitle = {Formal {{Aspects}} of {{Component Software}}},
  author = {Groote, Jan Friso and Keiren, Jeroen J. A. and Luttik, Bas and {de Vink}, Erik P. and Willemse, Tim A. C.},
  editor = {Arbab, Farhad and Jongmans, Sung-Shik},
  year = {2020},
  series = {Lecture {{Notes}} in {{Computer Science}}},
  pages = {25--48},
  publisher = {Springer International Publishing},
  address = {Cham},
  doi = {10.1007/978-3-030-40914-2_2},
  isbn = {978-3-030-40914-2},
  langid = {english}
}

Jansen, D.N., Groote, J.F., Keiren, J.J.A., Wijs, A.: An O(m log n) Algorithm for Branching Bisimilarity on Labelled Transition Systems. In: Biere, A. and Parker, D. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2020. Lecture Notes in Computer Science, vol 12079, pp. 3–20. Springer, Cham (2020).
DOI
```
@inproceedings{jansen_om_2020,
  title = {An O(m log n) Algorithm for Branching Bisimilarity on Labelled Transition Systems},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems. {{TACAS}} 2020.},
  author = {Jansen, D.N. and Groote, J.F. and Keiren, J.J.A. and Wijs, A.},
  editor = {Biere, A. and Parker, D.},
  year = {2020},
  month = apr,
  volume = {12079},
  pages = {3--20},
  publisher = {Springer, Cham},
  doi = {10.1007/978-3-030-45237-7_1},
  collection-title = {Lecture Notes in Computer Science}
}
```

Bunte, O., Groote, J.F., Keiren, J.J.A., Laveaux, M., Neele, T., de Vink, E., Wesselink, J.W., Wijs, A., Willemse, T.A.C.: The mCRL2 Toolset for Analysing Concurrent Systems – Improvements in Expressivity and Usability. In: Vojnar, T. and Zhang, L. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019. Lecture Notes in Computer Science, vol 11428, pp. 21–39. Springer (2019).
DOI

@inproceedings{bunte_mcrl2_2019,
  ids = {BGK+2019},
  title = {The {{mCRL2}} Toolset for Analysing Concurrent Systems -- Improvements in Expressivity and Usability},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems. {{TACAS}} 2019},
  author = {Bunte, O. and Groote, J.F. and Keiren, J.J.A. and Laveaux, M. and Neele, T. and {de Vink}, E. and Wesselink, J.W. and Wijs, A. and Willemse, T.A.C.},
  editor = {Vojnar, T. and Zhang, L.},
  year = {2019},
  series = {Lecture {{Notes}} in {{Computer Science}}},
  volume = {11428},
  pages = {21--39},
  publisher = {Springer},
  doi = {10.1007/978-3-030-17465-1_2},
  collection-title = {Lecture Notes in Computer Science}
}

de Frutos Escrig, D., Keiren, J.J.A., Willemse, T.A.C.: Branching Bisimulation Games. In: Albert, E. and Lanese, I. (eds.) Proceedings of FORTE 2016. Lecture Notes in Computer Science, vol 9688, pp. 142–157. Springer (2016).
DOI
```
@inproceedings{de_frutos_escrig_branching_2016,
  title = {Branching Bisimulation Games},
  booktitle = {Proceedings of {{FORTE}} 2016},
  author = {{de Frutos Escrig}, D. and Keiren, J.J.A. and Willemse, T.A.C.},
  editor = {Albert, E. and Lanese, I.},
  year = {2016},
  volume = {9688},
  pages = {142--157},
  publisher = {Springer},
  doi = {10.1007/978-3-319-39570-8_10},
  collection-title = {Lecture Notes in Computer Science}
}
```
Keiren, J.J.A.: Benchmarks for Parity Games. In: Fundamentals of Software Engineering (FSEN 2015). Lecture Notes in Computer Science, vol 9392, pp. 126–142. Springer (2015).
DOI
```
@inproceedings{keiren_benchmarks_2015,
  title = {Benchmarks for Parity Games},
  booktitle = {Fundamentals of Software Engineering ({{FSEN}} 2015)},
  author = {Keiren, Jeroen J. A.},
  year = {2015},
  volume = {9392},
  pages = {126--142},
  publisher = {Springer},
  doi = {10.1007/978-3-319-24644-4_9},
  addendum = {S},
  collection-title = {Lecture Notes in Computer Science}
}
```
Keiren, J.J.A., Wesselink, J.W., Willemse, T.A.C.: Liveness Analysis for Parameterised Boolean Equation Systems. In: Automated Technology for Verification and Analysis (ATVA’14). Lecture Notes in Computer Science, vol 8837, pp. 219–234. Springer (2014).
DOI
```
@inproceedings{keiren_liveness_2014,
  title = {Liveness Analysis for Parameterised Boolean Equation Systems},
  booktitle = {Automated Technology for Verification and Analysis ({{ATVA}}'14)},
  author = {Keiren, J. J. A. and Wesselink, J. W. and Willemse, T. A. C.},
  year = {2014},
  volume = {8837},
  pages = {219--234},
  publisher = {Springer},
  doi = {10.1007/978-3-319-11936-6_16},
  addendum = {S},
  collection-title = {Lecture Notes in Computer Science}
}
```
Cranen, S., Groote, J.F., Keiren, J.J.A., Stappers, F.P.M., de Vink, E.P., Wesselink, J.W., Willemse, T.A.C.: An Overview of the mCRL2 Toolset and Its Recent Advances. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS’13). Lecture Notes in Computer Science, pp. 199–213. Springer (2013).
DOI
```
@inproceedings{cranen_overview_2013,
  title = {An Overview of the {{mCRL2}} Toolset and Its Recent Advances},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems ({{TACAS}}'13)},
  author = {Cranen, S. and Groote, J. F. and Keiren, J. J. A. and Stappers, F. P. M. and {de Vink}, E. P. and Wesselink, J. W. and Willemse, T. A. C.},
  year = {2013},
  number = {7795},
  pages = {199--213},
  publisher = {Springer},
  doi = {10.1007/978-3-642-36742-7_15},
  addendum = {S},
  collection-title = {Lecture Notes in Computer Science}
}
```
Cranen, S., Keiren, J.J.A., Willemse, T.A.C.: A Cure for Stuttering Parity Games. In: International Colloquium on Theoretical Aspects of Computing (ICTAC 2012). Lecture Notes in Computer Science, pp. 198–212. Springer (2012).
DOI
```
@inproceedings{cranen_cure_2012,
  title = {A Cure for Stuttering Parity Games},
  booktitle = {International Colloquium on Theoretical Aspects of Computing ({{ICTAC}} 2012)},
  author = {Cranen, S. and Keiren, J. J. A. and Willemse, T. A. C.},
  year = {2012},
  number = {7521},
  pages = {198--212},
  publisher = {Springer},
  doi = {10.1007/978-3-642-32943-2_16},
  addendum = {S},
  collection-title = {Lecture Notes in Computer Science}
}
```

Keiren, J.J.A., Klabbers, M.D.: Modelling and Verifying IEEE Std 11073-20601 Session Setup Using mCRL2. In: Proceedings of the Workshop on Automated Verification of Critical Systems (AVoCS 2012). ECEASST, vol X, pp. 1–15. (2012).
URL

@inproceedings{keiren_modelling_2012,
  title = {Modelling and Verifying {{IEEE}} Std 11073-20601 Session Setup Using {{mCRL2}}},
  booktitle = {Proceedings of the Workshop on Automated Verification of Critical Systems ({{AVoCS}} 2012)},
  author = {Keiren, J. J. A. and Klabbers, M. D.},
  year = {2012},
  volume = {X},
  pages = {1--15},
  url = {http://journal.ub.tu-berlin.de/eceasst/article/view/793},
  collection-title = {ECEASST},
  material = {https://github.com/mCRL2org/mCRL2/tree/master/examples/industrial/ieee-11073}
}

Keiren, J.J.A., Willemse, T.A.C.: Bisimulation Minimisations for Boolean Equation Systems. In: Proceedings of Haifa Verification Conference 2009 (HVC’09). Lecture Notes in Computer Science, pp. 102–116. Springer (2011).
DOI
```
@inproceedings{keiren_bisimulation_2011,
  title = {Bisimulation Minimisations for Boolean Equation Systems},
  booktitle = {Proceedings of Haifa Verification Conference 2009 ({{HVC}}'09)},
  author = {Keiren, J. J. A. and Willemse, T. A. C.},
  year = {2011},
  number = {6405},
  pages = {102--116},
  publisher = {Springer},
  doi = {10.1007/978-3-642-19237-1_12},
  addendum = {S},
  collection-title = {Lecture Notes in Computer Science}
}
```

Cranen, S., Keiren, J.J.A., Willemse, T.A.C.: Stuttering Mostly Speeds up Solving Parity Games. In: Bobaru, M. et al. (eds.) NASA Formal Methods. Lecture Notes in Computer Science, pp. 207–221. Springer, Berlin, Heidelberg (2011).
DOI

@inproceedings{cranen_stuttering_2011,
  ids = {CKW2011},
  title = {Stuttering Mostly Speeds up Solving Parity Games},
  booktitle = {{{NASA Formal Methods}}},
  author = {Cranen, Sjoerd and Keiren, Jeroen J. A. and Willemse, Tim A. C.},
  editor = {Bobaru, Mihaela and Havelund, Klaus and Holzmann, Gerard J. and Joshi, Rajeev},
  year = {2011},
  series = {Lecture {{Notes}} in {{Computer Science}}},
  number = {6617},
  pages = {207--221},
  publisher = {Springer},
  address = {Berlin, Heidelberg},
  doi = {10.1007/978-3-642-20398-5_16},
  addendum = {S},
  collection-title = {Lecture Notes in Computer Science},
  isbn = {978-3-642-20398-5},
  langid = {english}
}

Groote, J.F., Keiren, J.J.A., Stappers, F.P.M., Wesselink, J.W., Willemse, T.A.C.: Experience in Developing the mCRL2 Toolset. In: Proceedings of the Workshop on Tool Building in Formal Methods (TBFM’10), Held in Conjunction with ABZ. (2010).
```
@inproceedings{groote_experience_2010,
  title = {Experience in Developing the {{mCRL2}} Toolset},
  booktitle = {Proceedings of the Workshop on {{Tool Building}} in {{Formal Methods}} ({{TBFM}}'10), Held in Conjunction with {{ABZ}}},
  author = {Groote, J. F. and Keiren, J. J. A. and Stappers, F. P. M. and Wesselink, J. W. and Willemse, T. A. C.},
  year = {2010}
}
```
Keiren, J.J.A., Wesselink, J.W., van der Wulp, J.: Generic Programming in the mCRL2 Toolset. In: Proceedings of the Workshop on Tool Building in Formal Methods (TBFM’10), Held in Conjunction with ABZ. (2010).
```
@inproceedings{keiren_generic_2010,
  title = {Generic Programming in the {{mCRL2}} Toolset},
  booktitle = {Proceedings of the Workshop on {{Tool Building}} in {{Formal Methods}} ({{TBFM}}'10), Held in Conjunction with {{ABZ}}},
  author = {Keiren, J. J. A. and Wesselink, J. W. and {van der Wulp}, J.},
  year = {2010}
}
```
Keiren, J.J.A., van Walderveen, F., Wolff, A.: Constructability of Trip-Lets. In: Collection of Abstracts of the 25th European Workshop on Computational Geometry (EuroCG’09)., pp. 251–254. (2009).
```
@inproceedings{keiren_constructability_2009,
  title = {Constructability of Trip-Lets},
  booktitle = {Collection of Abstracts of the 25th {{European Workshop}} on {{Computational Geometry}} ({{EuroCG}}'09)},
  author = {Keiren, J. J. A. and {van Walderveen}, F. and Wolff, A.},
  year = {2009},
  pages = {251--254}
}
```
Groote, J.F., Keiren, J.J.A., Mathijssen, A.H.J., Ploeger, S.C.W., Stappers, F.P.M., Tankink, C., Usenko, Y.S., van Weerdenburg, M.J., Wesselink, J.W., Willemse, T.A.C., van der Wulp, J.: The mCRL2 Toolset. In: Proceedings of the International Workshop on Advanced Software Development Tools and Techniques (WASDeTT’08), Held in Conjunction with ECOOP. (2008).
```
@inproceedings{groote_mcrl2_2008,
  title = {The {{mCRL2}} Toolset},
  booktitle = {Proceedings of the International Workshop on Advanced Software Development Tools and Techniques ({{WASDeTT}}'08), Held in Conjunction with {{ECOOP}}},
  author = {Groote, J. F. and Keiren, J. J. A. and Mathijssen, A. H. J. and Ploeger, S. C. W. and Stappers, F. P. M. and Tankink, C. and Usenko, Y. S. and {van Weerdenburg}, M. J. and Wesselink, J. W. and Willemse, T. A. C. and {van der Wulp}, J.},
  year = {2008}
}
```
van Hee, K.M., Keiren, J.J.A., Post, R., Sidorova, N., van der Werf, J.M.E.M.: Designing Case Handling Systems. In: Moldt, D. et al. (eds.) Proceedings of the Workshop on Petri Nets and Software Engineering (PNSE’07)., pp. 52–66. Publishing House of University of Podlasie (2007).
```
@inproceedings{van_hee_designing_2007,
  title = {Designing Case Handling Systems},
  booktitle = {Proceedings of the Workshop on Petri Nets and Software Engineering ({{PNSE}}'07)},
  author = {{van Hee}, K. M. and Keiren, J. J. A. and Post, R. and Sidorova, N. and {van der Werf}, J. M. E. M.},
  editor = {Moldt, D and Kordon, F and {van Hee}, K M and Colom, J M and Bastide, R},
  year = {2007},
  pages = {52--66},
  publisher = {Publishing House of University of Podlasie},
  isbn = {978-83-7051-427-3}
}
```

Technical Reports

Cleaveland, R., Keiren, J.J.A., Fontana, P.: Expressiveness Results for Timed Modal Mu-Calculi. arXiv:2310.04100 [cs.LO] (2023).
DOI

@techreport{cleaveland_expressiveness_2023,
  title = {Expressiveness Results for Timed Modal Mu-Calculi},
  author = {Cleaveland, Rance and Keiren, Jeroen J. A. and Fontana, Peter},
  year = {2023},
  month = oct,
  number = {:2310.04100 [cs.LO]},
  eprint = {arXiv::2310.04100},
  primaryclass = {cs.LO},
  doi = {10.48550/arXiv.2310.04100},
  urldate = {2024-01-02},
  archive = {arXiv},
  langid = {english}
}

Keiren, J.J.A., Cleaveland, R.: Extensible Proof Systems for Infinite-State Systems. arXiv:2207.12953. arXiv (2022).
DOI

@techreport{keiren_extensible_2022,
  title = {Extensible Proof Systems for Infinite-State Systems},
  author = {Keiren, Jeroen J. A. and Cleaveland, Rance},
  year = {2022},
  month = jul,
  number = {arXiv:2207.12953},
  eprint = {2207.12953},
  primaryclass = {cs.LO},
  institution = {arXiv},
  doi = {10.48550/arXiv.2207.12953},
  urldate = {2022-07-27},
  archiveprefix = {arXiv}
}

Stramaglia, A., Keiren, J.J.A.: Formal Verification of an Industrial UML-like Model Using mCRL2 (Extended Version). arXiv:2205.08146 (2022).
URL
```
@techreport{stramaglia_formal_2022preprint,
  title = {Formal Verification of an Industrial {{UML-like}} Model Using {{mCRL2}} (Extended Version)},
  author = {Stramaglia, A. and Keiren, J.J.A.},
  year = {2022},
  month = may,
  number = {2205.08146},
  eprint = {2205.08146},
  primaryclass = {eess.SY},
  url = {https://arxiv.org/abs/2205.08146},
  archive = {arXiv}
}
```
Groote, J.F., Keiren, J.J.A.: Tutorial: Designing Distributed Software in mCRL2. arXiv:2104.10542 (2021).
URL
```
@techreport{groote_tutorial_2021-preprint,
  title = {Tutorial: {{Designing}} Distributed Software in {{mCRL2}}},
  author = {Groote, Jan Friso and Keiren, Jeroen J. A.},
  year = {2021},
  month = apr,
  number = {2104.10542},
  eprint = {2104.10542},
  primaryclass = {cs.LO},
  url = {http://arxiv.org/abs/2104.10542},
  urldate = {2021-06-10},
  archive = {arXiv}
}
```
Hafidi, Y., Keiren, J.J.A., Groote, J.F.: Fair Mutual Exclusion for N Processes (Extended Version). arXiv:2111.02251 (2021).
URL
```
@techreport{hafidi_fair_2021,
  title = {Fair Mutual Exclusion for {{N}} Processes (Extended Version)},
  author = {Hafidi, Y. and Keiren, J.J.A. and Groote, J.F.},
  year = {2021},
  month = nov,
  number = {2111.02251},
  eprint = {2111.02251},
  primaryclass = {cs.LO},
  url = {https://arxiv.org/abs/2111.02251},
  archive = {arXiv}
}
```
Stramaglia, A., Keiren, J.J.A., Zantema, H.: Deadlock in Packet Switching Networks. 2101.06015. (2021).
URL
```
@techreport{stramaglia_deadlock_2021-preprint,
  title = {Deadlock in Packet Switching Networks},
  author = {Stramaglia, A and Keiren, J.J.A. and Zantema, H.},
  year = {2021},
  month = jan,
  number = {2101.06015},
  eprint = {2101.06015},
  eprintclass = {cs.NI},
  url = {https://arxiv.org/abs/2101.06015},
  eid = {arXiv:2101.06015}
}
```

Fedotov, A., Keiren, J.J.A., Schmaltz, J.: Sound Idle and Block Equations for Finite State Machines in xMAS. Computer Science Reports 19-04. Eindhoven University of Technology, Eindhoven (2019).
URL

@techreport{fedotov_sound_2019,
  title = {Sound Idle and Block Equations for Finite State Machines in {{xMAS}}},
  author = {Fedotov, A. and Keiren, J.J.A. and Schmaltz, J.},
  year = {2019},
  number = {19-04},
  address = {Eindhoven},
  institution = {Eindhoven University of Technology},
  url = {https://research.tue.nl/en/publications/sound-idle-and-block-equations-for-finite-state-machines-in-xmas},
  collection-title = {Computer Science Reports}
}

Groote, J.F., Keiren, J.J.A., Luttik, S.P., de Vink, E.P., Willemse, T.A.C.: Modelling and Analysing Software in mCRL2. Computer Science Reports 19-05. Eindhoven University of Technology, Eindhoven (2019).
URL

@techreport{groote_modelling_2019,
  title = {Modelling and Analysing Software in {{mCRL2}}},
  author = {Groote, J.F. and Keiren, J.J.A. and Luttik, S.P. and {de Vink}, E.P. and Willemse, T.A.C.},
  year = {2019},
  number = {19-05},
  address = {Eindhoven},
  institution = {Eindhoven University of Technology},
  url = {https://research.tue.nl/en/publications/modelling-and-analysing-software-in-mcrl2},
  collection-title = {Computer Science Reports}
}

Jansen, D.N., Groote, J.F., Keiren, J.J.A., Wijs, A.: A Simpler O(m log n) Algorithm for Branching Bisimilarity on Labelled Transition Systems. Computer Science Reports 19-03. Eindhoven University of Technology, Eindhoven (2019).
URL

@techreport{jansen_simpler_2019,
  title = {A Simpler O(m log n) Algorithm for Branching Bisimilarity on Labelled Transition Systems},
  author = {Jansen, David N. and Groote, Jan Friso and Keiren, Jeroen J. A. and Wijs, Anton},
  year = {2019},
  month = sep,
  number = {19-03},
  address = {Eindhoven},
  institution = {Eindhoven University of Technology},
  url = {http://arxiv.org/abs/1909.10824},
  urldate = {2019-11-06},
  collection-title = {Computer Science Reports}
}

Jansen, D.N., Keiren, J.J.A.: Stuttering Equivalence Is Too Slow! arXiv:1603.05789 (2016).
URL
```
@techreport{jansen_stuttering_2016,
  title = {Stuttering Equivalence Is Too Slow!},
  author = {Jansen, D. N. and Keiren, J.J.A.},
  year = {2016},
  number = {1603.05789},
  eprint = {arXiv:1603.05789},
  primaryclass = {cs.LO},
  url = {http://arxiv.org/abs/1603.05789},
  archive = {arXiv}
}
```
Cranen, S., Keiren, J.J.A., Willemse, T.A.C.: Parity Game Reductions. arXiv:1603.06422 (2016).
URL
```
@techreport{cranen_parity_2016,
  title = {Parity Game Reductions},
  author = {Cranen, S. and Keiren, J.J.A. and Willemse, T.A.C.},
  year = {2016},
  number = {1603.06422},
  eprint = {arXiv:1603.06422},
  primaryclass = {cs.LO},
  url = {https://arxiv.org/abs/1603.06422},
  archive = {arXiv}
}
```
Keiren, J.J.A., Fontana, P., Cleaveland, R.: Corrections to a Menagerie of Timed Automata. arXiv:1602.07165 (2016).
URL
```
@techreport{keiren_corrections_2016,
  title = {Corrections to a Menagerie of Timed Automata},
  author = {Keiren, J. J. A. and Fontana, P. and Cleaveland, R.},
  year = {2016},
  number = {1602.07165},
  primaryclass = {cs.FL},
  url = {http://arxiv.org/abs/1602.07165},
  archive = {arXiv}
}
```
Keiren, J.J.A.: Benchmarks for Parity Games. arXiv:1407.3121 (2014).
URL
```
@techreport{keiren_benchmarks_2014,
  title = {Benchmarks for Parity Games},
  author = {Keiren, J. J. A.},
  year = {2014},
  number = {1407.3121},
  primaryclass = {cs.LO},
  url = {http://arxiv.org/abs/1407.3121},
  archive = {arXiv}
}
```
Keiren, J.J.A., Wesselink, J.W., Willemse, T.A.C.: Improved Static Analysis of Parameterised Boolean Equation Systems Using Control Flow Reconstruction. arXiv:1304.6482 (2013).
URL
```
@techreport{keiren_improved_2013,
  title = {Improved Static Analysis of Parameterised Boolean Equation Systems Using Control Flow Reconstruction},
  author = {Keiren, J. J. A. and Wesselink, J. W. and Willemse, T. A. C.},
  year = {2013},
  number = {1304.6482},
  primaryclass = {cs.LO},
  url = {http://arxiv.org/abs/1304.6482},
  archive = {arXiv}
}
```
Keiren, J.J.A., Klabbers, M.D.: Modelling and Verifying IEEE Std 11073-20601 Session Setup Using mCRL2. Computer Science Reports 12-12. Eindhoven University of Technology, Eindhoven (2012).
URL
```
@techreport{keiren_modelling_2012-report,
  title = {Modelling and Verifying {{IEEE}} Std 11073-20601 Session Setup Using {{mCRL2}}},
  author = {Keiren, J. J. A. and Klabbers, M. D.},
  year = {2012},
  number = {12-12},
  address = {Eindhoven},
  institution = {Eindhoven University of Technology},
  url = {http://repository.tue.nl/735581},
  collection-title = {Computer Science Reports}
}
```
Cranen, S., Keiren, J.J.A., Willemse, T.A.C.: A Cure for Stuttering Parity Games. Computer Science Reports 12-05. Eindhoven University of Technology, Eindhoven (2012).
URL
```
@techreport{cranen_cure_2012-report,
  title = {A Cure for Stuttering Parity Games},
  author = {Cranen, S. and Keiren, J. J. A. and Willemse, T. A. C.},
  year = {2012},
  number = {12-05},
  pages = {25},
  address = {Eindhoven},
  institution = {Eindhoven University of Technology},
  url = {http://repository.tue.nl/732149},
  collection-title = {Computer Science Reports}
}
```
Cranen, S., Keiren, J.J.A., Willemse, T.A.C.: Stuttering Equivalence for Parity Games. arXiv:1102.2366 (2011).
URL
```
@techreport{cranen_stuttering_2011-preprint,
  type = {{{arXiv}}},
  title = {Stuttering Equivalence for Parity Games},
  author = {Cranen, S. and Keiren, J. J. A. and Willemse, T. A. C.},
  year = {2011},
  number = {1102.2366},
  url = {http://arxiv.org/abs/1102.2366},
  archive = {arXiv},
  annotation = {tec.primaryClass: cs.LO}
}
```
Keiren, J.J.A., Reniers, M.A.: Type Checking mCRL2. Computer Science Reports 11-11. Eindhoven University of Technology, Eindhoven (2011).
URL
```
@techreport{keiren_type_2011,
  title = {Type Checking {{mCRL2}}},
  author = {Keiren, J. J. A. and Reniers, M. A.},
  year = {2011},
  number = {11-11},
  pages = {21},
  address = {Eindhoven},
  institution = {Eindhoven University of Technology},
  url = {http://repository.tue.nl/716663},
  collection-title = {Computer Science Reports}
}
```
Keiren, J.J.A., Reniers, M.A., Willemse, T.A.C.: Structural Analysis of Boolean Equation Systems. arXiv: (2010).
URL
```
@techreport{keiren_structural_2010,
  title = {Structural Analysis of Boolean Equation Systems},
  author = {Keiren, J. J. A. and Reniers, M. A. and Willemse, T. A. C.},
  year = {2010},
  month = feb,
  primaryclass = {cs.LO},
  institution = {Eindhoven University of Technology},
  url = {http://arxiv.org/abs/1002.3222},
  archive = {arXiv}
}
```
Keiren, J.J.A., Willemse, T.A.C.: Bisimulation Minimisations for Boolean Equation Systems. Computer Science Reports 09-17. Technische Universiteit Eindhoven (2009).
URL
```
@techreport{keiren_bisimulation_2009,
  title = {Bisimulation Minimisations for Boolean Equation Systems},
  author = {Keiren, J. J. A. and Willemse, T. A. C.},
  year = {2009},
  number = {09-17},
  institution = {Technische Universiteit Eindhoven},
  url = {https://research.tue.nl/nl/publications/bisimulation-minimisations-for-boolean-equation-systems-2},
  collection-title = {Computer Science Reports}
}
```

Theses

Keiren, J.J.A.: Advanced Reduction Techniques for Model Checking. Eindhoven University of Technology (2013).
DOI
```
@phdthesis{keiren_advanced_2013,
  ids = {Kei2013},
  title = {Advanced Reduction Techniques for Model Checking},
  author = {Keiren, J. J. A.},
  year = {2013},
  month = sep,
  doi = {10.6100/IR757862},
  addendum = {S},
  isbn = {978-90-386-3427-2},
  school = {Eindhoven University of Technology}
}
```
Keiren, J.J.A.: An Experimental Study of Algorithms and Optimisations for Parity Games, with an Application to Boolean Equation Systems. Eindhoven University of Technology (2009).
```
@mastersthesis{keiren_experimental_2009,
  title = {An Experimental Study of Algorithms and Optimisations for Parity Games, with an Application to Boolean Equation Systems},
  author = {Keiren, J. J. A.},
  year = {2009},
  month = jul,
  school = {Eindhoven University of Technology}
}
```

Miscellaneous

van Dortmont, D., Keiren, J.J.A., Willemse, T.A.C.: Models for: Modelling and Analysing a Mechanical Lung Ventilator in mCRL2, (2024).
DOI
```
@misc{van_dortmont_models_2024,
  title = {Models for: {{Modelling}} and Analysing a Mechanical Lung Ventilator in {{mCRL2}}},
  author = {{van Dortmont}, Danny and Keiren, Jeroen J.A. and Willemse, Tim A.C.},
  year = {2024},
  month = apr,
  publisher = {Zenodo},
  doi = {10.5281/zenodo.10978852}
}
```
Bunte, O., Groote, J.F., Keiren, J.J.A., Laveaux, M., Neele, T., de Vink, E., Wesselink, J.W., Wijs, A., Willemse, T.A.C.: The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability, (2019).
```
@misc{bunte_mcrl2_2019poster,
  type = {Poster},
  title = {The {{mCRL2}} Toolset for Analysing Concurrent Systems: {{Improvements}} in Expressivity and Usability},
  author = {Bunte, O and Groote, J.F. and Keiren, J.J.A. and Laveaux, M. and Neele, T. and {de Vink}, E. and Wesselink, J.W. and Wijs, A. and Willemse, T.A.C.},
  year = {2019},
  journal = {Poster presented at ETAPS main poster session},
  annotation = {Note: Presented at ETAPS 2019}
}
```
Bockisch, C., Keiren, J.J.A., van Gastel, B., Kersten, R., van Eekelen, M.: Big Energy Data for Software Engineering, (2015).
```
@misc{bockisch_big_2015,
  type = {Poster},
  title = {Big Energy Data for Software Engineering},
  author = {Bockisch, C. and Keiren, J. J. A. and {van Gastel}, B. and Kersten, R. and {van Eekelen}, M.},
  year = {2015},
  annotation = {Note: Presented at ECOOP 2015}
}
```

Book Chapters

Keiren, J.J.A., Willemse, T.A.C.: It’s All a Game: Apartness and Bisimilarity. In: Capretta, V. et al. (eds.) Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday., pp. 150–167. Springer Nature Switzerland, Cham (2024).
DOI

@incollection{keiren_its_2024,
  title = {It's {{All}} a~{{Game}}: {{Apartness}} and {{Bisimilarity}}},
  booktitle = {Logics and {{Type Systems}} in {{Theory}} and {{Practice}}: {{Essays Dedicated}} to {{Herman Geuvers}} on {{The Occasion}} of {{His}} 60th {{Birthday}}},
  author = {Keiren, Jeroen J. A. and Willemse, Tim A. C.},
  editor = {Capretta, Venanzio and Krebbers, Robbert and Wiedijk, Freek},
  year = {2024},
  pages = {150--167},
  publisher = {Springer Nature Switzerland},
  address = {Cham},
  doi = {10.1007/978-3-031-61716-4_10},
  urldate = {2024-12-18},
  isbn = {978-3-031-61716-4},
  langid = {english}
}

Jeroen Keiren