Jan Friso Groote

View Scopus Profile

Jan Friso Groote

prof.dr.ir.

 https://orcid.org/0000-0003-2196-6587
  • 2340
    Citations - based on content available in repository [source: Scopus]
1988 …2025

Content available in repository

Filter
Chapter

Search results

  • 2025

    On Woolhouse’s Cotton-Spinning Problem

    Groote, J. F. (Corresponding author) & Willemse, T. A. C., 2025, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (eds.). Springer, Vol. 2. p. 3-17 15 p. (Lecture Notes in Computer Science; vol. 15261 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • 2024

    Minimal Depth Distinguishing Formulas Without Until for Branching Bisimulation

    Martens, J. (Corresponding author) & Groote, J. F., 22 May 2024, Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday. Capretta, V., Krebbers, R. & Wiedijk, F. (eds.). Springer, p. 188-202 15 p. (Lecture Notes in Computer Science; vol. 14560 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    1 Citation (Scopus)
  • 2023

    Applications: Distributed Algorithms

    Atif, M. & Groote, J. F., 2023, Understanding Behaviour of Distributed Systems Using mCRL2. Springer, p. 183-200 18 p. (Studies in Systems, Decision and Control; vol. 458).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Applications: Puzzles and Games

    Atif, M. (Corresponding author) & Groote, J. F., 26 Feb 2023, Understanding Behaviour of Distributed Systems Using mCRL2. Atif, M. & Groote, J. F. (eds.). Springer, p. 165-181 17 p. (Studies in Systems, Decision and Control; vol. 458).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Automata to Represent Behaviour

    Atif, M. & Groote, J. F., 23 Feb 2023, Understanding Behaviour of Distributed Systems Using mCRL2. Springer, p. 9-23 15 p. (Studies in Systems, Decision and Control; vol. 458).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Behavioural Equivalences

    Atif, M. & Groote, J. F., 23 Feb 2023, Understanding Behaviour of Distributed Systems Using mCRL2. Springer, p. 37-50 14 p. (Studies in Systems, Decision and Control; vol. 458).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Communicating Processes

    Atif, M. (Corresponding author) & Groote, J. F., 23 Feb 2023, Understanding Behaviour of Distributed Systems Using mCRL2. Springer, p. 25-35 11 p. (Studies in Systems, Decision and Control; vol. 458).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Data Types and Data-Dependent Behaviour

    Atif, M. (Corresponding author) & Groote, J. F., 26 Feb 2023, Understanding Behaviour of Distributed Systems Using mCRL2. Springer, p. 51-91 41 p. (Studies in Systems, Decision and Control; vol. 458).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Introducing mCRL2

    Atif, M. (Corresponding author) & Groote, J. F., 26 Feb 2023, Understanding Behaviour of Distributed Systems Using mCRL2. Springer, p. 1-7 7 p. (Studies in Systems, Decision and Control; vol. 458).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Linear Processes and Parameterised BESs

    Atif, M. (Corresponding author) & Groote, J. F., 26 Feb 2023, Understanding Behaviour of Distributed Systems Using mCRL2. Springer, p. 149-163 15 p. (Studies in Systems, Decision and Control; vol. 458).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    1 Downloads (Pure)

  • Model-Checking

    Atif, M. (Corresponding author) & Groote, J. F., 26 Feb 2023, Understanding Behaviour of Distributed Systems Using mCRL2. Springer, p. 93-115 23 p. (Studies in Systems, Decision and Control; vol. 458).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • The Modal μ-Calculus

    Atif, M. (Corresponding author) & Groote, J. F., 26 Feb 2023, Understanding Behaviour of Distributed Systems Using mCRL2. Springer, p. 117-148 32 p. (Studies in Systems, Decision and Control; vol. 458).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • 2022

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

    Groote, J. F. (Corresponding author), Jilissen, K. H. J., Laveaux, M., van Spaendonck, P. H. M. & Willemse, T. A. C., 7 Sept 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Springer, p. 306-320 15 p. (Lecture Notes in Computer Science; vol. 13560 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    1 Citation (Scopus)
  • 2019

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

    van Glabbeek, R. J., Groote, J. F. & de Vink, E. P., 4 Nov 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Cham: Springer, p. 139-162 24 p. (Lecture Notes in Computer Science; vol. 11760 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    4 Citations (Scopus)

  • An axiomatization of strong distribution bisimulation for a language with a parallel operator and probabilistic choice

    Groote, J. F. & de Vink, E. P., 2019, From Software Engineering to Formal Methods and Tools, and Back. ter Beek, M. H., Fantechi, A. & Semini, L. (eds.). Cham: Springer, p. 449-463 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    3 Citations (Scopus)
  • 2008

    Analysis of distributed systems with mCRL2

    Groote, J. F., Mathijssen, A. H. J., Reniers, M. A., Usenko, Y. S. & Weerdenburg, van, M. J., 2008, Process Algebra for Parallel and Distributed Processing. Alexander, M. & Gardner, W. (eds.). Chapman & Hall, p. 99-128 (CRC Computational Science Series; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    30 Citations (Scopus)
    3 Downloads (Pure)
  • 2002

    Bits, trits, qits, pits of hits

    Groote, J. F., 2002, Liber Amicorum Jaco de Bakker. Boer, de, F. S., Heijden, van der, M. Y., Klint, P. & Rutten, J. J. M. M. (eds.). Amsterdam: Centrum voor Wiskunde en Informatica, p. 89-92 226 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    1 Downloads (Pure)
  • 2001

    Algebraic process verification

    Groote, J. F. & Reniers, M. A., 2001, Handbook of Process Algebra. Bergstra, J. A., Ponse, A. & Smolka, S. A. (eds.). Amsterdam: Elsevier, p. 1151-1208

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • 2000

    The propositional formula checker HeerHugo

    Groote, J. F. & Warners, J. P., 2000, SAT2000 : Highlights of Satisfiability Research in the Year 2000. Gent, I., Maaren, van, H. & Walsh, T. (eds.). IOS Press, (Frontiers in Artificial Intelligence and Applications; vol. 63).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • 1999

    The Vital Processor Interlocking.

    Vlijmen, S. V., Groote, J. F. & Koorn, W., 1999, Algebraic Specification in Action. p. 1-56 56 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review