Maurice Laveaux

20 papers B 1C 1Journal 9Unranked 9
YearRankTypeTitle / Venue / Authors
2026 — conf
Deciding Impossible Futures.
Juggling Formal Methods and Security
Maurice Laveaux, Tim A. C. Willemse
2026 — conf
Faster Signature Refinement for Branching Bisimilarity Minimization.
TACAS (1)
Jan Martens, Maurice Laveaux
2025 J jnl
Efficient Evidence Generation for Modal μ-Calculus Model Checking (extended version).
CoRR
Anna Stramaglia, Jeroen J. A. Keiren, Maurice Laveaux, Tim A. C. Willemse
2025 — conf
Efficient Evidence Generation for Modal μ-Calculus Model Checking.
TACAS (1)
Anna Stramaglia, Jeroen J. A. Keiren, Maurice Laveaux, Tim A. C. Willemse
2023 J jnl
Decomposing monolithic processes in a process algebra with multi-actions.
J. Log. Algebraic Methods Program.
Maurice Laveaux, Tim A. C. Willemse
2022 — conf
A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol).
ISoLA (1)
Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck
2022 — conf
Decompositional Branching Bisimulation Minimisation of Monolithic Processes.
FACS
Mark Bouwman, Maurice Laveaux, Bas Luttik, Tim A. C. Willemse
2022 — conf
On-The-Fly Solving for Symbolic Parity Games.
TACAS (2)
Maurice Laveaux, Wieger Wesselink, Tim A. C. Willemse
2022 J jnl
On-The-Fly Solving for Symbolic Parity Games.
CoRR
Maurice Laveaux, Wieger Wesselink, Tim A. C. Willemse
2022 — conf
Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation.
A Journey from Process Algebra via Timed Automata to Model Learning
Jan Friso Groote, Kevin H. J. Jilissen, Maurice Laveaux, P. H. M. van Spaendonck, Tim A. C. Willemse
2021 J jnl
A thread-safe Term Library.
CoRR
Jan Friso Groote, Maurice Laveaux, P. H. M. van Spaendonck
2021 J jnl
Adaptive Non-linear Pattern Matching Automata.
Log. Methods Comput. Sci.
Rick Erkens, Maurice Laveaux
2021 J jnl
Correct and Efficient Antichain Algorithms for Refinement Checking.
Log. Methods Comput. Sci.
Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse
2021 — conf
Decomposing Monolithic Processes in a Process Algebra with Multi-actions.
ICE
Maurice Laveaux, Tim A. C. Willemse
2020 B conf
Adaptive Non-Linear Pattern Matching Automata.
FSCD
Rick Erkens, Maurice Laveaux
2020 J jnl
Adaptive Non-linear Pattern Matching Automata.
CoRR
Rick Erkens, Maurice Laveaux
2020 J jnl
Decompositional Minimisation of Monolithic Processes.
CoRR
Maurice Laveaux, Tim A. C. Willemse
2019 C conf
Correct and Efficient Antichain Algorithms for Refinement Checking.
FORTE
Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse
2019 J jnl
Correct and Efficient Antichain Algorithms for Refinement Checking.
CoRR
Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse
2019 — conf
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability.
TACAS (2)
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