| 2025 | CONCUR | A State-Based O(m log n) Partitioning Algorithm for Branching Bisimilarity. | Jan Friso Groote, David N. Jansen |
| 2025 | FMICS | A Complete Formal Specification and Verification of the BESW Software Control System of the Maeslant Storm Surge Barrier. | Adrian Beers, Jore Booy, Jan Friso Groote, Johan van den Bogaard, Mark Bouwman |
| 2023 | CONCUR | Computing Minimal Distinguishing Hennessy-Milner Formulas is NP-Hard, but Variants are Tractable. | Jan Martens, Jan Friso Groote |
| 2023 | CONCUR | Real Equation Systems with Alternating Fixed-Points. | Jan Friso Groote, Tim A. C. Willemse |
| 2023 | FM | Minimisation of Spatial Models Using Branching Bisimilarity. | Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink |
| 2023 | FOSSACS | Compositional Learning for Interleaving Parallel Automata. | Faezeh Labbaf, Jan Friso Groote, Hossein Hojjat, Mohammad Reza Mousavi |
| 2023 | ICTAC | An Autonomous Data Language. | Tom T. P. Franken, Thomas Neele, Jan Friso Groote |
| 2023 | SAC | A formal analysis of Dutch Generic Integral Tunnel Design models. | Kevin H. J. Jilissen, Peter Dieleman, Jan Friso Groote |
| 2022 | ICSoft | Constructive Model Inference: Model Learning for Component-based Software Architectures. | Bram Hooimeijer, Marc Geilen, Jan Friso Groote, Dennis Hendriks, Ramon R. H. Schiffelers |
| 2022 | ISoLA | A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol). | Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck |
| 2021 | CONCUR | Bisimulation by Partitioning Is Ω((m+n)log n). | Jan Friso Groote, Jan Martens, Erik P. de Vink |
| 2021 | FORTE | Tutorial: Designing Distributed Software in mCRL2. | Jan Friso Groote, Jeroen J. A. Keiren |
| 2021 | ICTAC | A Set Automaton to Locate All Pattern Matches in a Term. | Rick Erkens, Jan Friso Groote |
| 2020 | CONCUR | A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains. | David N. Jansen, Jan Friso Groote, Ferry Timmers, Pengfei Yang |
| 2020 | ICSE | Active Learning of Decomposable Systems. | Omar al Duhaiby, Jan Friso Groote |
| 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 | FORTE | Correct and Efficient Antichain Algorithms for Refinement Checking. | Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse |
| 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 |
| 2018 | ISoLA | Pitfalls in Applying Model Learning to Industrial Legacy Software. | Omar al Duhaiby, Arjan J. Mooij, Hans van Wezep, Jan Friso Groote |
| 2017 | FMICS | Formalising the Dezyne Modelling Language in mCRL2. | Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse |
| 2017 | QRS | Assessing the Quality of Tabular State Machines through Metrics. | Ammar Osaiweran, Jelena Marincic, Jan Friso Groote |
| 2016 | ISoLA | Software that Meets Its Intent. | Marieke Huisman, Herbert Bos, Sjaak Brinkkemper, Arie van Deursen, Jan Friso Groote, Patricia Lago, Jaco van de Pol, Eelco Visser |
| 2016 | TACAS | An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation. | Jan Friso Groote, Anton Wijs |
| 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 | FM | Experience Report on Designing and Developing Control Components Using Formal Methods. | Ammar Osaiweran, Tom Fransen, Jan Friso Groote, Bart J. van Rijnsoever |
| 2012 | ICST | Analyzing a Controller of a Power Distribution Unit Using Formal Methods. | Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius |
| 2012 | SAC | Experience report on developing the Front-end client unit under the control of formal methods. | Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius |
| 2012 | SEW | Dogfooding the Formal Semantics of mCRL2. | Frank P. M. Stappers, Michel A. Reniers, Sven Weber, Jan Friso Groote |
| 2005 | ICTAC | A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems. | Jan Friso Groote, Misa Keinnen |
| 2005 | ISPA | Lock-Free Parallel Garbage Collection. | Hui Gao, Jan Friso Groote, Wim H. Hesselink |
| 2005 | ITiCSE | Exploring students' understanding of the concept of algorithm: levels of abstraction. | Jacob Perrenet, Jan Friso Groote, Eric Kaasenbrood |
| 2004 | CONCUR | Parameterised Boolean Equation Systems (Extended Abstract). | Jan Friso Groote, Tim A. C. Willemse |
| 2004 | LICS | Congruence for SOS with Data. | Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote |
| 2004 | TACAS | Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points. | Jan Friso Groote, Misa Keinnen |
| 2003 | TACAS | Large State Space Visualization. | Jan Friso Groote, Frank van Ham |
| 2001 | CAV | µCRL: A Toolset for Analysing Algebraic Specifications. | Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol |
| 2000 | LPAR | Equational Binary Decision Diagrams. | Jan Friso Groote, Jaco van de Pol |
| 2000 | MFCS | State Space Reduction Using Partial tau-Confluence. | Jan Friso Groote, Jaco van de Pol |
| 1998 | CONCUR | Checking Verifications of Protocols and Distributed Systems by Computer. | Jan Friso Groote, Franois Monin, Jaco van de Pol |
| 1995 | CONCUR | Confluence for Process Verification. | Jan Friso Groote, M. P. A. Sellink |
| 1994 | CONCUR | Invariants in Process Algebra with Data. | Marc Bezem, Jan Friso Groote |
| 1992 | CONCUR | Verification of Parallel Systems via Decomposition. | Jan Friso Groote, Faron Moller |
| 1991 | CONCUR | Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract). | Jan Friso Groote, Alban Ponse |
| 1991 | ICALP | The Meaning of Negative Premises in Transition System Specifications. | Roland N. Bol, Jan Friso Groote |
| 1990 | CONCUR | A New Strategy for Proving omega-Completeness applied to Process Algebra. | Jan Friso Groote |
| 1990 | CONCUR | Transition System Specifications with Negative Premises (Extended Abstract). | Jan Friso Groote |
| 1990 | ICALP | An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence. | Jan Friso Groote, Frits W. Vaandrager |
| 1990 | LPNMR | The meaning of Negative Premises in Transition System Specifications. | Roland N. Bol, Jan Friso Groote |
| 1989 | ICALP | Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract). | Jan Friso Groote, Frits W. Vaandrager |