Jeroen J. A. Keiren
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
6
Active years
2012–2025
Best venue rank
A
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | TACAS | Efficient Evidence Generation for Modal μ-Calculus Model Checking. | Anna Stramaglia, Jeroen J. A. Keiren, Maurice Laveaux, Tim A. C. Willemse |
| 2023 | ICTAC | Simplifying Process Parameters by Unfolding Algebraic Data Types. | Anna Stramaglia, Jeroen J. A. Keiren, Thomas Neele |
| 2022 | FMICS | Formal Verification of an Industrial UML-like Model using mCRL2. | Anna Stramaglia, Jeroen J. A. Keiren |
| 2021 | FORTE | Tutorial: Designing Distributed Software in mCRL2. | Jan Friso Groote, Jeroen J. A. Keiren |
| 2020 | FMCAD | Effective System Level Liveness Verification. | Alexander Fedotov, Jeroen J. A. Keiren, Julien Schmaltz |
| 2020 | TACAS | An O(m log n) algorithm for branching bisimilarity on labelled transition systems. | David N. Jansen, Jan Friso Groote, Jeroen J. A. Keiren, Anton Wijs |
| 2019 | TACAS | The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. | Olav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, Tim A. C. Willemse |
| 2016 | FORTE | Branching Bisimulation Games. | David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse |
| 2014 | ATVA | Liveness Analysis for Parameterised Boolean Equation Systems. | Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse |
| 2013 | TACAS | An Overview of the mCRL2 Toolset and Its Recent Advances. | Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse |
| 2012 | ICTAC | A Cure for Stuttering Parity Games. | Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse |