Jeroen Keiren

Jeroen Keiren

Formal methods researcher at TU/e

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. Cranen, S., Keiren, J.J.A., Willemse, T.A.C.: Parity game reductions. Acta Informatica. Volume 55, Issue 5: 401–444 (2018).
    DOI PDF
  2. 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 Transactions on Computational Logic. Volume 18, Issue 2: 13:1–13:34 (2017).
    DOI
  3. Keiren, J.J.A., Fontana, P., Cleaveland, R.: Corrections to “A Menagerie of Timed Automata.” ACM Computing Surveys. Volume 50, Issue 3: 42:1–42:8 (2017).
    DOI
  4. de Frutos Escrig, D., Keiren, J.J.A., Willemse, T.A.C.: Games for Bisimulation and Abstraction. Logical Methods in Computer Science. Volume 13, Issue 4: (2017).
    DOI PDF
  5. 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 PDF
  6. 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 PDF
  7. 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
  8. 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. 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
  2. Fedotov, A., Keiren, J.J.A., Schmaltz, J.: Effective System Level Liveness Verification. In: Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020, pp. 7–15. TU Wien Academic Press (2020).
    DOI PDF
  3. Bunte, O., Groote, J.F., Keiren, J.J.A., Laveaux, T., M. adn Neele, de Vink, E., Wesselink, J.W., A., W., 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 2019Lecture Notes in Computer Science, vol 11428, pp. 21–39. Springer (2019).
    DOI
  4. 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 2016Lecture Notes in Computer Science, vol 9688, pp. 142–157. Springer (2016).
    DOI
  5. 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 PDF Slides
  6. 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 PDF Slides
  7. Cranen, S., Groote, J.F., Keiren, J.J.A., Stappers, F.P.M., Vink, E.P. de, 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 PDF
  8. 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
  9. 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
  10. 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
  11. Cranen, S., Keiren, J.J.A., Willemse, T.A.C.: Stuttering Mostly Speeds Up Solving Parity Games. In: Hutchison, D. et al. (eds.) NASA Formal Methods (NFM’11)Lecture Notes in Computer Science, pp. 207–221. Springer (2011).
    DOI
  12. 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).
    PDF
  13. Keiren, J.J.A., Wesselink, J.W., Wulp, J. van der: 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).
    PDF
  14. Keiren, J.J.A., Walderveen, F. van, Wolff, A.: Constructability of Trip-lets. In: Collection of abstracts of the 25th European Workshop on Computational Geometry (EuroCG’09), pp. 251–254. (2009).
    PDF
  15. Groote, J.F., Keiren, J.J.A., Mathijssen, A.H.J., Ploeger, S.C.W., Stappers, F.P.M., Tankink, C., Usenko, Y.S., Weerdenburg, M.J. van, Wesselink, J.W., Willemse, T.A.C., Wulp, J. van der: The mCRL2 Toolset. In: Proceedings of the International Workshop on Advanced Software Development Tools and Techniques (WASDeTT’08), held in conjunction with ECOOP (2008).
    PDF
  16. 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. Keiren, J.J.A., Fontana, P., Cleaveland, R.: Corrections to A Menagerie of Timed Automata. (2016).
    URL
  2. Jansen, D.N., Keiren, J.J.A.: Stuttering equivalence is too slow! (2016).
    URL
  3. Cranen, S., Keiren, J.J.A., Willemse, T.A.C.: Parity Game Reductions. (2016).
    URL
  4. Keiren, J.J.A.: Benchmarks for Parity Games. (2014).
    URL
  5. Keiren, J.J.A., Wesselink, J.W., Willemse, T.A.C.: Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction. (2013).
    URL
  6. Cranen, S., Keiren, J.J.A., Willemse, T.A.C.: A Cure for Stuttering Parity Games. Eindhoven University of Technology, Eindhoven (2012).
    URL
  7. Keiren, J.J.A., Klabbers, M.D.: Modelling and Verifying IEEE Std 11073-20601 Session Setup Using mCRL2. Eindhoven University of Technology, Eindhoven (2012).
    URL
  8. Keiren, J.J.A., Reniers, M.A.: Type Checking mCRL2. Eindhoven University of Technology, Eindhoven (2011).
    URL
  9. Cranen, S., Keiren, J.J.A., Willemse, T.A.C.: Stuttering Equivalence for Parity Games. (2011).
    URL
  10. Keiren, J.J.A., Reniers, M.A., Willemse, T.A.C.: Structural Analysis of Boolean Equation Systems. Eindhoven University of Technology (2010).
    URL
  11. Keiren, J.J.A., Willemse, T.A.C.: Bisimulation Minimisations for Boolean Equation Systems. Technische Universiteit Eindhoven (2009).
  12. Groote, J.F., Keiren, J.J.A., Luttik, S.P., de Vink, E.P., Willemse, T.A.C.: Modelling and analysing software in mCRL2. Eindhoven University of Technology, Eindhoven.
    URL
  13. 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. Eindhoven University of Technology, Eindhoven.
    URL
  14. Fedotov, A., Keiren, J.J.A., Schmaltz, J.: Sound idle and block equations for finite state machines in xMAS. Eindhoven University of Technology, Eindhoven.
    URL

Theses

  1. Keiren, J.J.A.: Advanced Reduction Techniques for Model Checking. IPA dissertation series 2013-11. Eindhoven University of Technology (2013).
    DOI PDF
  2. Keiren, J.J.A.: An Experimental Study of Algorithms and Optimisations for Parity Games, with an Application to Boolean Equation Systems. Master’s thesis. Eindhoven University of Technology (2009).
    PDF

Miscellaneous

  1. 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).
  2. Bockisch, C., Keiren, J.J.A., Gastel, B.v., Kersten, R., Eekelen, M.v.: Big Energy Data for Software Engineering, (2015).