• 106
    Citations - based on content available in repository [source: Scopus]
20192023

Content available in repository

Filter
Conference contribution

Search results

  • 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. (eds.). Springer, p. 422-459 38 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13701 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
  • 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. (eds.). Springer, p. 161-182 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13712 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
  • 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. (eds.). Springer, p. 137-155 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13244 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    2 Citations (Scopus)
  • 2020

    Adaptive Non-Linear Pattern Matching Automata

    Erkens, R. & Laveaux, M., 28 Jun 2020, 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020) . Ariola, Z. M. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 21 p. 20. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 167).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
  • 2019

    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 proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-review

  • 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    90 Citations (Scopus)
    95 Downloads (Pure)