Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
Vingerafdruk
Verdiep u in de onderzoeksgebieden waarop Maurice Laveaux actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
- 1 Soortgelijke profielen
Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar
Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
-
Efficient Evidence Generation for Modal µ-Calculus Model Checking
Stramaglia, A. (Corresponderende auteur), Keiren, J. J. A., Laveaux, M. & Willemse, T. A. C., 1 mei 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. (uitgave). Springer, blz. 191-210 20 blz. (Lecture Notes in Computer Science (LNCS); vol. 15696).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand22 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 blz.Onderzoeksoutput: Werkdocument › Preprint › Academic
Open AccessBestand11 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 blz., 100858.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand35 Downloads (Pure) -
Accelerated Verification of Concurrent Systems
Laveaux, M., 22 nov. 2022, Eindhoven: Eindhoven University of Technology. 201 blz.Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)
Open AccessBestand274 Downloads (Pure) -
A Thread-Safe Term Library: (with a New Fast Mutual Exclusion Protocol)
Groote, J. F. (Corresponderende auteur), Laveaux, M. & van Spaendonck, P. H. M., 17 okt. 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. (uitgave). Cham: Springer, blz. 422-459 38 blz. (Lecture Notes in Computer Science (LNCS); vol. 13701).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand2 Citaten (Scopus)3 Downloads (Pure)
Datasets
-
mCRL2org/mCRL2: mCRL2 202507.0
Wesselink, J. W. (Ontwerper), Groote, J. F. (Ontwerper), Laveaux, M. (Ontwerper), Keiren, J. J. A. (Ontwerper), Neele, T. (Ontwerper), Bunte, O. (Ontwerper), Jansen, D. N. (Ontwerper), Johannes Altmanninger (Ontwerper), Booy, J. J. (Ontwerper), de Vink, E. P. (Ontwerper), Ferry Timmers (Ontwerper), Thom Castermans (Ontwerper), Willemse, T. A. C. (Ontwerper), Wijs, A. J. (Ontwerper), Jilissen, K. H. J. (Ontwerper), Willem Rietdijk (Ontwerper), van Ieperen, N. G. (Ontwerper), Volk, M. (Ontwerper), Spronck, M. S. C. (Ontwerper), Luttik, S. P. (Ontwerper), Casper Bach (Ontwerper), Paul van Tilburg (Ontwerper) & Rey, T. (Ontwerper), Zenodo, 1 aug. 2025
Dataset: Software
-
Decomposing Monolithic Processes using the mCRL2 toolset
Laveaux, M. (Bijdrager) & Willemse, T. A. C. (Bijdrager), Zenodo, 12 jul. 2021
Dataset
-
On-The-Fly Solving for Symbolic Parity Games using the mCRL2 toolset
Laveaux, M. (Ontwerper), Zenodo, 23 jan. 2022
Dataset
-
Antichain-based refinement checking benchmark using the mCRL2 toolset
Laveaux, M. (Bijdrager), Zenodo, 19 sep. 2019
Dataset
-
mCRL2 release 201808.0
Bunte, O. (Bijdrager), Groote, J. F. (Bijdrager), Keiren, J. J. A. (Bijdrager), Laveaux, M. (Bijdrager), Neele, T. (Bijdrager), de Vink, E. P. (Bijdrager), Wesselink, W. (Bijdrager), Wijs, A. (Bijdrager) & Willemse, T. A. C. (Bijdrager), Zenodo, 2 sep. 2018
DOI: 10.5281/zenodo.2555055, https://zenodo.org/record/2555055
Dataset
Cursussen
-
Software Specification
Volk, M., Keiren, J. J. A., Stramaglia, A., Bunte, O., Laveaux, M., Liem, E. & Bartels, M. 1/09/15 → 31/08/26
Cursus
Scriptie
-
Abstracting real-valued parameters in parameterised boolean equation systems
Laveaux, M. (Auteur), Willemse, T. A. C. (Afstudeerdocent 1), 26 feb. 2018Scriptie/Masterproef: Master
Bestand