Jan Friso Groote

According to our database, Jan Friso Groote authored at least 164 papers between 1989 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Formal Methods for Industrial Critical Systems.

Jan Friso Groote, Marieke Huisman

Int. J. Softw. Tools Technol. Transf., April, 2024

Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment.

Kevin H. J. Jilissen, Peter Dieleman, Jan Friso Groote

CoRR, 2024

2023

Linear parallel algorithms to compute strong and branching bisimilarity.

Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs

Softw. Syst. Model., April, 2023

Innermost many-sorted term rewriting on GPUs.

Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Muhammad Osama, Anton Wijs

Sci. Comput. Program., 2023

Lowerbounds for Bisimulation by Partition Refinement.

Jan Friso Groote, Jan Martens, Erik P. de Vink

Log. Methods Comput. Sci., 2023

A Cancellation Law for Probabilistic Processes.

Rob van Glabbeek, Jan Friso Groote, Erik P. de Vink

Proceedings of the Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 2023

Real Equation Systems with Alternating Fixed-points (full version with proofs).

Jan Friso Groote, Tim A. C. Willemse

CoRR, 2023

Tool interoperability for model-based systems engineering.

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

CoRR, 2023

A formal analysis of Dutch Generic Integral Tunnel Design models.

Kevin H. J. Jilissen, Peter Dieleman, Jan Friso Groote

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

An Autonomous Data Language.

Tom T. P. Franken, Thomas Neele, Jan Friso Groote

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

Compositional Learning for Interleaving Parallel Automata.

Faezeh Labbaf, Jan Friso Groote, Hossein Hojjat, Mohammad Reza Mousavi

Proceedings of the Foundations of Software Science and Computation Structures, 2023

Minimisation of Spatial Models Using Branching Bisimilarity.

Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink

Proceedings of the Formal Methods - 25th International Symposium, 2023

Real Equation Systems with Alternating Fixed-Points.

Jan Friso Groote, Tim A. C. Willemse

Proceedings of the 34th International Conference on Concurrency Theory, 2023

Computing Minimal Distinguishing Hennessy-Milner Formulas is NP-Hard, but Variants are Tractable.

Jan Martens, Jan Friso Groote

Proceedings of the 34th International Conference on Concurrency Theory, 2023

Understanding Behaviour of Distributed Systems Using mCRL2, 1

Muhammad Atif, Jan Friso Groote

458, Springer, ISBN: 978-3-031-23007-3, 2023

2022

A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol).

Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Constructive Model Inference: Model Learning for Component-based Software Architectures.

Bram Hooimeijer, Marc Geilen, Jan Friso Groote, Dennis Hendriks, Ramon R. H. Schiffelers

Proceedings of the 17th International Conference on Software Technologies, 2022

Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation.

Jan Friso Groote, Kevin H. J. Jilissen, Maurice Laveaux, P. H. M. van Spaendonck, Tim A. C. Willemse

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

Correct and Efficient Antichain Algorithms for Refinement Checking.

Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse

Log. Methods Comput. Sci., 2021

A thread-safe Term Library.

Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck

CoRR, 2021

Fair Mutual Exclusion for N Processes (extended version).

Yousra Hafidi, Jeroen J. A. Keiren, Jan Friso Groote

CoRR, 2021

Infinite Choice and Probability Distributions. An Open Problem: The Real Hotel.

Jan Friso Groote

Proceedings of the Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, 2021

A Set Automaton to Locate All Pattern Matches in a Term.

Rick Erkens, Jan Friso Groote

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

Term Rewriting on GPUs.

Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Anton Wijs

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

Tutorial: Designing Distributed Software in mCRL2.

Jan Friso Groote, Jeroen J. A. Keiren

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions.

Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs

Proceedings of the Formal Aspects of Component Software - 17th International Conference, 2021

Bisimulation by Partitioning Is Ω((m+n)log n).

Jan Friso Groote, Jan Martens, Erik P. de Vink

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

Logic Gates, Circuits, Processors, Compilers and Computers

Jan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins

Springer, ISBN: 978-3-030-68552-2, 2021

2020

Finding compact proofs for infinite-data parameterised Boolean equation systems.

Thomas Neele, Tim A. C. Willemse, Jan Friso Groote

Sci. Comput. Program., 2020

A symmetric protocol to establish service level agreements.

Jan Friso Groote, Tim A. C. Willemse

Log. Methods Comput. Sci., 2020

A Complete Axiomatisation for Probabilistic Trace Equivalence.

Ferry Timmers, Jan Friso Groote

Sci. Ann. Comput. Sci., 2020

A Formally Verified Fail-Operational Safety Concept for Automated Driving.

