Jan Friso Groote

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: 199-213

Mark G. J. van den Brand, Jan Friso Groote: Advances in Model Driven Software Engineering. ERCIM News 2012(91) (2012)

Ammar Osaiweran, Tom Fransen, Jan Friso Groote, Bart J. van Rijnsoever: Experience Report on Designing and Developing Control Components Using Formal Methods. FM 2012: 341-355

Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius: Analyzing a Controller of a Power Distribution Unit Using Formal Methods. ICST 2012: 420-428

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: 1183-1190

Christoph Brandt, Frank Hermann, Jan Friso Groote: Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra. Journal of Research and Practice in Information Technology 43(1): 65-86 (2011)

Jan Friso Groote, Jeroen Keiren, Frank P. M. Stappers, Wieger Wesselink, Tim A. C. Willemse: Experiences in developing the mCRL2 toolset. Softw., Pract. Exper. 41(2): 143-153 (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): 3129-3139 (2011)

Jan Friso Groote, Tim W. D. M. Kouters, Ammar Osaiweran: Specification Guidelines to Avoid the State Space Explosion Problem. FSEN 2011: 112-127

Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius: Analyzing the effects of formal methods on the development of industrial control software. ICSM 2011: 467-472

Jan Friso Groote, Bas Ploeger: Switching Graphs. Int. J. Found. Comput. Sci. 20(5): 869-886 (2009)

