| 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 | 126 | 2019 |
| On-the-fly solving for symbolic parity games M Laveaux, W Wesselink, TAC Willemse Tools and Algorithms for the Construction and Analysis of Systems: 28th …, 2022 | 4 | 2022 |
| Decomposing monolithic processes in a process algebra with multi-actions M Laveaux, TAC Willemse arXiv preprint arXiv:2110.00147, 2021 | 4 | 2021 |
| Correct and efficient antichain algorithms for refinement checking M Laveaux, JF Groote, TAC Willemse Formal Techniques for Distributed Objects, Components, and Systems: 39th …, 2019 | 4 | 2019 |
| A Thread-Safe Term Library: (with a New Fast Mutual Exclusion Protocol) JF Groote, M Laveaux, PHM van Spaendonck Leveraging Applications of Formal Methods, Verification and Validation …, 2022 | 3 | 2022 |
| Symbolic Reachability using LDDs W Wesselink, M Laveaux | | 2023 |
| Accelerated Verification of Concurrent Systems M Laveaux | | 2022 |
| Decompositional Branching Bisimulation Minimisation of Monolithic Processes M Bouwman, M Laveaux, B Luttik, T Willemse Formal Aspects of Component Software: 18th International Conference, FACS …, 2022 | | 2022 |
| 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 | | 2022 |
| Decompositional Minimisation of Monolithic Processes M Laveaux, TAC Willemse arXiv preprint arXiv:2012.06468, 2020 | | 2020 |
| Adaptive Non-Linear Pattern Matching Automata R Erkens, M Laveaux arXiv preprint arXiv:2011.13752, 2020 | | 2020 |
| Abstracting real-valued parameters in parameterised boolean equation systems M Laveaux | | |
