Skip to main navigation Skip to search Skip to main content
Jeroen J.A. Keiren

View Scopus Profile

Jeroen J.A. Keiren

dr.ir.

 https://orcid.org/0000-0002-5772-9527
  • 487
    Citations - based on content available in repository [source: Scopus]
20072025

Content available in repository

Personal profile

Quote

We should expect safety critical software to verifiably meet its requirements.

Research profile

Jeroen Keiren is an assistant professor in the Formal System Analysis group at the Eindhoven University of Technology (TU/e). His research interests lie in the development of formal methods for the design and application of correct and reliable software and hardware systems. A common theme throughout much of his research is reducing the structures generated in model checking, for example using bisimulation methods. Specific areas of expertise include explicit state model checking, parity games and timed systems.

Academic background

Jeroen Keiren obtained his Master's degree (with honors) in Computer Science at TU/e in 2009. He obtained his PhD in Formal System Analysis in 2013 at the same university. His thesis was titled Advanced Reduction Techniques for Model Checking. Afterwards, Jeroen became a postdoc at the Vrije Universiteit, Amsterdam (2013-2015) and Assistant Professor at the Open Universiteit (2015-2019) and University of Maryland (2016). During this time, he was also a visiting researcher in the Digital Security group at Radboud University, Nijmegen (2015-2019) and visiting lecturer/assistant professor (1 day/week) in the Embedded Software group at TU Delft. At the beginning of 2019, he returned to the TU/e as an assistant professor in the Formal System Analysis Group.

Fingerprint

Dive into the research topics where Jeroen J.A. Keiren is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • An O(m log n) algorithm for branching bisimilarity on labelled transition systems

    Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (eds.). Springer, p. 3-20 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    22   Link opens in a new tab Citations (Scopus)

  • Efficient Evidence Generation for Modal µ-Calculus Model Checking

    Stramaglia, A. (Corresponding author), Keiren, J. J. A., Laveaux, M. & Willemse, T. A. C., 1 May 2025, Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I. Gurfinkel, A. & Heule, M. (eds.). Springer, p. 191-210 20 p. (Lecture Notes in Computer Science (LNCS); vol. 15696).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    48 Downloads (Pure)

  • An Expressive Timed Modal Mu-Calculus for Timed Automata

    Cleaveland, R., Keiren, J. J. A. (Corresponding author) & Fontana, P., 29 Aug 2024, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings. Hillston, J., Soudjani, S. & Waga, M. (eds.). Cham: Springer, p. 160-178 19 p. (Lecture Notes in Computer Science (LNCS); vol. 14996).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    116 Downloads (Pure)

  • Extensible Proof Systems for Infinite-State Systems

    Cleaveland, R. & Keiren, J. J. A., Jan 2024, In: ACM Transactions on Computational Logic. 25, 1, p. 1-60 60 p., 2.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    File
    77 Downloads (Pure)

  • The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability

    Bunte, O., Groote, J. F., Keiren, J. J. A., Laveaux, M., Neele, T., de Vink, E. P., Wesselink, W., Wijs, A. & Willemse, T. A. C., 2019, 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, Proceedings. Vojnar, T. & Zhang, L. (eds.). Cham: Springer, p. 21-39 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    131   Link opens in a new tab Citations (Scopus)
    160 Downloads (Pure)
View all 58 research outputs
View all 7 datasets