Filter
Conferentiebijdrage

Zoekresultaten

  • 2024

    Fair Mutual Exclusion for N Processes

    Hafidi, Y., Keiren, J. J. A. & Groote, J. F., 3 jan. 2024, Tools and Methods of Program Analysis - 6th International Conference, TMPA 2021, Revised Selected Papers. Yavorskiy, R., Cavalli, A. R. & Kalenkova, A. (redactie). blz. 149-160 12 blz. (Communications in Computer and Information Science; vol. 1559).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 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. Association for Computing Machinery, Inc, blz. 1681-1684 4 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
  • An Autonomous Data Language

    Franken, T. T. P., Neele, T. & Groote, J. F., 2023, Theoretical Aspects of Computing – ICTAC 2023 - 20th International Colloquium, Proceedings. Ábrahám, E., Dubslaff, C. & Tarifa, S. L. (redactie). Springer, blz. 158-177 20 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14446 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Compositional Learning for Interleaving Parallel Automata.

    Labbaf, F., Groote, J. F., Hojjat, H. & Mousavi, M. R., 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, Proceedings. Kupferman, O. & Sobocinski, P. (redactie). blz. 413-435 23 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13992 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    2 Citaten (Scopus)
  • Computing Minimal Distinguishing Hennessy-Milner Formulas is NP-Hard, but Variants are Tractable

    Martens, J. & Groote, J. F., sep. 2023, 34th International Conference on Concurrency Theory, CONCUR 2023. Perez, G. A. & Raskin, J-F. (redactie). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 32. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 279).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 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. (redactie). Cham: Springer, blz. 263-281 19 blz. (Lecture Notes in Computer Science (LNCS); vol. 14000).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
  • Real Equation Systems with Alternating Fixed-Points.

    Groote, J. F. & Willemse, T. A. C., sep. 2023, 34th International Conference on Concurrency Theory, CONCUR 2023. Perez, G. A. & Raskin, J-F. (redactie). blz. 28:1-28:17 17 blz. 28. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 279).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 2022

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

    Groote, J. F., Laveaux, M. & van Spaendonck, P. H. M., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (redactie). Springer, blz. 422-459 38 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13701 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    2 Citaten (Scopus)
  • 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, blz. 146-158 13 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 2021

    A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions

    Martens, J., Groote, J. F., van den Haak, L., Hijma, P. & Wijs, A., 2021, Formal Aspects of Component Software - 17th International Conference, FACS 2021, Proceedings. Salaün, G. & Wijs, A. (redactie). Springer, blz. 115-133 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13077 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    2 Citaten (Scopus)
    164 Downloads (Pure)
  • A Set Automaton to Locate All Pattern Matches in a Term

    Erkens, R. & Groote, J. F., 2021, Theoretical Aspects of Computing – ICTAC 2021 - 18th International Colloquium, Proceedings. Cerone, A. & Olveczky, P. C. (redactie). Springer, blz. 67-85 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12819 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

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

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    4 Citaten (Scopus)
  • Term Rewriting on GPUs

    van Eerd, J., Groote, J. F., Hijma, P., Martens, J. & Wijs, A., 2021, Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Revised Selected Papers. Hojjat, H. & Massink, M. (redactie). Springer, blz. 175-189 15 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12818 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
  • Tutorial: Designing Distributed Software in mCRL2

    Groote, J. F. & Keiren, J. J. A., 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, Proceedings. Peters, K. & Willemse, T. A. (redactie). Springer, blz. 226-243 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12719 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    5 Citaten (Scopus)
  • 2020

    Active Learning of Decomposable Systems

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    3 Citaten (Scopus)
    110 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. (redactie). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, blz. 8:1-8:20 20 blz. 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 171).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    3 Citaten (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. (redactie). Springer, blz. 3-20 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    13 Citaten (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 blz. 09275888

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    7 Citaten (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. (redactie). Cham: Springer, blz. 25-48 24 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12018 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    10 Citaten (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. (redactie). Springer, blz. 25-48 24 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12018 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    10 Citaten (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. (redactie). Tehran: Institute for Studies in Theoretical Physics and Mathematics (IPM), School of Mathematics, blz. 51-65

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Cham: Springer, blz. 95-110 16 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11761 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
  • Correct and efficient antichain algorithms for refinement checking

    Laveaux, M., Groote, J. F. & Willemse, T., 29 mei 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. (redactie). Cham: Springer, blz. 185-203 19 blz. (Lecture Notes in Computer Science; vol. 11535).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    4 Citaten (Scopus)
  • Correct and Efficient Antichain Algorithms for Refinement Checking

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. blz. 54-68 15 blz. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 300).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    1 Citaat (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. (redactie). Cham: Springer, blz. 21-39 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    85 Citaten (Scopus)
    84 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. (redactie). Cham: Springer, blz. 158-175 18 blz. (Lecture notes in computer science; vol. 11761).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    3 Citaten (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 okt. 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (redactie). Cham: Springer, blz. 121-138 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11247 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    6 Citaten (Scopus)
    3 Downloads (Pure)
  • Solving parameterised boolean equation systems with infinite data through quotienting

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    7 Citaten (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, blz. 426-433 8 blz. 8009946

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (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. (redactie). Dordrecht: Springer, blz. 217-233 17 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10471 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    12 Citaten (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 mrt. 2017, Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems (MARS 2017). Hermanns, H. & Höfner, P. H. (redactie). blz. 117-128 12 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    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. (redactie). Cham: Springer, blz. 48-63 16 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10500 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    7 Citaten (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. (redactie). Dordrecht: Springer, blz. 196-211 16 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10378 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
    1 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. (redactie). Dordrecht: Springer, blz. 607-624 18 blz. (Lecture Notes in Computer Science; vol. 9636).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    13 Citaten (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. blz. 24-26

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Dordrecht: Springer, blz. 609-625 17 blz. (Lecture Notes in Computer Science; vol. 9953).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    2 Citaten (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, blz. 1-6 6 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    2 Citaten (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. (redactie). CTIT, blz. 141-156 (CTIT Workshop Proceedings Series; vol. WP 14-01).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    108 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. (redactie). MIT Press, blz. 232-239

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    11 Citaten (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. (redactie). Berlin: Springer, blz. 199-213 (Lecture Notes in Computer Science; vol. 7795).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    110 Citaten (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, blz. 420-428 9 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (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, blz. 90-99 10 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (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. (redactie). Berlin: Springer, blz. 341-355 (Lecture Notes in Computer Science; vol. 7436).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    4 Citaten (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, blz. 1183-1190 8 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    5 Citaten (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. (redactie). Berlin: Springer, blz. 112-126 (Lecture Notes in Computer Science; vol. 7141).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    4 Citaten (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, blz. 467-472

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    23 Citaten (Scopus)
    210 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. (redactie). blz. 1-3

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    57 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. (redactie). Berlin: Springer, blz. 166-185 20 blz. (Lecture Notes in Computer Science; vol. 6286).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
  • 2009

    An analysis of the control hierarchy modelling of the CMS detector control system

    Hwong, Y. L., Groote, J. F. & Willemse, T. A. C., 2009, Proceedings of the 12th International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS 2009, Kobe, Japan, October 12-16, 2009). blz. 1-3

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    102 Downloads (Pure)