| 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 | 204 | 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 | 10 | 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 | 5 | 2021 |
| 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 |
| 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 | 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 |
| Accelerated Verification of Concurrent Systems M Laveaux | | 2022 |
| 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020) S Ronchi Della Rocca, U Dal Lago, C Faggian, B Pientka, AM Pitts, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2020 | | 2020 |
| Abstracting real-valued parameters in parameterised boolean equation systems M Laveaux | | |
