Follow
Maurice Laveaux
Maurice Laveaux
Verified email at tue.nl - Homepage
Title
Cited by
Cited by
Year
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
1692019
Decomposing monolithic processes in a process algebra with multi-actions
M Laveaux, TAC Willemse
arXiv preprint arXiv:2110.00147, 2021
62021
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
52022
Correct and efficient antichain algorithms for refinement checking
M Laveaux, JF Groote, TAC Willemse
Logical Methods in Computer Science 17, 2021
52021
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
32022
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
32022
Adaptive non-linear pattern matching automata
R Erkens, M Laveaux
Logical Methods in Computer Science 17, 2021
32021
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
12022
Decompositional Minimisation of Monolithic Processes
M Laveaux, TAC Willemse
arXiv preprint arXiv:2012.06468, 2020
12020
Accelerated Verification of Concurrent Systems
M Laveaux
2022
Abstracting real-valued parameters in parameterised boolean equation systems
M Laveaux
The system can't perform the operation now. Try again later.
Articles 1–11