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 AccessFile40 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, arXiv.org, 20 p.Research output: Working paper › Preprint › Academic
Open AccessFile27 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 AccessFile61 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 AccessFile343 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 Link opens in a new tab Citations (Scopus)8 Downloads (Pure)
Datasets
-
mCRL2org/mCRL2: mCRL2 202507.0
Wesselink, J. W. (Creator), Groote, J. F. (Creator), Laveaux, M. (Creator), Keiren, J. J. A. (Creator), Neele, T. (Creator), Bunte, O. (Creator), Jansen, D. N. (Creator), Johannes Altmanninger (Creator), Booy, J. J. (Creator), de Vink, E. P. (Creator), Ferry Timmers (Creator), Thom Castermans (Creator), Willemse, T. A. C. (Creator), Wijs, A. J. (Creator), Jilissen, K. H. J. (Creator), Willem Rietdijk (Creator), van Ieperen, N. G. (Creator), Volk, M. (Creator), Spronck, M. S. C. (Creator), Luttik, S. P. (Creator), Casper Bach (Creator), Paul van Tilburg (Creator) & Rey, T. (Creator), Zenodo, 1 Aug 2025
Dataset: Software
-
Artifact for 'Efficient Evidence Generation for Modal μ-Calculus Model Checking'
Stramaglia, A. (Creator), Keiren, J. J. A. (Creator), Laveaux, M. (Creator) & Willemse, T. A. C. (Creator), Zenodo, 10 Jan 2025
Dataset: Software
-
Decomposing Monolithic Processes using the mCRL2 toolset
Laveaux, M. (Contributor) & Willemse, T. A. C. (Contributor), Zenodo, 12 Jul 2021
Dataset
-
Decomposing Monolithic Processes using the mCRL2 toolset
Laveaux, M. (Creator) & Willemse, T. A. C. (Creator), Zenodo, 3 Jan 2022
Dataset
-
Antichain-based refinement checking benchmark using the mCRL2 toolset
Laveaux, M. (Contributor), Zenodo, 19 Sept 2019
Dataset
Courses
-
Software Specification
Volk, M., Keiren, J. J. A., Stramaglia, A., Bunte, O., Laveaux, M., Liem, E. & Bartels, M. 1/09/15 → 31/08/26
Course
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