Maurice Laveaux

According to our database, Maurice Laveaux authored at least 10 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

On-The-Fly Solving for Symbolic Parity Games.

Maurice Laveaux, Wieger Wesselink, Tim A. C. Willemse

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol).

Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Decompositional Branching Bisimulation Minimisation of Monolithic Processes.

Mark Bouwman, Maurice Laveaux, Bas Luttik, Tim A. C. Willemse

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation.

Jan Friso Groote, Kevin H. J. Jilissen, Maurice Laveaux, P. H. M. van Spaendonck, Tim A. C. Willemse

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

Correct and Efficient Antichain Algorithms for Refinement Checking.

Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse

Log. Methods Comput. Sci., 2021

Adaptive Non-linear Pattern Matching Automata.

Rick Erkens, Maurice Laveaux

Log. Methods Comput. Sci., 2021

A thread-safe Term Library.

Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck

CoRR, 2021

Decomposing Monolithic Processes in a Process Algebra with Multi-actions.

Maurice Laveaux, Tim A. C. Willemse

Proceedings of the Proceedings 14th Interaction and Concurrency Experience, 2021

2020

Decompositional Minimisation of Monolithic Processes.

Maurice Laveaux, Tim A. C. Willemse

CoRR, 2020

2019

The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019