Tom A. N. Engels, Jan Friso Groote, Muck van Weerdenburg, Tim A. C. Willemse: Search algorithms for automated validation. J. Log. Algebr. Program. 78(4): 274-287 (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: 166-185

Alessandro Di Bucchianico, Jan Friso Groote, Kees M. van Hee, Ronald Kruidhof: Statistical Certification of Software Systems. Communications in Statistics - Simulation and Computation 37(2): 346-359 (2008)

Jan Friso Groote, Bas Ploeger: Switching Graphs. Electr. Notes Theor. Comput. Sci. 223: 119-135 (2008)

Jan Friso Groote, Simona Orzan: Parameterised Anonymity. Formal Aspects in Security and Trust 2008: 177-191

Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko: Verification of networks of timed automata using mCRL2. IPDPS 2008: 1-8

Hui Gao, Jan Friso Groote, Wim H. Hesselink: Lock-free parallel and concurrent garbage collection by mark&sweep. Sci. Comput. Program. 64(3): 341-374 (2007)

Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote: SOS formats and meta-theory: 20 years after. Theor. Comput. Sci. 373(3): 238-272 (2007)

Jan Friso Groote, Marc Voorhoeve: Operational semantics for Petri net components. Theor. Comput. Sci. 379(1-2): 1-19 (2007)

Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote: Sarir: A Rebeca to mCRL2 Translator. ACSD 2007: 216-222

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: 126-137

Jan Friso Groote, Mohammad Reza Mousavi, Michel A. Reniers: A Hierarchy of SOS Rule Formats. Electr. Notes Theor. Comput. Sci. 156(1): 3-25 (2006)

Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav S. Usenko: From µCRL to mCRL2: Motivation and Outline. Electr. Notes Theor. Comput. Sci. 162: 191-196 (2006)

Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko: Discretization of Timed Automata in Timed mu. Electr. Notes Theor. Comput. Sci. 162: 197-202 (2006)

Jan Friso Groote, Frank van Ham: Interactive visualization of large state spaces. STTT 8(1): 77-91 (2006)

Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg: The Formal Specification Language mCRL2. MMOSS 2006

Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko: Time abstraction in timed /spl mu/CRL a la regions. IPDPS 2006

Hui Gao, Jan Friso Groote, Wim H. Hesselink: Lock-free dynamic hash tables with open addressing. Distributed Computing 18(1): 21-42 (2005)

Stefan Blom, Jan Friso Groote, Sjouke Mauw, Alexander Serebrenik: Analysing the BKE-security Protocol with µCRL. Electr. Notes Theor. Comput. Sci. 139(1): 49-90 (2005)

Jan Friso Groote, François Monin, Jan Springintveld: A computer checked algebraic verification of a distributed summation algorithm. Formal Asp. Comput. 17(1): 19-37 (2005)

Bahareh Badban, Wan Fokkink, Jan Friso Groote, Jun Pang, Jaco van de Pol: Verification of a sliding window protocol in µCRL and PVS. Formal Asp. Comput. 17(3): 342-388 (2005)

Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote: Notions of bisimulation and congruence formats for SOS with data. Inf. Comput. 200(1): 107-147 (2005)

Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote: A syntactic commutativity format for SOS. Inf. Process. Lett. 93(5): 217-223 (2005)

Jan Friso Groote, Tim A. C. Willemse: Model-checking processes with data. Sci. Comput. Program. 56(3): 251-273 (2005)

Jan Friso Groote, Tim A. C. Willemse: Parameterised boolean equation systems. Theor. Comput. Sci. 343(3): 332-369 (2005)

Jan Friso Groote, Misa Keinänen: A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems. ICTAC 2005: 532-545

Hui Gao, Jan Friso Groote, Wim H. Hesselink: Lock-Free Parallel Garbage Collection. ISPA 2005: 263-274

Jacob Perrenet, Jan Friso Groote, Eric Kaasenbrood: Exploring students' understanding of the concept of algorithm: levels of abstraction. ITiCSE 2005: 64-68

Wan Fokkink, Jan Friso Groote, Michel A. Reniers: Process Algebra Needs Proof Methodology (Columns: Concurrency). Bulletin of the EATCS 82: 109-125 (2004)

Wan Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol: Verifying a Sliding Window Protocol in µCRL. AMAST 2004: 148-163

Jan Friso Groote, Tim A. C. Willemse: Parameterised Boolean Equation Systems (Extended Abstract). CONCUR 2004: 308-324

Hui Gao, Jan Friso Groote, Wim H. Hesselink: Almost Wait-Free Resizable Hashtable. IPDPS 2004

Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote: Congruence for SOS with Data. LICS 2004: 303-312

Jan Friso Groote, Misa Keinänen: Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points. TACAS 2004: 436-450

Jan Friso Groote, Hans Zantema: Resolution and binary decision diagrams cannot simulate each other polynomially. Discrete Applied Mathematics 130(2): 157-171 (2003)

Stefan Blom, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol: New developments around the mCRL tool set. Electr. Notes Theor. Comput. Sci. 80: 284-288 (2003)

Hans Zantema, Jan Friso Groote: Transforming equality logic to propositional logic. Electr. Notes Theor. Comput. Sci. 86(1): 162-173 (2003)

Jan Friso Groote, Jun Pang, Arno G. Wouters: Analysis of a distributed system for lifting trucks. J. Log. Algebr. Program. 55(1-2): 21-56 (2003)

Jan Friso Groote, Olga Tveretina: Binary decision diagrams for first-order predicate logic. J. Log. Algebr. Program. 57(1-2): 1-22 (2003)

Sem C. Borst, Onno J. Boxma, Jan Friso Groote, Sjouke Mauw: Task Allocation in a Multi-Server System. J. Scheduling 6(5): 423-436 (2003)

Jan Friso Groote, Tim A. C. Willemse: A Checker for Modal Formulae for Processes with Data. FMCO 2003: 223-239

Jan Friso Groote, Frank van Ham: Large State Space Visualization. TACAS 2003: 585-590

Hui Gao, Jan Friso Groote, Wim H. Hesselink: Efficient almost wait-free parallel accessible dynamic hashtables. CoRR cs.DC/0303011 (2003)

Michel A. Reniers, Jan Friso Groote, Mark van der Zwaag, Jos van Wamel: Completeness of Timed mCRL. Fundam. Inform. 50(3-4): 361-402 (2002)

Jan Friso Groote, Bert Lisser: Computer assisted manipulation of algebraic process specifications. SIGPLAN Notices 37(12): 98-107 (2002)

Wim H. Hesselink, Jan Friso Groote: Wait-free concurrent memory management by Create and Read until Deletion (CaRuD). Distributed Computing 14(1): 31-39 (2001)

Jan Friso Groote, Wim H. Hesselink, Sjouke Mauw, Rogier Vermeulen: An algorithm for the asynchronous Write-All problem based on process collision. Distributed Computing 14(2): 75-81 (2001)

Jan Friso Groote, Alban Ponse, Yaroslav S. Usenko: Linearization in parallel pCRL. J. Log. Algebr. Program. 48(1-2): 39-70 (2001)

Jan Friso Groote, Jan Springintveld: Focus points and convergent process operators: a proof strategy for protocol verification. J. Log. Algebr. Program. 49(1-2): 31-60 (2001)

Jan Friso Groote, Jos van Wamel: Analysis of three hybrid systems in timed µCRL. Sci. Comput. Program. 39(2-3): 215-247 (2001)

Jan Friso Groote, Jos van Wamel: The parallel composition of uniform processes with data. Theor. Comput. Sci. 266(1-2): 631-652 (2001)

Stefan Blom, Wan Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol: µCRL: A Toolset for Analysing Algebraic Specifications. CAV 2001: 250-254

Jan Friso Groote, Hans Zantema: Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially. Ershov Memorial Conference 2001: 33-38

Jan Friso Groote, Joost P. Warners: The Propositional Formula Checker HeerHugo. J. Autom. Reasoning 24(1/2): 101-125 (2000)

Jan Friso Groote, Jaco van de Pol: Equational Binary Decision Diagrams. LPAR 2000: 161-178

Jan Friso Groote, Jaco van de Pol: State Space Reduction Using Partial tau-Confluence. MFCS 2000: 383-393

Sebastiaan van Vlijmen, Jan Friso Groote, Wilco Koorn: The Vital Processor Interlocking. Electr. Notes Theor. Comput. Sci. 21: 1-56 (1999)

Luca Aceto, Jan Friso Groote: A Complete Equational Axiomatization for MPA with String Iteration. Theor. Comput. Sci. 211(1-2): 339-374 (1999)

Jan Friso Groote, Bas Luttik, Jos van Wamel: Editorial. Formal Asp. Comput. 10(5-6): 435 (1998)

Jan Friso Groote, Radu Mateescu: Verification of Temporal Properties of Processes in a Setting with Data. AMAST 1998: 74-90

Jan Friso Groote, François Monin, Jaco van de Pol: Checking Verifications of Protocols and Distributed Systems by Computer. CONCUR 1998: 629-655

Marc Bezem, Roland N. Bol, Jan Friso Groote: Formalizing Process Algebraic Verifications in the Calculus of Constructions. Formal Asp. Comput. 9(1): 1-48 (1997)

Jan Friso Groote, Martin Rem: Foreword. Sci. Comput. Program. 29(1-2): 1-2 (1997)

Lars-Åke Fredlund, Jan Friso Groote, Henri Korver: Formal Verification of a Leader Election Protocol in Process Algebra. Theor. Comput. Sci. 177(2): 459-486 (1997)

Jan Friso Groote: Concurrency Theory Will Set Standards for Description and Analysis of Software. ACM Comput. Surv. 28(4es): 44 (1996)

Jan Friso Groote: Hiding Propositional Constants in BDDs. Formal Methods in System Design 8(1): 91-96 (1996)

Roland N. Bol, Jan Friso Groote: The Meaning of Negative Premises in Transition System Specifications. J. ACM 43(5): 863-914 (1996)

Jan Friso Groote, M. P. A. Sellink: Confluence for Process Verification. Theor. Comput. Sci. 170(1-2): 47-81 (1996)

Jan Friso Groote, Jaco van de Pol: A Bounded Retransmission Protocol for Large Data Packets. AMAST 1996: 536-550

Jan Friso Groote, M. P. A. Sellink: Confluence for Process Verification. CONCUR 1995: 204-218

Marc Bezem, Jan Friso Groote: A Correctness Proof of a One-Bit Sliding Window Protocol in µCRL. Comput. J. 37(4): 289-307 (1994)

Jan Friso Groote, Alban Ponse: Process Algebra with Guards: Combining Hoare Logic with Process Algebra. Formal Asp. Comput. 6(2): 115-164 (1994)

Jan Friso Groote, Hans Hüttel: Undecidable Equivalences for Basic Process Algebra. Inf. Comput. 115(2): 354-371 (1994)

Marc Bezem, Jan Friso Groote: Invariants in Process Algebra with Data. CONCUR 1994: 401-416

D. J. Andrews, Jan Friso Groote, C. A. Middelburg (Eds.): Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993. Workshops in Computing, Springer 1994, isbn 3-540-19854-7

Jan Friso Groote: Transition System Specifications with Negative Premises. Theor. Comput. Sci. 118(2): 263-299 (1993)

Jan Friso Groote, Alban Ponse: Proof Theory for muCRL: A Language for Processes with Data. Semantics of Specification Languages 1993: 232-251

Marc Bezem, Jan Friso Groote (Eds.): Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings. Lecture Notes in Computer Science 664, Springer 1993, isbn 3-540-56517-5

Jan Friso Groote, Frits W. Vaandrager: Structured Operational Semantics and Bisimulation as a Congruence. Inf. Comput. 100(2): 202-260 (1992)

Jan Friso Groote: A Short Proof of the Decidability of Bisimulation for Normed BPA-Processes. Inf. Process. Lett. 42(3): 167-171 (1992)

Jan Friso Groote, Faron Moller: Verification of Parallel Systems via Decomposition. CONCUR 1992: 62-76

Wan Fokkink, Jan Friso Groote, Marco Hollenberg, Bas van Vlijmen: LARIS 1.0 - LAnguage for Railway Interlooking Specifications. CWI 1991, isbn 978-90-6196-489-6, pp. I-VI, 1-129

Jan Friso Groote, Alban Ponse: Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract). CONCUR 1991: 235-249

Roland N. Bol, Jan Friso Groote: The Meaning of Negative Premises in Transition System Specifications. ICALP 1991: 481-494

Jos C. M. Baeten, Jan Friso Groote (Eds.): CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings. Lecture Notes in Computer Science 527, Springer 1991, isbn 3-540-54430-5

Jan Friso Groote: A New Strategy for Proving omega-Completeness applied to Process Algebra. CONCUR 1990: 314-331

Jan Friso Groote: Transition System Specifications with Negative Premises (Extended Abstract). CONCUR 1990: 332-341

Jan Friso Groote, Frits W. Vaandrager: An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence. ICALP 1990: 626-638

Roland N. Bol, Jan Friso Groote: The meaning of Negative Premises in Transition System Specifications. LPNMR 1990: 2-9

Jan Friso Groote: Specification and verification of real time systems in ACP. PSTV 1990: 261-274

Jan Friso Groote, Frits W. Vaandrager: Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract). ICALP 1989: 423-438