Maurice Laveaux

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 16

Top Topics

Process Algebra

Mutual Exclusion

Concurrent Systems

Pattern Matching

Top Venues

Log. Methods Comput. Sci.

J. Log. Algebraic Methods Program.

Publications

Maurice Laveaux, Tim A. C. Willemse
Decomposing monolithic processes in a process algebra with multi-actions. J. Log. Algebraic Methods Program. 132 (2023)
Jan Friso Groote, Kevin H. J. Jilissen, Maurice Laveaux, P. H. M. van Spaendonck, Tim A. C. Willemse
Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Maurice Laveaux, Wieger Wesselink, Tim A. C. Willemse
On-The-Fly Solving for Symbolic Parity Games. TACAS (2) (2022)
Maurice Laveaux, Wieger Wesselink, Tim A. C. Willemse
On-The-Fly Solving for Symbolic Parity Games. CoRR (2022)
Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck
A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol). ISoLA (1) (2022)
Mark Bouwman, Maurice Laveaux, Bas Luttik, Tim A. C. Willemse
Decompositional Branching Bisimulation Minimisation of Monolithic Processes. FACS (2022)
Maurice Laveaux, Tim A. C. Willemse
Decomposing Monolithic Processes in a Process Algebra with Multi-actions. ICE (2021)
Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse
Correct and Efficient Antichain Algorithms for Refinement Checking. Log. Methods Comput. Sci. 17 (1) (2021)
Rick Erkens, Maurice Laveaux
Adaptive Non-linear Pattern Matching Automata. Log. Methods Comput. Sci. 17 (4) (2021)
Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck
A thread-safe Term Library. CoRR (2021)
Maurice Laveaux, Tim A. C. Willemse
Decompositional Minimisation of Monolithic Processes. CoRR (2020)
Rick Erkens, Maurice Laveaux
Adaptive Non-Linear Pattern Matching Automata. FSCD (2020)
Rick Erkens, Maurice Laveaux
Adaptive Non-linear Pattern Matching Automata. CoRR (2020)
Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse
Correct and Efficient Antichain Algorithms for Refinement Checking. CoRR (2019)
Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse
Correct and Efficient Antichain Algorithms for Refinement Checking. FORTE (2019)
Olav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, Tim A. C. Willemse
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. TACAS (2) (2019)