Research Output per year
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.
- 2 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output
Correct and efficient antichain algorithms for refinement checking
Laveaux, M., Groote, J. F. & Willemse, T., 2019, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Computer science reports; vol. 19/01)Research output: Book/Report › Report › Academic
Open Access
File
Correct and efficient antichain algorithms for refinement checking
Laveaux, M., Groote, J. F. & Willemse, T. A. C., 26 Feb 2019, In : arXiv. 28 p., 1902.09880.Research output: Contribution to journal › Article › Academic
Open Access
File
Correct and efficient antichain algorithms for refinement checking
Laveaux, M., Groote, J. F. & Willemse, T., 29 May 2019, Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Proceedings. Yoshida, N. & Pérez, J. A. (eds.). Cham: Springer, p. 185-203 19 p. (Lecture Notes in Computer Science; vol. 11535).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
1
Citation
(Scopus)
The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability
Bunte, O., Groote, J. F., Keiren, J. J. A., Laveaux, M., Neele, T., de Vink, E. P., Wesselink, W., Wijs, A. & Willemse, T. A. C., 1 Jan 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Vojnar, T. & Zhang, L. (eds.). Cham: Springer, p. 21-39 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
10
Citations
(Scopus)
21
Downloads
(Pure)
Press / Media
Correct and Efficient Antichain Algorithms for Refinement Checking. (arXiv:1902.09880v1 [cs.LO])
27/02/19
1 item of Media coverage
Press/Media: Expert Comment
Student theses
Abstracting real-valued parameters in parameterised boolean equation systems
Author: Laveaux, M., 26 Feb 2018Supervisor: Willemse, T. (Supervisor 1)
Student thesis: Master
File