Yuting Fu, Andrei Sergeevich Terechko, Jan Friso Groote, Arash Khabbaz Saberi

CoRR, 2020

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Beyond SOTIF: Black Swans and Formal Methods.

Arash Khabbaz Saberi, Jos Hegge, Terry Fruehling, Jan Friso Groote

Proceedings of the IEEE International Systems Conference, 2020

Active Learning of Decomposable Systems.

Omar al Duhaiby, Jan Friso Groote

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains.

David N. Jansen, Jan Friso Groote, Ferry Timmers, Pengfei Yang

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Verification of hypertorus communication grids by infinite petri nets and process algebra.

Dmitry A. Zaitsev, Tatiana R. Shmeleva, Jan Friso Groote

IEEE CAA J. Autom. Sinica, 2019

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems.

David N. Jansen, Jan Friso Groote, Jeroen J. A. Keiren, Anton Wijs

CoRR, 2019

Distribution of Behaviour into Parallel Communicating Subsystems.

Omar al Duhaiby, Jan Friso Groote

Proceedings of the Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, 2019

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Active Learning of Industrial Software with Data.

Lisette Sanchez, Jan Friso Groote, Ramon R. H. Schiffelers

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

Verifying System-Wide Properties of Industrial Component-Based Software.

Thomas Neele, Marijn Rol, Jan Friso Groote

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

Modelling and Analysing Software in mCRL2.

Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, Tim A. C. Willemse

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019

An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice.

Jan Friso Groote, Erik P. de Vink

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice - (Extended Abstract).

Rob J. van Glabbeek, Jan Friso Groote, Erik P. de Vink

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018

An Efficient Algorithm to Determine Probabilistic Bisimulation.

Jan Friso Groote, Jao Rivera Verduzco, Erik P. de Vink

Algorithms, 2018

Pitfalls in Applying Model Learning to Industrial Legacy Software.

Omar al Duhaiby, Arjan J. Mooij, Hans van Wezep, Jan Friso Groote

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting.

Thomas Neele, Tim A. C. Willemse, Jan Friso Groote

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

2017

An <i>O</i>(<i>m</i>log<i>n</i>) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation.

Jan Friso Groote, David N. Jansen, Jeroen J. A. Keiren, Anton Wijs

ACM Trans. Comput. Log., 2017

Modelling and Verification of a Cluster-tree Formation Protocol Implementation for the IEEE 802.15.4 TSCH MAC Operation Mode.

Mahmoud Talebi, Jan Friso Groote, Conrad Dandelski

Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

Assessing the Quality of Tabular State Machines through Metrics.

Ammar Osaiweran, Jelena Marincic, Jan Friso Groote

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

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

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

Problem Solving Using Process Algebra Considered Insightful.

Jan Friso Groote, Erik P. de Vink

Proceedings of the ModelEd, TestEd, TrustEd, 2017

The Mean Drift: Tailoring the Mean Field Theory of Markov Processes for Real-World Applications.

Mahmoud Talebi, Jan Friso Groote, Jean-Paul M. G. Linnartz

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2017

2016

Evaluating the effect of a lightweight formal technique in industry.

Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jan Friso Groote, Bart J. van Rijnsoever

Int. J. Softw. Tools Technol. Transf., 2016

A Probabilistic Analysis of the Game of the Goose.

Jan Friso Groote, Freek Wiedijk, Hans Zantema

SIAM Rev., 2016

An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation.

Jan Friso Groote, Anton Wijs

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

Specification guidelines to avoid the state space explosion problem.

Jan Friso Groote, Tim W. D. M. Kouters, Ammar Osaiweran

Softw. Test. Verification Reliab., 2015

Software engineering: Redundancy is key.

Mark van den Brand, Jan Friso Groote

Sci. Comput. Program., 2015

Communication Patterns in Mean Field Models for Wireless Sensor Networks.

Mahmoud Talebi, Jan Friso Groote, Jean-Paul M. G. Linnartz

CoRR, 2015

Exact Real Arithmetic with Perturbation Analysis and Proof of Correctness.

Sarmen Keshishzadeh, Jan Friso Groote

CoRR, 2015

Continuous approximation of stochastic models for wireless sensor networks.

Mahmoud Talebi, Jan Friso Groote, Jean-Paul M. G. Linnartz

Proceedings of the 2015 IEEE Symposium on Communications and Vehicular Technology in the Benelux, 2015

2014

Redundancy in the Software Design Process is Essential for Designing Correct Software.

Mark G. J. van den Brand, Jan Friso Groote

ERCIM News, 2014

On the Random Structure of Behavioural Transition Systems.

