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

  1. 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
  2. Cranen, S., Keiren, J.J.A., Willemse, T.A.C.: Parity Game Reductions. Acta Informatica. Volume 55, Issue 5: 401–444 (2018).
    DOI
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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

Conference Articles

  1. 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
  2. Keiren, J.J.A., Willemse, T.A.C.: It’s All a Game: Apartness and Bisimilarity. In: Essays in Honor of the 60th Birthday of Herman Geuvers.Springer (2024).
  3. 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
  4. Cleaveland, R., Keiren, J.J.A., Fontana, P.: An Expressive Timed Modal Mu-Calculus for Timed Automata. In: QEST+FORMATS 2024. (2024).
  5. Reniers, M.A., Keiren, J.J.A.: Validation of Supervisory Control Synthesis Tool CIF Using Model Checker mCRL2. In: IEEE CASE 2024. (2024).
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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).
  24. 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).
  25. 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).
  26. 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).
  27. 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).

Technical Reports

  1. Cleaveland, R., Keiren, J.J.A., Fontana, P.: Expressiveness Results for Timed Modal Mu-Calculi. arXiv:2310.04100 [cs.LO] (2023).
    DOI
  2. Keiren, J.J.A., Cleaveland, R.: Extensible Proof Systems for Infinite-State Systems. arXiv:2207.12953. arXiv (2022).
    DOI
  3. Stramaglia, A., Keiren, J.J.A.: Formal Verification of an Industrial UML-like Model Using mCRL2 (Extended Version). arXiv:2205.08146 (2022).
    URL
  4. Hafidi, Y., Keiren, J.J.A., Groote, J.F.: Fair Mutual Exclusion for N Processes (Extended Version). arXiv:2111.02251 (2021).
    URL
  5. Groote, J.F., Keiren, J.J.A.: Tutorial: Designing Distributed Software in mCRL2. arXiv:2104.10542 (2021).
    URL
  6. Stramaglia, A., Keiren, J.J.A., Zantema, H.: Deadlock in Packet Switching Networks. 2101.06015. (2021).
    URL
  7. 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
  8. 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
  9. 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
  10. Keiren, J.J.A., Fontana, P., Cleaveland, R.: Corrections to a Menagerie of Timed Automata. arXiv:1602.07165 (2016).
    URL
  11. Jansen, D.N., Keiren, J.J.A.: Stuttering Equivalence Is Too Slow! arXiv:1603.05789 (2016).
    URL
  12. Cranen, S., Keiren, J.J.A., Willemse, T.A.C.: Parity Game Reductions. arXiv:1603.06422 (2016).
    URL
  13. Keiren, J.J.A.: Benchmarks for Parity Games. arXiv:1407.3121 (2014).
    URL
  14. 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
  15. 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
  16. 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
  17. Cranen, S., Keiren, J.J.A., Willemse, T.A.C.: Stuttering Equivalence for Parity Games. arXiv:1102.2366 (2011).
    URL
  18. Keiren, J.J.A., Reniers, M.A.: Type Checking mCRL2. Computer Science Reports 11-11. Eindhoven University of Technology, Eindhoven (2011).
    URL
  19. Keiren, J.J.A., Reniers, M.A., Willemse, T.A.C.: Structural Analysis of Boolean Equation Systems. arXiv: (2010).
    URL
  20. Keiren, J.J.A., Willemse, T.A.C.: Bisimulation Minimisations for Boolean Equation Systems. Computer Science Reports 09-17. Technische Universiteit Eindhoven (2009).
    URL

Theses

  1. Keiren, J.J.A.: Advanced Reduction Techniques for Model Checking. Eindhoven University of Technology (2013).
    DOI
  2. 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).

Miscellaneous

  1. van Dortmont, D., Keiren, J.J.A., Willemse, T.A.C.: Models for: Modelling and Analysing a Mechanical Lung Ventilator in mCRL2, https://zenodo.org/records/10978852, (2024).
    URL
  2. 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).
  3. Bockisch, C., Keiren, J.J.A., van Gastel, B., Kersten, R., van Eekelen, M.: Big Energy Data for Software Engineering, (2015).