Jan Friso Groote

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 69

Top Venues

CoRR

CONCUR

Sci. Comput. Program.

FACS

Publications

Jan Friso Groote, Sander van Heesch, Matthias Volk
Formal Modelling and Analysis of Slot Machines. CoRR (2024)
Kevin H. J. Jilissen, Peter Dieleman, Jan Friso Groote
Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment. MARS@ETAPS (2024)
Jan Friso Groote, Marieke Huisman
Formal Methods for Industrial Critical Systems. Int. J. Softw. Tools Technol. Transf. 26 (2) (2024)
Jan Martens, Jan Friso Groote
Minimal Depth Distinguishing Formulas Without Until for Branching Bisimulation. Logics and Type Systems in Theory and Practice (2024)
Jan Friso Groote, Tim A. C. Willemse
Real Equation Systems with Alternating Fixed-points (full version with proofs). CoRR (2023)
Tom T. P. Franken, Thomas Neele, Jan Friso Groote
An Autonomous Data Language. ICTAC (2023)
Rob van Glabbeek, Jan Friso Groote, Erik P. de Vink
A Cancellation Law for Probabilistic Processes. EXPRESS/SOS (2023)
Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs
Linear parallel algorithms to compute strong and branching bisimilarity. Softw. Syst. Model. 22 (2) (2023)
Faezeh Labbaf, Jan Friso Groote, Hossein Hojjat, Mohammad Reza Mousavi
Compositional Learning for Interleaving Parallel Automata. FoSSaCS (2023)
Jan Friso Groote, Jan Martens, Erik P. de Vink
Lowerbounds for Bisimulation by Partition Refinement. Log. Methods Comput. Sci. 19 (2) (2023)
Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Muhammad Osama, Anton Wijs
Innermost many-sorted term rewriting on GPUs. Sci. Comput. Program. 225 (2023)
Jan Martens, Jan Friso Groote
Computing Minimal Distinguishing Hennessy-Milner Formulas is NP-Hard, but Variants are Tractable. CONCUR (2023)
Jan Friso Groote, Tim A. C. Willemse
Real Equation Systems with Alternating Fixed-Points. CONCUR (2023)
Jan Martens, Jan Friso Groote
Computing minimal distinguishing Hennessy-Milner formulas is NP-hard, but variants are tractable. CoRR (2023)
Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink
Minimisation of Spatial Models Using Branching Bisimilarity. FM (2023)
Sander Thuijsman, Gökhan Kahraman, Alireza Mohamadkhani, Ferry Timmers, Loek Cleophas, Marc Geilen, Jan Friso Groote, Michel A. Reniers, Ramon R. H. Schiffelers, Jeroen Voeten
Tool interoperability for model-based systems engineering. CoRR (2023)
Kevin H. J. Jilissen, Peter Dieleman, Jan Friso Groote
A formal analysis of Dutch Generic Integral Tunnel Design models. SAC (2023)
Jan Friso Groote, Kevin H. J. Jilissen, Maurice Laveaux, P. H. M. van Spaendonck, Tim A. C. Willemse
Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck
A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol). ISoLA (1) (2022)
Bram Hooimeijer, Marc Geilen, Jan Friso Groote, Dennis Hendriks, Ramon R. H. Schiffelers
Constructive Model Inference: Model Learning for Component-based Software Architectures. ICSOFT (2022)
Jan Friso Groote, Jan Martens, Erik P. de Vink
Lowerbounds for Bisimulation by Partition Refinement. CoRR (2022)
Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs
A linear parallel algorithm to compute bisimulation and relational coarsest partitions. CoRR (2021)
Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse
Correct and Efficient Antichain Algorithms for Refinement Checking. Log. Methods Comput. Sci. 17 (1) (2021)
Jan Friso Groote
Infinite Choice and Probability Distributions. An Open Problem: The Real Hotel. EXPRESS/SOS (2021)
Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Anton Wijs
Term Rewriting on GPUs. FSEN (2021)
Rick Erkens, Jan Friso Groote
A Set Automaton to Locate All Pattern Matches in a Term. ICTAC (2021)
Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck
A thread-safe Term Library. CoRR (2021)
Jan Friso Groote, Jan Martens, Erik P. de Vink
Bisimulation by Partitioning Is Ω((m+n)log n). CONCUR (2021)
Jan Friso Groote, Jeroen J. A. Keiren
Tutorial: Designing Distributed Software in mCRL2. FORTE (2021)
Jan Friso Groote, Jeroen J. A. Keiren
Tutorial: Designing Distributed Software in mCRL2. CoRR (2021)
Yousra Hafidi, Jeroen J. A. Keiren, Jan Friso Groote
Fair Mutual Exclusion for N Processes (extended version). CoRR (2021)
Rick Erkens, Jan Friso Groote
A Set Automaton to Locate All Pattern Matches in a Term. CoRR (2021)
Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs
A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions. FACS (2021)
Arash Khabbaz Saberi, Jos Hegge, Terry Fruehling, Jan Friso Groote
Beyond SOTIF: Black Swans and Formal Methods. SysCon (2020)
Ferry Timmers, Jan Friso Groote
A Complete Axiomatisation for Probabilistic Trace Equivalence. Sci. Ann. Comput. Sci. 30 (1) (2020)
Jan Friso Groote, Tim A. C. Willemse
A symmetric protocol to establish service level agreements. CoRR (2020)
Thomas Neele, Tim A. C. Willemse, Jan Friso Groote
Finding compact proofs for infinite-data parameterised Boolean equation systems. Sci. Comput. Program. 188 (2020)
David N. Jansen, Jan Friso Groote, Ferry Timmers, Pengfei Yang
A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains. CONCUR (2020)
Yuting Fu, Andrei Sergeevich Terechko, Jan Friso Groote, Arash Khabbaz Saberi
A Formally Verified Fail-Operational Safety Concept for Automated Driving. CoRR (2020)
Jan Friso Groote, Tim A. C. Willemse
A symmetric protocol to establish service level agreements. Log. Methods Comput. Sci. 16 (3) (2020)
Omar al Duhaiby, Jan Friso Groote
Active Learning of Decomposable Systems. FormaliSE@ICSE (2020)
Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Anton Wijs
Term Rewriting on GPUs. CoRR (2020)
David N. Jansen, Jan Friso Groote, Jeroen J. A. Keiren, Anton Wijs
An O(m log n) algorithm for branching bisimilarity on labelled transition systems. TACAS (2) (2020)
David N. Jansen, Jan Friso Groote, Jeroen J. A. Keiren, Anton Wijs
A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems. CoRR (2019)
Rob J. van Glabbeek, Jan Friso Groote, Erik P. de Vink
A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice - (Extended Abstract). The Art of Modelling Computational Systems (2019)
Omar al Duhaiby, Jan Friso Groote
Distribution of Behaviour into Parallel Communicating Subsystems. EXPRESS/SOS (2019)
Jan Friso Groote, Erik P. de Vink
An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice. From Software Engineering to Formal Methods and Tools, and Back (2019)
Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse
Correct and Efficient Antichain Algorithms for Refinement Checking. CoRR (2019)
Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse
Correct and Efficient Antichain Algorithms for Refinement Checking. FORTE (2019)
Thomas Neele, Marijn Rol, Jan Friso Groote
Verifying System-Wide Properties of Industrial Component-Based Software. FSEN (2019)
Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, Tim A. C. Willemse
Modelling and Analysing Software in mCRL2. FACS (2019)
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
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. TACAS (2) (2019)
Dmitry A. Zaitsev, Tatiana R. Shmeleva, Jan Friso Groote
Verification of hypertorus communication grids by infinite petri nets and process algebra. IEEE CAA J. Autom. Sinica 6 (3) (2019)
Lisette Sanchez, Jan Friso Groote, Ramon R. H. Schiffelers
Active Learning of Industrial Software with Data. FSEN (2019)
Omar al Duhaiby, Arjan J. Mooij, Hans van Wezep, Jan Friso Groote
Pitfalls in Applying Model Learning to Industrial Legacy Software. ISoLA (4) (2018)
Thomas Neele, Tim A. C. Willemse, Jan Friso Groote
Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting. FACS (2018)
Jan Friso Groote, Jao Rivera Verduzco, Erik P. de Vink
An Efficient Algorithm to Determine Probabilistic Bisimulation. Algorithms 11 (9) (2018)
Jan Friso Groote, Erik P. de Vink
Problem Solving Using Process Algebra Considered Insightful. ModelEd, TestEd, TrustEd (2017)
Ammar Osaiweran, Jelena Marincic, Jan Friso Groote
Assessing the Quality of Tabular State Machines through Metrics. QRS (2017)
Mahmoud Talebi, Jan Friso Groote, Conrad Dandelski
Modelling and Verification of a Cluster-tree Formation Protocol Implementation for the IEEE 802.15.4 TSCH MAC Operation Mode. MARS@ETAPS (2017)
Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse
Formalising the Dezyne Modelling Language in mCRL2. FMICS-AVoCS (2017)
Mahmoud Talebi, Jan Friso Groote, Jean-Paul M. G. Linnartz
The Mean Drift: Tailoring the Mean Field Theory of Markov Processes for Real-World Applications. ASMTA (2017)
Jan Friso Groote, David N. Jansen, Jeroen J. A. Keiren, Anton Wijs
) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation. ACM Trans. Comput. Log. 18 (2) (2017)
Jan Friso Groote, Anton Wijs
An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation. CoRR (2016)
Marieke Huisman, Herbert Bos, Sjaak Brinkkemper, Arie van Deursen, Jan Friso Groote, Patricia Lago, Jaco van de Pol, Eelco Visser
Software that Meets Its Intent. ISoLA (2) (2016)
Jan Friso Groote, Remco van der Hofstad, Matthias Raffelsieper
On the random structure of behavioural transition systems. Sci. Comput. Program. 128 (2016)
Jan Friso Groote, Freek Wiedijk, Hans Zantema
A Probabilistic Analysis of the Game of the Goose. SIAM Rev. 58 (1) (2016)
Jan Friso Groote, Anton Wijs
An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation. TACAS (2016)
Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jan Friso Groote, Bart J. van Rijnsoever
Evaluating the effect of a lightweight formal technique in industry. Int. J. Softw. Tools Technol. Transf. 18 (1) (2016)
Mahmoud Talebi, Jan Friso Groote, Jean-Paul M. G. Linnartz
Continuous approximation of stochastic models for wireless sensor networks. SCVT (2015)
Jan Friso Groote, Tim W. D. M. Kouters, Ammar Osaiweran
Specification guidelines to avoid the state space explosion problem. Softw. Test. Verification Reliab. 25 (1) (2015)
Mark van den Brand, Jan Friso Groote
Software engineering: Redundancy is key. Sci. Comput. Program. 97 (2015)
Sarmen Keshishzadeh, Jan Friso Groote
Exact Real Arithmetic with Perturbation Analysis and Proof of Correctness. CoRR (2015)
Mahmoud Talebi, Jan Friso Groote, Jean-Paul M. G. Linnartz
Communication Patterns in Mean Field Models for Wireless Sensor Networks. CoRR (2015)
Jan Friso Groote, Mohammad Reza Mousavi
Book Announcement: Modeling and Analysis of Communicating Systems. Bull. EATCS 114 (2014)
Jan Friso Groote, Remco van der Hofstad, Matthias Raffelsieper
On the Random Structure of Behavioural Transition Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
Mark G. J. van den Brand, Jan Friso Groote
Redundancy in the Software Design Process is Essential for Designing Correct Software. ERCIM News 2014 (99) (2014)
Arash Khabbaz Saberi, Jan Friso Groote, Sarmen Keshishzadeh
Analysis of Path Planning Algorithms: a Formal Verification-based Approach. ECAL (2013)
Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse
An Overview of the mCRL2 Toolset and Its Recent Advances. TACAS (2013)
Ammar Osaiweran, Tom Fransen, Jan Friso Groote, Bart J. van Rijnsoever
Experience Report on Designing and Developing Control Components Using Formal Methods. FM (2012)
Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius
Experience report on developing the Front-end client unit under the control of formal methods. SAC (2012)
Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius
Analyzing a Controller of a Power Distribution Unit Using Formal Methods. ICST (2012)
Frank P. M. Stappers, Michel A. Reniers, Sven Weber, Jan Friso Groote
Dogfooding the Formal Semantics of mCRL2. SEW (2012)
Mark G. J. van den Brand, Jan Friso Groote
Advances in Model Driven Software Engineering. ERCIM News 2012 (91) (2012)
Jan Friso Groote, Jeroen Keiren, Frank P. M. Stappers, Wieger Wesselink, Tim A. C. Willemse
Experiences in developing the mCRL2 toolset. Softw. Pract. Exp. 41 (2) (2011)
Christoph Brandt, Frank Hermann, Jan Friso Groote
Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra. J. Res. Pract. Inf. Technol. 43 (1) (2011)
Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius
Analyzing the effects of formal methods on the development of industrial control software. ICSM (2011)
Jan Friso Groote, Tim W. D. M. Kouters, Ammar Osaiweran
Specification Guidelines to Avoid the State Space Explosion Problem. FSEN (2011)
Sjoerd Cranen, Jan Friso Groote, Michel A. Reniers
A linear translation from CTL* to the first-order modal μ -calculus. Theor. Comput. Sci. 412 (28) (2011)
Tom A. N. Engels, Jan Friso Groote, Muck van Weerdenburg, Tim A. C. Willemse
Search algorithms for automated validation. J. Log. Algebraic Methods Program. 78 (4) (2009)
Gerard J. M. Smit, Gerrit F. van der Hoeven, Jan Friso Groote, Ralph H. J. M. Otten, Hans Tonino, Ben H. H. Juurlink, Boudewijn R. H. M. Haverkort
The 3TU embedded systems master in the Netherlands. WESE@ESWEEK (2009)
Jan Friso Groote, Bas Ploeger
Switching Graphs. Int. J. Found. Comput. Sci. 20 (5) (2009)
Frank P. M. Stappers, Michel A. Reniers, Jan Friso Groote
Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study. FMCO (2009)
Alessandro Di Bucchianico, Jan Friso Groote, Kees M. van Hee, Ronald Kruidhof
Statistical Certification of Software Systems. Commun. Stat. Simul. Comput. 37 (2) (2008)
Jan Friso Groote, Simona Orzan
Parameterised Anonymity. Formal Aspects in Security and Trust (2008)
Jan Friso Groote, Bas Ploeger
Switching Graphs. Electron. Notes Theor. Comput. Sci. 223 (2008)
Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko
Verification of networks of timed automata using mCRL2. IPDPS (2008)
Hui Gao, Jan Friso Groote, Wim H. Hesselink
Lock-free parallel and concurrent garbage collection by mark&sweep. Sci. Comput. Program. 64 (3) (2007)
Ivo Raedts, Marija Petkovic, Yaroslav S. Usenko, Jan Martijn E. M. van der Werf, Jan Friso Groote, Lou J. Somers
Transformation of BPMN Models for Behaviour Analysis. MSVVEIS (2007)
Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote
Sarir: A Rebeca to mCRL2 Translator. ACSD (2007)

Jan Friso Groote.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jan Friso Groote