Jan Friso Groote, Remco van der Hofstad, Matthias Raffelsieper

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Book Announcement: Modeling and Analysis of Communicating Systems.

Jan Friso Groote, Mohammad Reza Mousavi

Bull. EATCS, 2014

Modeling and Analysis of Communicating Systems.

Jan Friso Groote, Mohammad Reza Mousavi

MIT Press, ISBN: 9780262321020, 2014

2013

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Analysis of Path Planning Algorithms: a Formal Verification-based Approach.

Arash Khabbaz Saberi, Jan Friso Groote, Sarmen Keshishzadeh

Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems: Advances in Artificial Life, 2013

2012

Advances in Model Driven Software Engineering.

Mark G. J. van den Brand, Jan Friso Groote

ERCIM News, 2012

Dogfooding the Formal Semantics of mCRL2.

Frank P. M. Stappers, Michel A. Reniers, Sven Weber, Jan Friso Groote

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

Experience report on developing the Front-end client unit under the control of formal methods.

Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius

Proceedings of the ACM Symposium on Applied Computing, 2012

Analyzing a Controller of a Power Distribution Unit Using Formal Methods.

Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Experience Report on Designing and Developing Control Components Using Formal Methods.

Ammar Osaiweran, Tom Fransen, Jan Friso Groote, Bart J. van Rijnsoever

Proceedings of the FM 2012: Formal Methods, 2012

2011

A linear translation from CTL* to the first-order modal μ -calculus.

Sjoerd Cranen, Jan Friso Groote, Michel A. Reniers

Theor. Comput. Sci., 2011

Experiences in developing the mCRL2 toolset.

Jan Friso Groote, Jeroen Keiren, Frank P. M. Stappers, Wieger Wesselink, Tim A. C. Willemse

Softw. Pract. Exp., 2011

Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra.

Christoph Brandt, Frank Hermann, Jan Friso Groote

J. Res. Pract. Inf. Technol., 2011

Analyzing the effects of formal methods on the development of industrial control software.

Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius

Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

2009

Search algorithms for automated validation.

Tom A. N. Engels, Jan Friso Groote, Muck van Weerdenburg, Tim A. C. Willemse

J. Log. Algebraic Methods Program., 2009

Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study.

Frank P. M. Stappers, Michel A. Reniers, Jan Friso Groote

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

The 3TU embedded systems master in the Netherlands.

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

Proceedings of the 2009 Workshop on Embedded Systems Education, 2009

2008

Switching Graphs.

Jan Friso Groote, Bas Ploeger

Proceedings of the Second Workshop on Reachability Problems in Computational Models, 2008

Statistical Certification of Software Systems.

Alessandro Di Bucchianico, Jan Friso Groote, Kees M. van Hee, Ronald Kruidhof

Commun. Stat. Simul. Comput., 2008

Verification of networks of timed automata using mCRL2.

Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Parameterised Anonymity.

Jan Friso Groote, Simona Orzan

Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

2007

SOS formats and meta-theory: 20 years after.

Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote

Theor. Comput. Sci., 2007

Operational semantics for Petri net components.

Jan Friso Groote, Marc Voorhoeve

Theor. Comput. Sci., 2007

Lock-free parallel and concurrent garbage collection by mark&sweep.

Hui Gao, Jan Friso Groote, Wim H. Hesselink

Sci. Comput. Program., 2007

Transformation of BPMN Models for Behaviour Analysis.

Ivo Raedts, Marija Petkovic, Yaroslav S. Usenko, Jan Martijn E. M. van der Werf, Jan Friso Groote, Lou J. Somers

Proceedings of the Modelling, 2007

Sarir: A Rebeca to mCRL2 Translator.

Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

Interactive visualization of large state spaces.

Jan Friso Groote, Frank van Ham

Int. J. Softw. Tools Technol. Transf., 2006

Time abstraction in timed μCRL a la regions.

Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

The Formal Specification Language mCRL2.

Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg

Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006

2005

Parameterised boolean equation systems.

Jan Friso Groote, Tim A. C. Willemse

Theor. Comput. Sci., 2005

Model-checking processes with data.

Jan Friso Groote, Tim A. C. Willemse

Sci. Comput. Program., 2005

A syntactic commutativity format for SOS.

Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote

Inf. Process. Lett., 2005

Notions of bisimulation and congruence formats for SOS with data.

Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote

Inf. Comput., 2005

A computer checked algebraic verification of a distributed summation algorithm.

Jan Friso Groote, François Monin, Jan Springintveld

Formal Aspects Comput., 2005

Verification of a sliding window protocol in µCRL and PVS.

