Foto van Maurice Laveaux

Bekijk Scopus-profiel

Maurice Laveaux, MSc

 https://orcid.org/0000-0001-8732-7580
  • 110
    Citaties
20192023

Onderzoeksresultaten per jaar

Filter
Conferentiebijdrage

Zoekresultaten

  • 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. (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/Congresprocedure › Conferentiebijdrage › Academic › peer review

    2 Citaten (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. (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/Congresprocedure › Conferentiebijdrage › Academic › peer review

    3 Citaten (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. (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/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Open Access
    2 Citaten (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. (uitgave). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 21 blz. 20. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 167).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Open Access
  • 2019

    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. (uitgave). Cham: Springer, blz. 185-203 19 blz. (Lecture Notes in Computer Science; vol. 11535).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer 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/Congresprocedure › Conferentiebijdrage › Academic › peer 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. (uitgave). 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/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Open Access
    Bestand
    93 Citaten (Scopus)
    103 Downloads (Pure)