The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability O Bunte, JF Groote, JJA Keiren, M Laveaux, T Neele, EP de Vink, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
223 2019 On-the-fly solving for symbolic parity games M Laveaux, W Wesselink, TAC Willemse
International Conference on Tools and Algorithms for the Construction and …, 2022
13 2022 Decomposing monolithic processes in a process algebra with multi-actions M Laveaux, TAC Willemse
arXiv preprint arXiv:2110.00147, 2021
6 2021 Correct and efficient antichain algorithms for refinement checking M Laveaux, JF Groote, TAC Willemse
Logical Methods in Computer Science 17, 2021
6 2021 A Thread-Safe Term Library: (with a New Fast Mutual Exclusion Protocol) JF Groote, M Laveaux, PHM van Spaendonck
International Symposium on Leveraging Applications of Formal Methods, 422-459, 2022
5 2022 Decompositional Branching Bisimulation Minimisation of Monolithic Processes M Bouwman, M Laveaux, B Luttik, T Willemse
International Conference on Formal Aspects of Component Software, 161-182, 2022
4 2022 Adaptive non-linear pattern matching automata R Erkens, M Laveaux
Logical Methods in Computer Science 17, 2021
4 2021 Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation JF Groote, KHJ Jilissen, M Laveaux, PHM van Spaendonck, ...
A Journey from Process Algebra via Timed Automata to Model Learning: Essays …, 2022
2 2022 Decompositional Minimisation of Monolithic Processes M Laveaux, TAC Willemse
arXiv preprint arXiv:2012.06468, 2020
1 2020 Efficient Evidence Generation for Modal A Stramaglia, JJA Keiren, M Laveaux, TAC Willemse
arXiv preprint arXiv:2501.15938, 2025
2025 Accelerated Verification of Concurrent Systems M Laveaux
2022 5th International Conference on Formal Structures for Computation and Deduction: FSCD 2020, June 29-July 6, 2020, Paris, France (virtual Conference) ZM Ariola
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2020
2020 Abstracting real-valued parameters in parameterised boolean equation systems M Laveaux
