Jan Friso Groote

202 papers A* 5A 8B 21C 12Misc 2Journal 93Unranked 50

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	A Quadratic Lower Bound for Simulation. Juggling Formal Methods and Security Jan Friso Groote, Jan Martens
2025	J	`jnl`	A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice. CoRR Rob van Glabbeek, Jan Friso Groote, Erik P. de Vink
2025	C	`conf`	A Complete Formal Specification and Verification of the BESW Software Control System of the Maeslant Storm Surge Barrier. FMICS Adrian Beers, Jore Booy, Jan Friso Groote, Johan van den Bogaard, Mark Bouwman
2025	J	`jnl`	A Complete Formal Specification and Verification of the BESW software control system of the Maeslant Storm Surge Barrier. CoRR Adrian Beers, Jore Booy, Jan Friso Groote, Johan van den Bogaard, Mark Bouwman
2025	B	`conf`	A State-Based O(m log n) Partitioning Algorithm for Branching Bisimilarity. CONCUR Jan Friso Groote, David N. Jansen
2025	J	`jnl`	A formal specification of the desired software behaviour of the Princess Marijke lock complex. CoRR Jan Friso Groote, Matthias Volk
2025	J	`jnl`	Formal Modeling and Analysis of Slot Machines. IEEE Trans. Games Jan Friso Groote, Sander van Heesch, Matthias Volk
2025	J	`jnl`	The Autonomous Data Language - Concepts, Design and Formal Verification. CoRR Tom T. P. Franken, Thomas Neele, Jan Friso Groote
2025	J	`jnl`	The Autonomous Data Language - Concepts, design and formal verification. Theor. Comput. Sci. Tom T. P. Franken, Thomas Neele, Jan Friso Groote
2024	J	`jnl`	A Quadratic Lower Bound for Simulation. CoRR Jan Friso Groote, Jan Martens
2024	J	`jnl`	Formal Methods for Industrial Critical Systems. Int. J. Softw. Tools Technol. Transf. Jan Friso Groote, Marieke Huisman
2024	J	`jnl`	Formal Modelling and Analysis of Slot Machines. CoRR Jan Friso Groote, Sander van Heesch, Matthias Volk
2024	—	`conf`	Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment. MARS Kevin H. J. Jilissen, Peter Dieleman, Jan Friso Groote
2024	—	`conf`	Minimal Depth Distinguishing Formulas Without Until for Branching Bisimulation. Logics and Type Systems in Theory and Practice Jan Martens, Jan Friso Groote
2024	—	`conf`	On Woolhouse's Cotton-Spinning Problem. Principles of Verification (2) Jan Friso Groote, Tim A. C. Willemse
2024	J	`jnl`	On Woolhouse's Cotton-Spinning Problem. CoRR Jan Friso Groote, Tim A. C. Willemse
2023	—	`conf`	A Cancellation Law for Probabilistic Processes. EXPRESS/SOS Rob van Glabbeek, Jan Friso Groote, Erik P. de Vink
2023	Misc	`conf`	A formal analysis of Dutch Generic Integral Tunnel Design models. SAC Kevin H. J. Jilissen, Peter Dieleman, Jan Friso Groote
2023	C	`conf`	An Autonomous Data Language. ICTAC Tom T. P. Franken, Thomas Neele, Jan Friso Groote
2023	B	`conf`	Compositional Learning for Interleaving Parallel Automata. FoSSaCS Faezeh Labbaf, Jan Friso Groote, Hossein Hojjat, Mohammad Reza Mousavi
2023	B	`conf`	Computing Minimal Distinguishing Hennessy-Milner Formulas is NP-Hard, but Variants are Tractable. CONCUR Jan Martens, Jan Friso Groote
2023	J	`jnl`	Computing minimal distinguishing Hennessy-Milner formulas is NP-hard, but variants are tractable. CoRR Jan Martens, Jan Friso Groote
2023	J	`jnl`	Innermost many-sorted term rewriting on GPUs. Sci. Comput. Program. Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Muhammad Osama, Anton Wijs
2023	J	`jnl`	Linear parallel algorithms to compute strong and branching bisimilarity. Softw. Syst. Model. Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs
2023	J	`jnl`	Lowerbounds for Bisimulation by Partition Refinement. Log. Methods Comput. Sci. Jan Friso Groote, Jan Martens, Erik P. de Vink
2023	B	`conf`	Minimisation of Spatial Models Using Branching Bisimilarity. FM Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink
2023	B	`conf`	Real Equation Systems with Alternating Fixed-Points. CONCUR Jan Friso Groote, Tim A. C. Willemse
2023	J	`jnl`	Real Equation Systems with Alternating Fixed-points (full version with proofs). CoRR Jan Friso Groote, Tim A. C. Willemse
2023	J	`jnl`	Tool interoperability for model-based systems engineering. CoRR 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
2023	—	`book`	Understanding Behaviour of Distributed Systems Using mCRL2, 1 Muhammad Atif, Jan Friso Groote
2022	—	`conf`	A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol). ISoLA (1) Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck
2022	C	`conf`	Constructive Model Inference: Model Learning for Component-based Software Architectures. ICSOFT Bram Hooimeijer, Marc Geilen, Jan Friso Groote, Dennis Hendriks, Ramon R. H. Schiffelers
2022	C	`ed.`	Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings FMICS Jan Friso Groote, Marieke Huisman
2022	J	`jnl`	Lowerbounds for Bisimulation by Partition Refinement. CoRR Jan Friso Groote, Jan Martens, Erik P. de Vink
2022	—	`conf`	Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation. A Journey from Process Algebra via Timed Automata to Model Learning Jan Friso Groote, Kevin H. J. Jilissen, Maurice Laveaux, P. H. M. van Spaendonck, Tim A. C. Willemse
2021	—	`conf`	A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions. FACS Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs
2021	C	`conf`	A Set Automaton to Locate All Pattern Matches in a Term. ICTAC Rick Erkens, Jan Friso Groote
2021	J	`jnl`	A Set Automaton to Locate All Pattern Matches in a Term. CoRR Rick Erkens, Jan Friso Groote
2021	J	`jnl`	A linear parallel algorithm to compute bisimulation and relational coarsest partitions. CoRR Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs
2021	J	`jnl`	A thread-safe Term Library. CoRR Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck
2021	B	`conf`	Bisimulation by Partitioning Is Ω((m+n)log n). CONCUR Jan Friso Groote, Jan Martens, Erik P. de Vink
2021	J	`jnl`	Correct and Efficient Antichain Algorithms for Refinement Checking. Log. Methods Comput. Sci. Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse
2021	J	`jnl`	Fair Mutual Exclusion for N Processes (extended version). CoRR Yousra Hafidi, Jeroen J. A. Keiren, Jan Friso Groote
2021	—	`conf`	Infinite Choice and Probability Distributions. An Open Problem: The Real Hotel. EXPRESS/SOS Jan Friso Groote
2021	—	`book`	Logic Gates, Circuits, Processors, Compilers and Computers Jan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins
2021	—	`conf`	Term Rewriting on GPUs. FSEN Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Anton Wijs
2021	—	`ed.`	Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I TACAS (1) Jan Friso Groote, Kim Guldstrand Larsen
2021	—	`ed.`	Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II TACAS (2) Jan Friso Groote, Kim Guldstrand Larsen
2021	C	`conf`	Tutorial: Designing Distributed Software in mCRL2. FORTE Jan Friso Groote, Jeroen J. A. Keiren
2021	J	`jnl`	Tutorial: Designing Distributed Software in mCRL2. CoRR Jan Friso Groote, Jeroen J. A. Keiren
2020	J	`jnl`	A Complete Axiomatisation for Probabilistic Trace Equivalence. Sci. Ann. Comput. Sci. Ferry Timmers, Jan Friso Groote
2020	J	`jnl`	A Formally Verified Fail-Operational Safety Concept for Automated Driving. CoRR Yuting Fu, Andrei Sergeevich Terechko, Jan Friso Groote, Arash Khabbaz Saberi
2020	B	`conf`	A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains. CONCUR David N. Jansen, Jan Friso Groote, Ferry Timmers, Pengfei Yang
2020	J	`jnl`	A symmetric protocol to establish service level agreements. CoRR Jan Friso Groote, Tim A. C. Willemse
2020	J	`jnl`	A symmetric protocol to establish service level agreements. Log. Methods Comput. Sci. Jan Friso Groote, Tim A. C. Willemse
2020	—	`conf`	Active Learning of Decomposable Systems. FormaliSE@ICSE Omar al Duhaiby, Jan Friso Groote
2020	—	`conf`	An O(m log n) algorithm for branching bisimilarity on labelled transition systems. TACAS (2) David N. Jansen, Jan Friso Groote, Jeroen J. A. Keiren, Anton Wijs
2020	—	`conf`	Beyond SOTIF: Black Swans and Formal Methods. SysCon Arash Khabbaz Saberi, Jos Hegge, Terry Fruehling, Jan Friso Groote
2020	J	`jnl`	Finding compact proofs for infinite-data parameterised Boolean equation systems. Sci. Comput. Program. Thomas Neele, Tim A. C. Willemse, Jan Friso Groote
2020	J	`jnl`	Term Rewriting on GPUs. CoRR Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Anton Wijs
2019	—	`conf`	A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice - (Extended Abstract). The Art of Modelling Computational Systems Rob J. van Glabbeek, Jan Friso Groote, Erik P. de Vink
2019	J	`jnl`	A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems. CoRR David N. Jansen, Jan Friso Groote, Jeroen J. A. Keiren, Anton Wijs
2019	—	`conf`	Active Learning of Industrial Software with Data. FSEN Lisette Sanchez, Jan Friso Groote, Ramon R. H. Schiffelers
2019	—	`conf`	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 Jan Friso Groote, Erik P. de Vink
2019	C	`conf`	Correct and Efficient Antichain Algorithms for Refinement Checking. FORTE Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse
2019	J	`jnl`	Correct and Efficient Antichain Algorithms for Refinement Checking. CoRR Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse
2019	—	`conf`	Distribution of Behaviour into Parallel Communicating Subsystems. EXPRESS/SOS Omar al Duhaiby, Jan Friso Groote
2019	—	`conf`	Modelling and Analysing Software in mCRL2. FACS Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, Tim A. C. Willemse
2019	—	`conf`	The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. TACAS (2) 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
2019	J	`jnl`	Verification of hypertorus communication grids by infinite petri nets and process algebra. IEEE CAA J. Autom. Sinica Dmitry A. Zaitsev, Tatiana R. Shmeleva, Jan Friso Groote
2019	—	`conf`	Verifying System-Wide Properties of Industrial Component-Based Software. FSEN Thomas Neele, Marijn Rol, Jan Friso Groote
2018	J	`jnl`	An Efficient Algorithm to Determine Probabilistic Bisimulation. Algorithms Jan Friso Groote, Jao Rivera Verduzco, Erik P. de Vink
2018	—	`conf`	Pitfalls in Applying Model Learning to Industrial Legacy Software. ISoLA (4) Omar al Duhaiby, Arjan J. Mooij, Hans van Wezep, Jan Friso Groote
2018	—	`conf`	Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting. FACS Thomas Neele, Tim A. C. Willemse, Jan Friso Groote
2017	J	`jnl`	An ACM Trans. Comput. Log. Jan Friso Groote, David N. Jansen, Jeroen J. A. Keiren, Anton Wijs
2017	C	`conf`	Assessing the Quality of Tabular State Machines through Metrics. QRS Ammar Osaiweran, Jelena Marincic, Jan Friso Groote
2017	—	`conf`	Formalising the Dezyne Modelling Language in mCRL2. FMICS-AVoCS Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse
2017	—	`conf`	Modelling and Verification of a Cluster-tree Formation Protocol Implementation for the IEEE 802.15.4 TSCH MAC Operation Mode. MARS Mahmoud Talebi, Jan Friso Groote, Conrad Dandelski
2017	—	`conf`	Problem Solving Using Process Algebra Considered Insightful. ModelEd, TestEd, TrustEd Jan Friso Groote, Erik P. de Vink
2017	—	`conf`	The Mean Drift: Tailoring the Mean Field Theory of Markov Processes for Real-World Applications. ASMTA Mahmoud Talebi, Jan Friso Groote, Jean-Paul M. G. Linnartz
2016	J	`jnl`	A Probabilistic Analysis of the Game of the Goose. SIAM Rev. Jan Friso Groote, Freek Wiedijk, Hans Zantema
2016	J	`jnl`	An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation. CoRR Jan Friso Groote, Anton Wijs
2016	A	`conf`	An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation. TACAS Jan Friso Groote, Anton Wijs
2016	J	`jnl`	Evaluating the effect of a lightweight formal technique in industry. Int. J. Softw. Tools Technol. Transf. Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jan Friso Groote, Bart J. van Rijnsoever
2016	J	`jnl`	On the random structure of behavioural transition systems. Sci. Comput. Program. Jan Friso Groote, Remco van der Hofstad, Matthias Raffelsieper
2016	—	`conf`	Software that Meets Its Intent. ISoLA (2) Marieke Huisman, Herbert Bos, Sjaak Brinkkemper, Arie van Deursen, Jan Friso Groote, Patricia Lago, Jaco van de Pol, Eelco Visser
2015	J	`jnl`	Communication Patterns in Mean Field Models for Wireless Sensor Networks. CoRR Mahmoud Talebi, Jan Friso Groote, Jean-Paul M. G. Linnartz
2015	—	`conf`	Continuous approximation of stochastic models for wireless sensor networks. SCVT Mahmoud Talebi, Jan Friso Groote, Jean-Paul M. G. Linnartz
2015	J	`jnl`	Exact Real Arithmetic with Perturbation Analysis and Proof of Correctness. CoRR Sarmen Keshishzadeh, Jan Friso Groote
2015	—	`ed.`	Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015. MARS Rob J. van Glabbeek, Jan Friso Groote, Peter Höfner
2015	J	`jnl`	Software engineering: Redundancy is key. Sci. Comput. Program. Mark van den Brand, Jan Friso Groote
2015	J	`jnl`	Specification guidelines to avoid the state space explosion problem. Softw. Test. Verification Reliab. Jan Friso Groote, Tim W. D. M. Kouters, Ammar Osaiweran
2014	J	`jnl`	Book Announcement: Modeling and Analysis of Communicating Systems. Bull. EATCS Jan Friso Groote, Mohammad Reza Mousavi
2014	—	`book`	Modeling and Analysis of Communicating Systems. Jan Friso Groote, Mohammad Reza Mousavi
2014	J	`jnl`	On the Random Structure of Behavioural Transition Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Jan Friso Groote, Remco van der Hofstad, Matthias Raffelsieper
2014	J	`jnl`	Redundancy in the Software Design Process is Essential for Designing Correct Software. ERCIM News Mark G. J. van den Brand, Jan Friso Groote
2013	A	`conf`	An Overview of the mCRL2 Toolset and Its Recent Advances. TACAS Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse
2013	—	`conf`	Analysis of Path Planning Algorithms: a Formal Verification-based Approach. ECAL Arash Khabbaz Saberi, Jan Friso Groote, Sarmen Keshishzadeh
2012	J	`jnl`	Advances in Model Driven Software Engineering. ERCIM News Mark G. J. van den Brand, Jan Friso Groote
2012	A	`conf`	Analyzing a Controller of a Power Distribution Unit Using Formal Methods. ICST Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius
2012	C	`conf`	Dogfooding the Formal Semantics of mCRL2. SEW Frank P. M. Stappers, Michel A. Reniers, Sven Weber, Jan Friso Groote
2012	B	`conf`	Experience Report on Designing and Developing Control Components Using Formal Methods. FM Ammar Osaiweran, Tom Fransen, Jan Friso Groote, Bart J. van Rijnsoever
2012	Misc	`conf`	Experience report on developing the Front-end client unit under the control of formal methods. SAC Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius
2011	J	`jnl`	A linear translation from CTL* to the first-order modal μ -calculus. Theor. Comput. Sci. Sjoerd Cranen, Jan Friso Groote, Michel A. Reniers
2011	—	`conf`	Analyzing the effects of formal methods on the development of industrial control software. ICSM Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius
2011	J	`jnl`	Experiences in developing the mCRL2 toolset. Softw. Pract. Exp. Jan Friso Groote, Jeroen Keiren, Frank P. M. Stappers, Wieger Wesselink, Tim A. C. Willemse
2011	J	`jnl`	Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra. J. Res. Pract. Inf. Technol. Christoph Brandt, Frank Hermann, Jan Friso Groote
2011	—	`conf`	Specification Guidelines to Avoid the State Space Explosion Problem. FSEN Jan Friso Groote, Tim W. D. M. Kouters, Ammar Osaiweran
2009	J	`jnl`	Search algorithms for automated validation. J. Log. Algebraic Methods Program. Tom A. N. Engels, Jan Friso Groote, Muck van Weerdenburg, Tim A. C. Willemse
2009	—	`conf`	Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study. FMCO Frank P. M. Stappers, Michel A. Reniers, Jan Friso Groote
2009	J	`jnl`	Switching Graphs. Int. J. Found. Comput. Sci. Jan Friso Groote, Bas Ploeger
2009	—	`conf`	The 3TU embedded systems master in the Netherlands. WESE@ESWEEK 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
2008	—	`conf`	Parameterised Anonymity. Formal Aspects in Security and Trust Jan Friso Groote, Simona Orzan
2008	J	`jnl`	Statistical Certification of Software Systems. Commun. Stat. Simul. Comput. Alessandro Di Bucchianico, Jan Friso Groote, Kees M. van Hee, Ronald Kruidhof
2008	—	`conf`	Switching Graphs. RP Jan Friso Groote, Bas Ploeger
2008	A	`conf`	Verification of networks of timed automata using mCRL2. IPDPS Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko
2007	J	`jnl`	Lock-free parallel and concurrent garbage collection by mark&sweep. Sci. Comput. Program. Hui Gao, Jan Friso Groote, Wim H. Hesselink
2007	J	`jnl`	Operational semantics for Petri net components. Theor. Comput. Sci. Jan Friso Groote, Marc Voorhoeve
2007	J	`jnl`	SOS formats and meta-theory: 20 years after. Theor. Comput. Sci. Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
2007	—	`conf`	Sarir: A Rebeca to mCRL2 Translator. ACSD Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote
2007	—	`conf`	Transformation of BPMN Models for Behaviour Analysis. MSVVEIS Ivo Raedts, Marija Petkovic, Yaroslav S. Usenko, Jan Martijn E. M. van der Werf, Jan Friso Groote, Lou J. Somers
2006	J	`jnl`	Interactive visualization of large state spaces. Int. J. Softw. Tools Technol. Transf. Jan Friso Groote, Frank van Ham
2006	—	`conf`	The Formal Specification Language mCRL2. MMOSS Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg
2006	A	`conf`	Time abstraction in timed μCRL a la regions. IPDPS Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko
2005	—	`conf`	A Hierarchy of SOS Rule Formats. SOS@ICALP Jan Friso Groote, Mohammad Reza Mousavi, Michel A. Reniers
2005	C	`conf`	A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems. ICTAC Jan Friso Groote, Misa Keinänen
2005	J	`jnl`	A computer checked algebraic verification of a distributed summation algorithm. Formal Aspects Comput. Jan Friso Groote, François Monin, Jan Springintveld
2005	J	`jnl`	A syntactic commutativity format for SOS. Inf. Process. Lett. Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
2005	—	`conf`	Discretization of Timed Automata in Timed mu. APC 25 Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko
2005	B	`conf`	Exploring students' understanding of the concept of algorithm: levels of abstraction. ITiCSE Jacob Perrenet, Jan Friso Groote, Eric Kaasenbrood
2005	—	`conf`	From µCRL to mCRL2: Motivation and Outline. APC 25 Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav S. Usenko
2005	C	`conf`	Lock-Free Parallel Garbage Collection. ISPA Hui Gao, Jan Friso Groote, Wim H. Hesselink
2005	J	`jnl`	Lock-free dynamic hash tables with open addressing. Distributed Comput. Hui Gao, Jan Friso Groote, Wim H. Hesselink
2005	J	`jnl`	Model-checking processes with data. Sci. Comput. Program. Jan Friso Groote, Tim A. C. Willemse
2005	J	`jnl`	Notions of bisimulation and congruence formats for SOS with data. Inf. Comput. Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
2005	J	`jnl`	Parameterised boolean equation systems. Theor. Comput. Sci. Jan Friso Groote, Tim A. C. Willemse
2005	J	`jnl`	Verification of a sliding window protocol in µCRL and PVS. Formal Aspects Comput. Bahareh Badban, Wan J. Fokkink, Jan Friso Groote, Jun Pang, Jaco van de Pol
2004	A	`conf`	Almost Wait-Free Resizable Hashtable. IPDPS Hui Gao, Jan Friso Groote, Wim H. Hesselink
2004	—	`conf`	Analysing the BKE-security Protocol with ARTS Stefan Blom, Jan Friso Groote, Sjouke Mauw, Alexander Serebrenik
2004	A*	`conf`	Congruence for SOS with Data. LICS Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
2004	B	`conf`	Parameterised Boolean Equation Systems (Extended Abstract). CONCUR Jan Friso Groote, Tim A. C. Willemse
2004	J	`jnl`	Process Algebra Needs Proof Methodology (Columns: Concurrency). Bull. EATCS Wan J. Fokkink, Jan Friso Groote, Michel A. Reniers
2004	A	`conf`	Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points. TACAS Jan Friso Groote, Misa Keinänen
2004	—	`conf`	Verifying a Sliding Window Protocol in µCRL. AMAST Wan J. Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol
2003	—	`conf`	A Checker for Modal Formulae for Processes with Data. FMCO Jan Friso Groote, Tim A. C. Willemse
2003	J	`jnl`	Analysis of a distributed system for lifting trucks. J. Log. Algebraic Methods Program. Jan Friso Groote, Jun Pang, Arno G. Wouters
2003	J	`jnl`	Binary decision diagrams for first-order predicate logic. J. Log. Algebraic Methods Program. Jan Friso Groote, Olga Tveretina
2003	J	`jnl`	Efficient almost wait-free parallel accessible dynamic hashtables CoRR Hui Gao, Jan Friso Groote, Wim H. Hesselink
2003	A	`conf`	Large State Space Visualization. TACAS Jan Friso Groote, Frank van Ham
2003	C	`conf`	New developments around the mCRL tool set. FMICS Stefan Blom, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol
2003	J	`jnl`	Resolution and binary decision diagrams cannot simulate each other polynomially. Discret. Appl. Math. Jan Friso Groote, Hans Zantema
2003	J	`jnl`	Task Allocation in a Multi-Server System. J. Sched. Sem C. Borst, Onno J. Boxma, Jan Friso Groote, Sjouke Mauw
2003	—	`conf`	Transforming equality logic to propositional logic. FTP Hans Zantema, Jan Friso Groote
2002	J	`jnl`	Completeness of Timed mCRL. Fundam. Informaticae Michel A. Reniers, Jan Friso Groote, Mark van der Zwaag, Jos van Wamel
2002	J	`jnl`	Computer assisted manipulation of algebraic process specifications. ACM SIGPLAN Notices Jan Friso Groote, Bert Lisser
2001	—	`ch.`	Algebraic Process Verification. Handbook of Process Algebra Jan Friso Groote, Michel A. Reniers
2001	J	`jnl`	An algorithm for the asynchronous Write-All problem based on process collision. Distributed Comput. Jan Friso Groote, Wim H. Hesselink, Sjouke Mauw, Rogier Vermeulen
2001	J	`jnl`	Analysis of three hybrid systems in timed µCRL. Sci. Comput. Program. Jan Friso Groote, Jos van Wamel
2001	J	`jnl`	Focus points and convergent process operators: a proof strategy for protocol verification. J. Log. Algebraic Methods Program. Jan Friso Groote, Jan Springintveld
2001	J	`jnl`	Linearization in parallel pCRL. J. Log. Algebraic Methods Program. Jan Friso Groote, Alban Ponse, Yaroslav S. Usenko
2001	—	`conf`	Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially. Ershov Memorial Conference Jan Friso Groote, Hans Zantema
2001	J	`jnl`	The parallel composition of uniform processes with data. Theor. Comput. Sci. Jan Friso Groote, Jos van Wamel
2001	J	`jnl`	Wait-free concurrent memory management by Create and Read until Deletion (CaRuD). Distributed Comput. Wim H. Hesselink, Jan Friso Groote
2001	A*	`conf`	µCRL: A Toolset for Analysing Algebraic Specifications. CAV Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol
2000	B	`conf`	Equational Binary Decision Diagrams. LPAR Jan Friso Groote, Jaco van de Pol
2000	—	`book`	LARIS 1.0 - LAnguage for Railway Interlooking Specifications. Wan J. Fokkink, Jan Friso Groote, Marco Hollenberg, Bas van Vlijmen
2000	B	`conf`	State Space Reduction Using Partial tau-Confluence. MFCS Jan Friso Groote, Jaco van de Pol
2000	J	`jnl`	The Propositional Formula Checker HeerHugo. J. Autom. Reason. Jan Friso Groote, Joost P. Warners
1999	J	`jnl`	A Complete Equational Axiomatization for MPA with String Iteration. Theor. Comput. Sci. Luca Aceto, Jan Friso Groote
1999	—	`ch.`	The Vital Processor Interlocking. Algebraic Specification in Action Sebastiaan van Vlijmen, Jan Friso Groote, Wilco Koorn
1998	B	`conf`	Checking Verifications of Protocols and Distributed Systems by Computer. CONCUR Jan Friso Groote, François Monin, Jaco van de Pol
1998	J	`jnl`	Editorial. Formal Aspects Comput. Jan Friso Groote, Bas Luttik, Jos van Wamel
1998	—	`conf`	Verification of Temporal Properties of Processes in a Setting with Data. AMAST Jan Friso Groote, Radu Mateescu
1997	J	`jnl`	Foreword. Sci. Comput. Program. Jan Friso Groote, Martin Rem
1997	J	`jnl`	Formal Verification of a Leader Election Protocol in Process Algebra. Theor. Comput. Sci. Lars-Åke Fredlund, Jan Friso Groote, Henri Korver
1997	J	`jnl`	Formalizing Process Algebraic Verifications in the Calculus of Constructions. Formal Aspects Comput. Marc Bezem, Roland N. Bol, Jan Friso Groote
1996	—	`conf`	A Bounded Retransmission Protocol for Large Data Packets. AMAST Jan Friso Groote, Jaco van de Pol
1996	J	`jnl`	Concurrency Theory Will Set Standards for Description and Analysis of Software. ACM Comput. Surv. Jan Friso Groote
1996	J	`jnl`	Confluence for Process Verification. Theor. Comput. Sci. Jan Friso Groote, M. P. A. Sellink
1996	J	`jnl`	Hiding Propositional Constants in BDDs. Formal Methods Syst. Des. Jan Friso Groote
1996	J	`jnl`	The Meaning of Negative Premises in Transition System Specifications. J. ACM Roland N. Bol, Jan Friso Groote
1995	B	`conf`	Confluence for Process Verification. CONCUR Jan Friso Groote, M. P. A. Sellink
1994	J	`jnl`	A Correctness Proof of a One-Bit Sliding Window Protocol in µCRL. Comput. J. Marc Bezem, Jan Friso Groote
1994	B	`conf`	Invariants in Process Algebra with Data. CONCUR Marc Bezem, Jan Friso Groote
1994	J	`jnl`	Process Algebra with Guards: Combining Hoare Logic with Process Algebra. Formal Aspects Comput. Jan Friso Groote, Alban Ponse
1994	—	`ed.`	Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 Semantics of Specification Languages D. J. Andrews, Jan Friso Groote, Cornelis A. Middelburg
1994	J	`jnl`	Undecidable Equivalences for Basic Process Algebra Inf. Comput. Jan Friso Groote, Hans Hüttel
1993	—	`conf`	Proof Theory for µCRL: A Language for Processes with Data. Semantics of Specification Languages Jan Friso Groote, Alban Ponse
1993	J	`jnl`	Transition System Specifications with Negative Premises. Theor. Comput. Sci. Jan Friso Groote
1993	—	`ed.`	Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings TLCA Marc Bezem, Jan Friso Groote
1992	J	`jnl`	A Short Proof of the Decidability of Bisimulation for Normed BPA-Processes. Inf. Process. Lett. Jan Friso Groote
1992	J	`jnl`	Structured Operational Semantics and Bisimulation as a Congruence Inf. Comput. Jan Friso Groote, Frits W. Vaandrager
1992	B	`conf`	Verification of Parallel Systems via Decomposition. CONCUR Jan Friso Groote, Faron Moller
1991	B	`ed.`	CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings CONCUR Jos C. M. Baeten, Jan Friso Groote
1991	B	`conf`	Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract). CONCUR Jan Friso Groote, Alban Ponse
1991	A*	`conf`	The Meaning of Negative Premises in Transition System Specifications. ICALP Roland N. Bol, Jan Friso Groote
1990	B	`conf`	A New Strategy for Proving omega-Completeness applied to Process Algebra. CONCUR Jan Friso Groote
1990	A*	`conf`	An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence. ICALP Jan Friso Groote, Frits W. Vaandrager
1990	—	`conf`	Specification and verification of real time systems in ACP. PSTV Jan Friso Groote
1990	B	`conf`	The meaning of Negative Premises in Transition System Specifications. LPNMR Roland N. Bol, Jan Friso Groote
1990	B	`conf`	Transition System Specifications with Negative Premises (Extended Abstract). CONCUR Jan Friso Groote
1989	A*	`conf`	Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract). ICALP Jan Friso Groote, Frits W. Vaandrager