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
Conference contribution

Search results

  • 2024

    Fair Mutual Exclusion for N Processes

    Hafidi, Y., Keiren, J. J. A. (Corresponding author) & Groote, J. F., 3 Jan 2024, Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers. Yavorskiy, R., Cavalli, A. R. & Kalenkova, A. (eds.). Cham: Springer, p. 149-160 12 p. (Communications in Computer and Information Science (CCIS); vol. 1559).

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

    Open Access
    File
    3 Downloads (Pure)

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

    Jilissen, K. H. J., Dieleman, P. & Groote, J. F., 27 Mar 2024, Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems. Lang, F. & Volk, M. (eds.). arXiv.org, Vol. 2403.18722. p. 101-127 27 p. (Electronic Proceedings in Theoretical Computer Science; no. 399).

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

    Open Access
    File
    8 Downloads (Pure)
  • 2023

    A formal analysis of Dutch Generic Integral Tunnel Design models

    Jilissen, K. H. J., Dieleman, P. & Groote, J. F., 7 Jun 2023, SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing. New York: Association for Computing Machinery, Inc., p. 1681-1684 4 p.

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

    Open Access
    File
    1 Citation (Scopus)
    6 Downloads (Pure)

  • An Autonomous Data Language

    Franken, T. T. P. (Corresponding author), Neele, T. & Groote, J. F., 23 Nov 2023, Theoretical Aspects of Computing – ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings. Ábrahám, E., Dubslaff, C. & Tapia Tarifa, S. L. (eds.). Springer, p. 158-177 20 p. (Lecture Notes in Computer Science (LNCS); vol. 14446).

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

    Open Access
    File
    1 Citation (Scopus)
    2 Downloads (Pure)

  • Compositional Learning for Interleaving Parallel Automata

    Labbaf, F. (Corresponding author), Groote, J. F., Hojjat, H. & Mousavi, M. R., 21 Apr 2023, Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. Kupferman, O. & Sobocinski, P. (eds.). Cham: Springer, p. 413-435 23 p. (Lecture Notes in Computer Science (LNCS); vol. 13992).

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

    Open Access
    File
    6 Citations (Scopus)
    1 Downloads (Pure)

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

    Martens, J. & Groote, J. F., 7 Sept 2023, 34th International Conference on Concurrency Theory, CONCUR 2023. Pérez, G. A. & Raskin, J.-F. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 32:1-32:17 17 p. 32. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 279).

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

    Open Access
    File
    2 Citations (Scopus)
    1 Downloads (Pure)

  • Minimisation of Spatial Models Using Branching Bisimilarity

    Ciancia, V., Groote, J. F., Latella, D., Massink, M. & de Vink, E. P., 2023, Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. Chechik, M., Katoen, J.-P. & Leucker, M. (eds.). Cham: Springer, p. 263-281 19 p. (Lecture Notes in Computer Science (LNCS); vol. 14000).

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

    3 Citations (Scopus)

  • Real Equation Systems with Alternating Fixed-Points

    Groote, J. F. & Willemse, T. A. C., 7 Sept 2023, 34th International Conference on Concurrency Theory, CONCUR 2023. Pérez, G. A. & Raskin, J.-F. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 28:1-28:17 17 p. 28. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 279).

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

    Open Access
    File
    3 Citations (Scopus)
    1 Downloads (Pure)
  • 2022

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

    Groote, J. F. (Corresponding author), Laveaux, M. & van Spaendonck, P. H. M., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 422-459 38 p. (Lecture Notes in Computer Science (LNCS); vol. 13701).

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

    Open Access
    File
    2 Citations (Scopus)
    1 Downloads (Pure)

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

    Hooimeijer, B., Geilen, M., Groote, J. F., Hendriks, D. & Schiffelers, R. R. H., 2022, Proceedings of the 17th International Conference on Software Technologies - ICSOFT. SciTePress Digital Library, p. 146-158 13 p.

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

  • 2021

    A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions

    Martens, J. (Corresponding author), Groote, J. F., van den Haak, L., Hijma, P. & Wijs, A., 28 Oct 2021, Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings. Salaün, G. & Wijs, A. (eds.). Cham: Springer, p. 115-133 19 p. (Lecture Notes in Computer Science (LNCS); vol. 13077)(Programming and Software Engineering (LNPSE); vol. 13077).

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

    Open Access
    File
    5 Citations (Scopus)
    210 Downloads (Pure)

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

    Erkens, R. (Corresponding author) & Groote, J. F., 20 Aug 2021, Theoretical Aspects of Computing – ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings. Cerone, A. & Olveczky, P. C. (eds.). Springer, p. 67-85 19 p. (Lecture Notes in Computer Science (LNCS); vol. 12819)(Theoretical Computer Science and General Issues (LNTCS); vol. 12819).

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

    Open Access
    File
    1 Citation (Scopus)

  • Bisimulation by Partitioning Is Ω((m+n) logn)

    Groote, J. F., Martens, J. & de Vink, E. P., 13 Aug 2021, 32nd International Conference on Concurrency Theory, CONCUR 2021. Haddad, S. & Varacca, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 31:1-31:16 16 p. 31. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 203).

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

    Open Access
    File
    4 Citations (Scopus)

  • Term Rewriting on GPUs

    van Eerd, J., Groote, J. F. (Corresponding author), Hijma, P., Martens, J. & Wijs, A., 17 Oct 2021, Fundamentals of Software Engineering: 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers. Hojjat, H. & Massink, M. (eds.). Cham: Springer, p. 175-189 15 p. (Lecture Notes in Computer Science (LNCS); vol. 12818).

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

    Open Access
    File
    2 Citations (Scopus)

  • Tutorial: Designing Distributed Software in mCRL2

    Groote, J. F. & Keiren, J. J. A. (Corresponding author), 8 Jun 2021, Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings. Peters, K. & Willemse, T. A. (eds.). Cham: Springer, p. 226-243 18 p. (Lecture Notes in Computer Science (LNCS); vol. 12719)(Programming and Software Engineering (LNPSE); vol. 12719).

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

    Open Access
    File
    7 Citations (Scopus)
  • 2020

    Active Learning of Decomposable Systems

    al Duhaiby, O. & Groote, J. F., 7 Oct 2020, 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE). Association for Computing Machinery, Inc., 10 p. 3391560

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

    Open Access
    File
    4 Citations (Scopus)
    123 Downloads (Pure)

  • A near-linear-time algorithm for weak bisimilarity on Markov chains.

    Jansen, D., Groote, J. F., Timmers, F. & Yang, P., 1 Aug 2020, 31st International Conference on Concurrency Theory (CONCUR2020). Konnov, I. & Kovacs, L. (eds.). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 8:1-8:20 20 p. 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 171).

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

    Open Access
    4 Citations (Scopus)

  • An O(m log n) algorithm for branching bisimilarity on labelled transition systems

    Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (eds.). Springer, p. 3-20 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

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

    Open Access
    16 Citations (Scopus)

  • Beyond sotif: Black swans and formal methods

    Saberi, A. K., Hegge, J., Fruehling, T. & Groote, J. F., 24 Aug 2020, SYSCON 2020 - 14th Annual IEEE International Systems Conference, Proceedings. Institute of Electrical and Electronics Engineers, 5 p. 09275888

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

    12 Citations (Scopus)

  • Modelling and analysing software in mCRL2

    Groote, J. F., Keiren, J. J. A., Luttik, S. P., de Vink, E. P. & Willemse, T. A. C., 2020, Formal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings: FACS 2019. Arbab, F. & Jongmans, S.-S. (eds.). Cham: Springer, p. 25-48 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12018 LNCS).

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

    15 Citations (Scopus)

  • Modelling and Analysing Software in mCRL2

    Groote, J. F., Keiren, J. J. A., Luttik, B., de Vink, E. P. & Willemse, T. A. C., 1 Jan 2020, Formal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings. Arbab, F. & Jongmans, S.-S. (eds.). Springer, p. 25-48 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12018 LNCS).

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

    15 Citations (Scopus)
  • 2019

    Active learning of industrial software with data

    Sanchez, L., Groote, J. F. & Schiffelers, R., Feb 2019, Preproceedings of Fundamentals of Software Engineering (FSEN) 2019. Hojjat, H. & Massink, M. (eds.). Tehran: Institute for Studies in Theoretical Physics and Mathematics (IPM), School of Mathematics, p. 51-65

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

  • Active learning of industrial software with data

    Groote, J. F., Sanchez, L. & Schiffelers, R., 2019, Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Revised Selected Papers. Hojjat, H. & Massink, M. (eds.). Cham: Springer, p. 95-110 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11761 LNCS).

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

    1 Citation (Scopus)

  • Correct and efficient antichain algorithms for refinement checking

    Laveaux, M., Groote, J. F. & Willemse, T., 29 May 2019, Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Proceedings. Yoshida, N. & Pérez, J. A. (eds.). Cham: Springer, p. 185-203 19 p. (Lecture Notes in Computer Science; vol. 11535).

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

    4 Citations (Scopus)

  • Correct and Efficient Antichain Algorithms for Refinement Checking

    Laveaux, M., Groote, J. F. & Willemse, T. A. C., 2019, FORTE. p. 185-203 19 p.

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

  • Distribution of behaviour into parallel communicating subsystems

    Alduhaiby, O. & Groote, J. F., 26 Aug 2019, Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics. p. 54-68 15 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 300).

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

    Open Access
    File
    1 Citation (Scopus)
    60 Downloads (Pure)

  • The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability

    Bunte, O., Groote, J. F., Keiren, J. J. A., Laveaux, M., Neele, T., de Vink, E. P., Wesselink, W., Wijs, A. & Willemse, T. A. C., 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Vojnar, T. & Zhang, L. (eds.). Cham: Springer, p. 21-39 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

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

    Open Access
    File
    108 Citations (Scopus)
    124 Downloads (Pure)

  • Verifying system-wide properties of industrial component-based software

    Neele, T., Rol, M. H. & Groote, J. F., 2019, Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Revised Selected Papers. Hojjat, H. & Massink, M. (eds.). Cham: Springer, p. 158-175 18 p. (Lecture notes in computer science; vol. 11761).

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

    3 Citations (Scopus)
    1 Downloads (Pure)
  • 2018

    Pitfalls in applying model learning to industrial legacy software

    al Duhaiby, O., Mooij, A., van Wezep, H. & Groote, J. F., 30 Oct 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 121-138 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11247 LNCS).

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

    7 Citations (Scopus)
    3 Downloads (Pure)

  • Solving parameterised boolean equation systems with infinite data through quotienting

    Neele, T., Willemse, T. A. C. & Groote, J. F., 5 Oct 2018, Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings. Ölveczky, P. C. & Bae, K. (eds.). Berlin: Springer, p. 216-236 21 p. (Lecture Notes in Computer Science; vol. 11222).

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

    7 Citations (Scopus)
    2 Downloads (Pure)
  • 2017

    Assessing the quality of tabular state machines through metrics.

    Osaiweran, A. A. H., Marincic, J. & Groote, J. F., 11 Aug 2017, Proceedings - 2017 IEEE International Conference on Software Quality, Reliability and Security, QRS 2017. Piscataway: IEEE Press, p. 426-433 8 p. 8009946

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

    1 Citation (Scopus)

  • Formalising the Dezyne modelling language in mCRL2

    van Beusekom, R., Groote, J. F., Hoogendijk, P., Howe, R., Wesselink, W., Wieringa, R. & Willemse, T. A. C., 2017, Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings. Petrucci, L., Seceleanu, C. & Cavalcanti, A. (eds.). Dordrecht: Springer, p. 217-233 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10471 LNCS).

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

    16 Citations (Scopus)
    1 Downloads (Pure)

  • Modelling and verification of a cluster-tree formation protocol implementation for the IEEE 802.15.4 TSCH MAC operation mode.

    Talebi, M., Groote, J. F. & Dandelski, C., 15 Mar 2017, Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems (MARS 2017). Hermanns, H. & Höfner, P. H. (eds.). p. 117-128 12 p.

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

    Open Access
    File
    200 Downloads (Pure)

  • Problem solving using process algebra considered insightful.

    Groote, J. F. & de Vink, E. P., 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J.-P., Langerak, R. & Rensink, A. (eds.). Cham: Springer, p. 48-63 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10500 LNCS).

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

    8 Citations (Scopus)

  • The mean drift: tailoring the mean field theory of markov processes for real-world applications

    Talebi, M., Groote, J. F. & Linnartz, J. P. M. G., 2017, Analytical and Stochastic Modelling Techniques and Applications : 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings. Thomas, N. & Forshaw, M. (eds.). Dordrecht: Springer, p. 196-211 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10378 LNCS).

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

    1 Citation (Scopus)
    2 Downloads (Pure)
  • 2016

    An O(m log n) algorithm for stuttering equivalence and branching bisimulation

    Groote, J. F. & Wijs, A. J., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Chechik, M. & Raskin, J.-F. (eds.). Dordrecht: Springer, p. 607-624 18 p. (Lecture Notes in Computer Science; vol. 9636).

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

    13 Citations (Scopus)
    11 Downloads (Pure)

  • Exact real arithmetic with perturbation analysis and proof of correctness

    Groote, J. F. & Keshishzadeh, S., 2016, Proceedings Thirteenth International Conference on Computability and Complexity in Analysis (CCA 2016), 15-17 June 2016, Faro, Portugal. p. 24-26

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

  • Software that meets its intent

    Huisman, M., Bos, H., Brinkkemper, S., van Deursen, A., Groote, J. F., Lago, P., van de Pol, J. & Visser, E., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Dordrecht: Springer, p. 609-625 17 p. (Lecture Notes in Computer Science; vol. 9953).

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

    2 Citations (Scopus)
  • 2015

    Continuous approximation of stochastic models for wireless sensor networks

    Talebi, M., Groote, J. F. & Linnartz, J.-P., 24 Nov 2015, 2015 IEEE Symposium on Communications and Vehicular Technology in the Benelux (SCVT), 24 November 2015, Luxembourg City. Piscataway: Institute of Electrical and Electronics Engineers, p. 1-6 6 p.

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

    2 Citations (Scopus)
    5 Downloads (Pure)
  • 2014

    On the random structure of behavioural transition systems

    Groote, J. F., van der Hofstad, R. W. & Raffelsieper, M., 2014, 14th International Workshop on Automated Verification of Critical Systems (AVOCS14, Enschede, The Netherlands, September 24-26, 2014. Pre-proceedings). Huisman, M. & Pol, van de, J. C. (eds.). CTIT, p. 141-156 (CTIT Workshop Proceedings Series; vol. WP 14-01).

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

    Open Access
    File
    111 Downloads (Pure)
  • 2013

    Analysis of path planning algorithms : a formal verification-based approach

    Khabbaz Saberi, A., Groote, J. F. & Keshishzadeh, S., 2013, Advances in Artificial Life - ECAL 2013 (Proceedings of the 12th European Conference on the Synthesis and Simulation of Living Systems, Taormina, Italy, September 2-6, 2013). Liò, P., Miglino, O., Nicosia, G., Nolfi, S. & Pavone, M. (eds.). MIT Press, p. 232-239

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

    13 Citations (Scopus)
    2 Downloads (Pure)

  • An overview of the mCRL2 toolset and its recent advances

    Cranen, S., Groote, J. F., Keiren, J. J. A., Stappers, F. P. M., Vink, de, E. P., Wesselink, J. W. & Willemse, T. A. C., 2013, Tools and Algorithms for the Construction and Analysis of Systems (19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings). Piterman, N. & Smolka, S. A. (eds.). Berlin: Springer, p. 199-213 (Lecture Notes in Computer Science; vol. 7795).

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

    112 Citations (Scopus)
    1 Downloads (Pure)
  • 2012

    Analyzing a controller of a power distribution unit using formal methods

    Groote, J. F., Osaiweran, A. & Wesselius, J. H., 2012, Proceedings of the Fifth International Conference on Software Testing, Verification and Validation (ICST 2012, Montreal, Canada, April 17-21, 2012). Institute of Electrical and Electronics Engineers, p. 420-428 9 p.

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

    1 Citation (Scopus)

  • Dogfooding the structural operational semantics of mCRL2

    Stappers, F. P. M., Reniers, M. A., Groote, J. F. & Weber, S., 2012, 2012 IEEE 35th Software Engineering Workshop (SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012). Institute of Electrical and Electronics Engineers, p. 90-99 10 p.

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

    1 Citation (Scopus)

  • Experience report on designing and developing control components using formal methods

    Osaiweran, A. A. H., Fransen, T., Groote, J. F. & Rijnsoever, van, B. J., 2012, FM 2012: Formal Methods (18th International Symposium, Paris, France, August 27-31, 2012. Proceedings). Giannakopolou, D. & Méry, D. (eds.). Berlin: Springer, p. 341-355 (Lecture Notes in Computer Science; vol. 7436).

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

    4 Citations (Scopus)

  • Experience report on developing the Front-end Client unit under the control of formal methods

    Groote, J. F., Osaiweran, A. & Wesselius, J. H., 2012, Proceedings of the 27th ACM Symposium on Applied Computing (SAC'12, Riva del Garda, Italy, March 25-29, 2012). New York NY: Association for Computing Machinery, Inc., p. 1183-1190 8 p.

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

    5 Citations (Scopus)

  • Specification guidelines to avoid the state space explosion problem

    Groote, J. F., Kouters, T. W. D. M. & Osaiweran, A. A. H., 2012, Fundamentals of Software Engineering (4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011. Revised Selected Papers). Arbab, F. & Sirjani, M. (eds.). Berlin: Springer, p. 112-126 (Lecture Notes in Computer Science; vol. 7141).

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

    4 Citations (Scopus)
    1 Downloads (Pure)
  • 2011

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

    Groote, J. F., Osaiweran, A. A. H. & Wesselius, J. H., 2011, Proceedings of the 27th IEEE International Conference on Software Maintenance (ICSM 2011, Williamsburg VA, USA, September 25-30, 2011). Institute of Electrical and Electronics Engineers, p. 467-472

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

    Open Access
    File
    23 Citations (Scopus)
    249 Downloads (Pure)
  • 2010

    Experience in developing the mCRL2 toolset

    Groote, J. F., Keiren, J. J. A., Stappers, F. P. M., Wesselink, J. W. & Willemse, T. A. C., 2010, Informal Proceedings of the 1st Workshop on Tool Building in Formal Methods (TBFM'10, Orford, Québec, Canada, February 22, 2010; in conjunction with ABZ 2010). Gervais, F. & Fraikin, B. (eds.). p. 1-3

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

    Open Access
    File
    53 Downloads (Pure)

  • Suitability of mCRL2 for concurrent system design: a 2x2 switch case study

    Stappers, F. P. M., Reniers, M. A. & Groote, J. F., 2010, Formal Methods for Components and Objects (FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers). Boer, de, F. S., Bonsangue, M. M., Hallerstede, S. & Leuschel, M. (eds.). Berlin: Springer, p. 166-185 20 p. (Lecture Notes in Computer Science; vol. 6286).

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

    1 Citation (Scopus)