Bahareh Badban, Wan J. Fokkink, Jan Friso Groote, Jun Pang, Jaco van de Pol

Formal Aspects Comput., 2005

Discretization of Timed Automata in Timed mu.

Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

From µCRL to mCRL2: Motivation and Outline.

Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav S. Usenko

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

A Hierarchy of SOS Rule Formats.

Jan Friso Groote, Mohammad Reza Mousavi, Michel A. Reniers

Proceedings of the Second Workshop on Structural Operational Semantics, 2005

Lock-free dynamic hash tables with open addressing.

Hui Gao, Jan Friso Groote, Wim H. Hesselink

Distributed Comput., 2005

Exploring students' understanding of the concept of algorithm: levels of abstraction.

Jacob Perrenet, Jan Friso Groote, Eric Kaasenbrood

Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005

Lock-Free Parallel Garbage Collection.

Hui Gao, Jan Friso Groote, Wim H. Hesselink

Proceedings of the Parallel and Distributed Processing and Applications, 2005

A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems.

Jan Friso Groote, Misa Keinänen

Proceedings of the Theoretical Aspects of Computing, 2005

2004

Analysing the BKE-security Protocol with <i>µ</i>CRL.

Stefan Blom, Jan Friso Groote, Sjouke Mauw, Alexander Serebrenik

Proceedings of the 6th AMAST Workshop on Real-Time Systems, 2004

Process Algebra Needs Proof Methodology (Columns: Concurrency).

Wan J. Fokkink, Jan Friso Groote, Michel A. Reniers

Bull. EATCS, 2004

Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points.

Jan Friso Groote, Misa Keinänen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Congruence for SOS with Data.

Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

Almost Wait-Free Resizable Hashtable.

Hui Gao, Jan Friso Groote, Wim H. Hesselink

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Parameterised Boolean Equation Systems (Extended Abstract).

Jan Friso Groote, Tim A. C. Willemse

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

Verifying a Sliding Window Protocol in µCRL.

Wan J. Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Task Allocation in a Multi-Server System.

Sem C. Borst, Onno J. Boxma, Jan Friso Groote, Sjouke Mauw

J. Sched., 2003

Binary decision diagrams for first-order predicate logic.

Jan Friso Groote, Olga Tveretina

J. Log. Algebraic Methods Program., 2003

Analysis of a distributed system for lifting trucks.

Jan Friso Groote, Jun Pang, Arno G. Wouters

J. Log. Algebraic Methods Program., 2003

Transforming equality logic to propositional logic.

Hans Zantema, Jan Friso Groote

Proceedings of the 4th International Workshop on First-Order Theorem Proving, 2003

New developments around the mCRL tool set.

Stefan Blom, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

Resolution and binary decision diagrams cannot simulate each other polynomially.

Jan Friso Groote, Hans Zantema

Discret. Appl. Math., 2003

Efficient almost wait-free parallel accessible dynamic hashtables

Hui Gao, Jan Friso Groote, Wim H. Hesselink

CoRR, 2003

Large State Space Visualization.

Jan Friso Groote, Frank van Ham

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

A Checker for Modal Formulae for Processes with Data.

Jan Friso Groote, Tim A. C. Willemse

Proceedings of the Formal Methods for Components and Objects, 2003

2002

Computer assisted manipulation of algebraic process specifications.

Jan Friso Groote, Bert Lisser

ACM SIGPLAN Notices, 2002

Completeness of Timed mCRL.

Michel A. Reniers, Jan Friso Groote, Mark van der Zwaag, Jos van Wamel

Fundam. Informaticae, 2002

2001

The parallel composition of uniform processes with data.

Jan Friso Groote, Jos van Wamel

Theor. Comput. Sci., 2001

Analysis of three hybrid systems in timed µCRL.

Jan Friso Groote, Jos van Wamel

Sci. Comput. Program., 2001

Focus points and convergent process operators: a proof strategy for protocol verification.

Jan Friso Groote, Jan Springintveld

J. Log. Algebraic Methods Program., 2001

Linearization in parallel pCRL.

Jan Friso Groote, Alban Ponse, Yaroslav S. Usenko

J. Log. Algebraic Methods Program., 2001

Wait-free concurrent memory management by Create and Read until Deletion (CaRuD).

Wim H. Hesselink, Jan Friso Groote

Distributed Comput., 2001

An algorithm for the asynchronous Write-All problem based on process collision.

Jan Friso Groote, Wim H. Hesselink, Sjouke Mauw, Rogier Vermeulen

Distributed Comput., 2001

µCRL: A Toolset for Analysing Algebraic Specifications.

Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

Algebraic Process Verification.

Jan Friso Groote, Michel A. Reniers

