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
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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 AccessFile67 Downloads (Pure) -
A Thread-Safe Term Library: (with a New Fast Mutual Exclusion Protocol)
Groote, J. F., Laveaux, M. & van Spaendonck, P. H. M., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 422-459 38 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13701 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
1 Citation (Scopus) -
Decompositional Branching Bisimulation Minimisation of Monolithic Processes
Bouwman, M., Laveaux, M., Luttik, B. & Willemse, T., 2022, Formal Aspects of Component Software - 18th International Conference, FACS 2022, Proceedings. Tapia Tarifa, S. L. & Proença, J. (eds.). Springer, p. 161-182 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13712 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
-
On-The-Fly Solving for Symbolic Parity Games
Laveaux, M., Wesselink, W. & Willemse, T. A. C., 2022, In: CoRR. abs/2201.09607Research output: Contribution to journal › Article › Academic
-
On-The-Fly Solving for Symbolic Parity Games
Laveaux, M., Wesselink, W. & Willemse, T. A. C., 2022, Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Fisman, D. & Rosu, G. (eds.). Springer, p. 137-155 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13244 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
Datasets
-
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. (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
-
Decomposing Monolithic Processes using the mCRL2 toolset
Laveaux, M. (Creator) & Willemse, T. A. C. (Creator), Zenodo, 3 Jan 2022
Dataset
Thesis
-
Abstracting real-valued parameters in parameterised boolean equation systems
Author: Laveaux, M., 26 Feb 2018Supervisor: Willemse, T. A. C. (Supervisor 1)
Student thesis: Master
File