• AdresToon op kaart

    Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Nederland

  • PostadresToon op kaart

    P.O. Box 513, Department of Mathematics and Computer Science

    5600 MB Eindhoven

    Nederland

Filter
Conferentiebijdrage

Zoekresultaten

  • 2024

    AuDaLa is Turing Complete

    Franken, T. T. P. & Neele, T., 13 jun. 2024, Formal Techniques for Distributed Objects, Components, and Systems. Castiglioni, V. & Francalanza, A. (uitgave). blz. 221-229 9 blz. (Lecture Notes in Computer Science; vol. 14678).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Configuring BDD Compilation Techniques for Feature Models.

    Dubslaff, C., Husung, N. & Käfer, N., 2 sep. 2024, SPLC 2024 - 28th ACM International Systems and Software Product Line Conference, Proceedings. blz. 209-216 8 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 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. (uitgave). blz. 149-160 12 blz. (Communications in Computer and Information Science; vol. 1559).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

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

    Jilissen, K. H. J., Groote, J. F. & Dieleman, P., 27 mrt. 2024, Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems. Vol. 399. blz. 101-127 27 blz. (Electronic Proceedings in Theoretical Computer Science; nr. 399).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
  • Modelling and Analysing a Mechanical Lung Ventilator in mCRL2

    van Dortmont, D., Keiren, J. J. A. & Willemse, T. A. C., 2024, Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Proceedings. Bonfanti, S., Gargantini, A., Scandurra, P., Leuschel, M. & Riccobene, E. (uitgave). Springer, blz. 341-359 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14759 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
  • 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. (uitgave). 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 Automata Learning of Synchronous Systems

    Neele, T. & Sammartino, M., 2023, Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings. Lambers, L. & Uchitel, S. (uitgave). Springer, blz. 47-66 20 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13991 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    6 Citaten (Scopus)
  • Compositional ioco using model-based mocking

    Booy, J. J., Keiren, J. J. A. & van der Bijl, M., 2023, 22nd Belgium-Netherlands Software Evolution Workshop, BENEVOL 2023. blz. 1-8 8 blz. (CEUR Workshop Proceedings; vol. 3567).

    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. (uitgave). 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
    4 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. (uitgave). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 32. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 279).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
  • 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. (uitgave). 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)
  • On the Preservation of Properties When Changing Communication Models

    Bunte, O., van Gool, L. C. M. & Willemse, T. A. C., 2023, SOFSEM 2023: Theory and Practice of Computer Science - 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Proceedings. Gasieniec, L. (uitgave). Springer, blz. 239-253 15 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13878 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    1 Citaat (Scopus)
  • Process-Algebraic Models of Multi-Writer Multi-Reader Non-Atomic Registers

    Spronck, M. S. C. & Luttik, B., sep. 2023, 34th International Conference on Concurrency Theory (CONCUR 2023). Perez, G. A. & Raskin, J.-F. (uitgave). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, blz. 5:1-5:17 17 blz. 5. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 279).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
  • 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. (uitgave). blz. 28:1-28:17 17 blz. 28. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 279).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
  • Simplifying Process Parameters by Unfolding Algebraic Data Types

    Stramaglia, A., Keiren, J. J. A. & Neele, T., 2023, Theoretical Aspects of Computing – ICTAC 2023 - 20th International Colloquium, Proceedings. Ábrahám, E., Dubslaff, C. & Tarifa, S. L. (uitgave). Springer, blz. 399-416 18 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

  • The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing

    van Spaendonck, P. H. M. & Willemse, T. A. C., sep. 2023, 34th International Conference on Concurrency Theory, CONCUR 2023. Perez, G. A. & Raskin, J.-F. (uitgave). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 4. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 279).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 2022

    (Re)moving Quantifiers to Simplify Parameterised Boolean Equation Systems

    Neele, T., 2022, Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022). blz. 64-80 17 blz. (CEUR Workshop Proceedings; vol. 3326).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    2 Citaten (Scopus)
  • 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. (uitgave). 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)
  • Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces.

    Ciancia, V., Latella, D., Massink, M. & Vink, E. P. D., 2022, A Journey from Process Algebra via Timed Automata to Model Learning. Springer, blz. 98-115 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13560 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (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

  • Decompositional Branching Bisimulation Minimisation of Monolithic Processes

    Bouwman, M., Laveaux, M., Luttik, B. & Willemse, T., 2022, Formal Aspects of Component Software - 18th International Conference, FACS 2022, Proceedings. Tapia Tarifa, S. L. & Proença, J. (uitgave). Springer, blz. 161-182 22 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13712 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    3 Citaten (Scopus)
  • Formal Verification of an Industrial UML-like Model using mCRL2

    Stramaglia, A. & Keiren, J. J. A., 2022, Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Proceedings. Groote, J. F. & Huisman, M. (uitgave). Springer, blz. 86-102 17 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13487 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • On the Axiomatisation of Branching Bisimulation Congruence over CCS

    Aceto, L., Castiglioni, V., Ingólfsdóttir, A. & Luttik, B., 1 sep. 2022, 33rd International Conference on Concurrency Theory, CONCUR 2022. Klin, B., Lasota, S. & Muscholl, A. (uitgave). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, blz. 6:1-6:18 18 blz. 6. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 243).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • On-The-Fly Solving for Symbolic Parity Games

    Laveaux, M., Wesselink, W. & Willemse, T. A. C., 2022, Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Fisman, D. & Rosu, G. (uitgave). Springer, blz. 137-155 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13244 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    3 Citaten (Scopus)
  • Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2

    Arshad, H., Horne, R., Johansen, C., Owe, O. & Willemse, T. A. C., 2022, Formal Techniques for Distributed Objects, Components, and Systems - 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Proceedings. Mousavi, M. R. & Philippou, A. (uitgave). Springer, blz. 11-30 20 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13273 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
  • Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway

    Seisenberger, M., ter Beek, M. H., Fan, X., Ferrari, A., Haxthausen, A. E., James, P., Lawrence, A., Luttik, B., van de Pol, J. & Wimmer, S., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (uitgave). Springer, blz. 246-268 23 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13704 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    12 Citaten (Scopus)
  • Supporting Railway Innovations with Formal Modelling and Verification

    Luttik, B., 2022, Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Proceedings. Groote, J. F. & Huisman, M. (uitgave). Springer, blz. 8-11 4 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13487 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 2021

    A Formalisation of SysML State Machines in mCRL2

    Bouwman, M., Luttik, B. & van der Wal, D., 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. (uitgave). Springer, blz. 42-59 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

    6 Citaten (Scopus)
  • 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. (uitgave). 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
    3 Citaten (Scopus)
    188 Downloads (Pure)
  • Are two binary operators necessary to finitely axiomatise parallel composition?

    Aceto, L., Castiglioni, V., Fokkink, W., Ingólfsdóttir, A. & Luttik, B., 2021, 29th EACSL Annual Conference on Computer Science Logic (CSL 2021). Baier, C. & Goubault-Larrecq, J. (uitgave). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, blz. 8:1-8:17 17 blz. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 183).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    6 Citaten (Scopus)
    42 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. (uitgave). 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

    1 Citaat (Scopus)
  • 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. (uitgave). 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)
  • Deadlock in Packet Switching Networks

    Stramaglia, A., Keiren, J. J. A. & Zantema, H., 17 okt. 2021, Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers. Hojjat, H. & Massink, M. (uitgave). Springer, blz. 127-141 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

  • Formal Methods in Railway Signalling Infrastructure Standardisation Processes

    Bouwman, M. S., Luttik, S. P., Rensink, A., Stoelinga, M. I. A. & van der Wal, D., 2021, Proceedings of ISoLA 2021. Margaria, T. & Steffen, B. (uitgave). blz. 500-501 (Lecture Notes in Computer Science; nr. 13036).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

  • In search of lost time: Axiomatising parallel composition in process algebras

    Aceto, L., Anastasiadi, E., Castiglioni, V., Ingolfsdottir, A. & Luttik, B., 29 jun. 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Institute of Electrical and Electronics Engineers, 9470526

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    3 Citaten (Scopus)
  • Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths: (Extended Abstract)

    Bouwman, M., Luttik, B. & Willemse, T., 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. (uitgave). Springer, blz. 182-187 6 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

  • Pushdown automata and context-free grammars in bisimulation semantics

    Baeten, J. C. M., Carissimo, C. & Luttik, B., 1 nov. 2021, 9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021. Gadducci, F., Silva, A. & Silva, A. (uitgave). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 211).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
  • Supporting the Development of Hybrid ERTMS/ETCS Level 3 with Formal Modelling, Analysis and Simulation

    Bartholomeus, M., Erkens, R., Luttik, S. P. & Willemse, T. A. C., 2021, Proceedings of ISoLA 2021. Margaria, T. & Steffen, B. (uitgave). blz. 498-499 (Lecture Notes in Computer Science; nr. 13036).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

  • 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. (uitgave). 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

    2 Citaten (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. (uitgave). 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

    7 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)
    128 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. (uitgave). 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
    4 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. (uitgave). 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
    14 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

    11 Citaten (Scopus)
  • Effective System Level Liveness Verification

    Fedotov, A., Keiren, J. J. A. & Schmaltz, J., 21 sep. 2020, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020. Ivrii, A., Strichman, O., Hunt, W. A. & Weissenbacher, G. (uitgave). Institute of Electrical and Electronics Engineers, blz. 7-15 9 blz. 9283645

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
  • Family-Based SPL model checking using parity games with variability

    ter Beek, M. H., van Loo, S., de Vink, E. P. & Willemse, T. A. C., 2020, Fundamental Approaches to Software Engineering- 23rd International Conference, FASE 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Wehrheim, H. & Cabot, J. (uitgave). Springer, blz. 245-265 21 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12076 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    11 Citaten (Scopus)
  • Formal Verification of OIL Component Specifications using mCRL2

    Bunte, O., van Gool, L. C. M. & Willemse, T. A. C., 2020, Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings. ter Beek, M. H. & Nickovic, D. (uitgave). Springer, blz. 231-251 21 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12327 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    2 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. (uitgave). 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

    12 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. (uitgave). 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

    12 Citaten (Scopus)