Proceedings of the Handbook of Process Algebra, 2001

2000

The Propositional Formula Checker HeerHugo.

Jan Friso Groote, Joost P. Warners

J. Autom. Reason., 2000

State Space Reduction Using Partial tau-Confluence.

Jan Friso Groote, Jaco van de Pol

Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

Equational Binary Decision Diagrams.

Jan Friso Groote, Jaco van de Pol

Proceedings of the Logic for Programming and Automated Reasoning, 2000

LARIS 1.0 - LAnguage for Railway Interlooking Specifications.

Wan J. Fokkink, Jan Friso Groote, Marco Hollenberg, Bas van Vlijmen

CWI, ISBN: 978-90-6196-489-6, 2000

1999

A Complete Equational Axiomatization for MPA with String Iteration.

Luca Aceto, Jan Friso Groote

Theor. Comput. Sci., 1999

The Vital Processor Interlocking.

Sebastiaan van Vlijmen, Jan Friso Groote, Wilco Koorn

Proceedings of the Algebraic Specification in Action, 1999

1998

Editorial.

Jan Friso Groote, Bas Luttik, Jos van Wamel

Formal Aspects Comput., 1998

Checking Verifications of Protocols and Distributed Systems by Computer.

Jan Friso Groote, François Monin, Jaco van de Pol

Proceedings of the CONCUR '98: Concurrency Theory, 1998

Verification of Temporal Properties of Processes in a Setting with Data.

Jan Friso Groote, Radu Mateescu

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Formal Verification of a Leader Election Protocol in Process Algebra.

Lars-Åke Fredlund, Jan Friso Groote, Henri Korver

Theor. Comput. Sci., 1997

Foreword.

Jan Friso Groote, Martin Rem

Sci. Comput. Program., 1997

Formalizing Process Algebraic Verifications in the Calculus of Constructions.

Marc Bezem, Roland N. Bol, Jan Friso Groote

Formal Aspects Comput., 1997

1996

Confluence for Process Verification.

Jan Friso Groote, M. P. A. Sellink

Theor. Comput. Sci., 1996

The Meaning of Negative Premises in Transition System Specifications.

Roland N. Bol, Jan Friso Groote

J. ACM, 1996

Hiding Propositional Constants in BDDs.

Jan Friso Groote

Formal Methods Syst. Des., 1996

Concurrency Theory Will Set Standards for Description and Analysis of Software.

Jan Friso Groote

ACM Comput. Surv., 1996

A Bounded Retransmission Protocol for Large Data Packets.

Jan Friso Groote, Jaco van de Pol

Proceedings of the Algebraic Methodology and Software Technology, 1996

1994

Undecidable Equivalences for Basic Process Algebra

Jan Friso Groote, Hans Hüttel

Inf. Comput., December, 1994

Process Algebra with Guards: Combining Hoare Logic with Process Algebra.

Jan Friso Groote, Alban Ponse

Formal Aspects Comput., 1994

A Correctness Proof of a One-Bit Sliding Window Protocol in µCRL.

Marc Bezem, Jan Friso Groote

Comput. J., 1994

Invariants in Process Algebra with Data.

Marc Bezem, Jan Friso Groote

Proceedings of the CONCUR '94, 1994

1993

Transition System Specifications with Negative Premises.

Jan Friso Groote

Theor. Comput. Sci., 1993

Proof Theory for µCRL: A Language for Processes with Data.

Jan Friso Groote, Alban Ponse

Proceedings of the Semantics of Specification Languages (SoSL), 1993

1992

Structured Operational Semantics and Bisimulation as a Congruence

Jan Friso Groote, Frits W. Vaandrager

Inf. Comput., October, 1992

A Short Proof of the Decidability of Bisimulation for Normed BPA-Processes.

Jan Friso Groote

Inf. Process. Lett., 1992

Verification of Parallel Systems via Decomposition.

Jan Friso Groote, Faron Moller

Proceedings of the CONCUR '92, 1992

1991

Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract).

Jan Friso Groote, Alban Ponse

Proceedings of the CONCUR '91, 1991

1990

Specification and verification of real time systems in ACP.

Jan Friso Groote

Proceedings of the Protocol Specification, 1990

An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence.

Jan Friso Groote, Frits W. Vaandrager

Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990

Transition System Specifications with Negative Premises (Extended Abstract).

Jan Friso Groote

Proceedings of the CONCUR '90, 1990

A New Strategy for Proving omega-Completeness applied to Process Algebra.

Jan Friso Groote

Proceedings of the CONCUR '90, 1990

1989

Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract).

Jan Friso Groote, Frits W. Vaandrager

Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989