Content available in repository
Content available in repository
Fingerprint
Dive into the research topics where Maurice Laveaux is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Efficient Evidence Generation for Modal µ-Calculus Model Checking
Stramaglia, A. (Corresponding author), Keiren, J. J. A., Laveaux, M. & Willemse, T. A. C., 1 May 2025, Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I. Gurfinkel, A. & Heule, M. (eds.). Springer, p. 191-210 20 p. (Lecture Notes in Computer Science (LNCS); vol. 15696).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile8 Downloads (Pure) -
Efficient Evidence Generation for Modal µ-Calculus Model Checking (extended version)
Stramaglia, A., Keiren, J. J. A., Laveaux, M. & Willemse, T. A. C., 27 Jan 2025.Research output: Working paper › Preprint › Academic
File4 Downloads (Pure) -
Decomposing monolithic processes in a process algebra with multi-actions
Laveaux, M. (Corresponding author) & Willemse, T. A. C., Apr 2023, In: Journal of Logical and Algebraic Methods in Programming. 132, 24 p., 100858.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile23 Downloads (Pure) -
Accelerated Verification of Concurrent Systems
Laveaux, M., 22 Nov 2022, Eindhoven: Eindhoven University of Technology. 201 p.Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)
Open AccessFile220 Downloads (Pure) -
A Thread-Safe Term Library: (with a New Fast Mutual Exclusion Protocol)
Groote, J. F. (Corresponding author), Laveaux, M. & van Spaendonck, P. H. M., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 422-459 38 p. (Lecture Notes in Computer Science (LNCS); vol. 13701).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile2 Citations (Scopus)1 Downloads (Pure)
Datasets
-
mCRL2 release 201808.0
Bunte, O. (Contributor), Groote, J. F. (Contributor), Keiren, J. J. A. (Contributor), Laveaux, M. (Contributor), Neele, T. (Contributor), de Vink, E. P. (Contributor), Wesselink, W. (Contributor), Wijs, A. (Contributor) & Willemse, T. A. C. (Contributor), Zenodo, 2 Sept 2018
DOI: 10.5281/zenodo.2555055, https://zenodo.org/record/2555055
Dataset
-
Antichain-based refinement checking benchmark using the mCRL2 toolset
Laveaux, M. (Contributor), Zenodo, 19 Sept 2019
Dataset
-
Decomposing Monolithic Processes using the mCRL2 toolset
Laveaux, M. (Creator) & Willemse, T. A. C. (Creator), Zenodo, 3 Jan 2022
Dataset
-
Decomposing Monolithic Processes using the mCRL2 toolset
Laveaux, M. (Contributor) & Willemse, T. A. C. (Contributor), Zenodo, 12 Jul 2021
Dataset
-
On-The-Fly Solving for Symbolic Parity Games using the mCRL2 toolset
Laveaux, M. (Creator), Zenodo, 23 Jan 2022
Dataset
Courses
Thesis
-
Abstracting real-valued parameters in parameterised boolean equation systems
Laveaux, M. (Author), Willemse, T. A. C. (Supervisor 1), 26 Feb 2018Student thesis: Master
File