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
Antichain
Mathematics
Refinement
Mathematics
Concurrent Systems
Mathematics
Graphical user interfaces
Engineering & Materials Science
Usability
Mathematics
Correctness
Mathematics
Software Product Lines
Mathematics
Domain-specific Languages
Mathematics
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 2019 2019
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
Specifications
Data storage equipment
Experiments
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
Specifications
Data storage equipment
Experiments
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
Antichain
Refinement
Correctness
Divergence
Specification
8
Citations
(Scopus)
18
Downloads
(Pure)
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
Concurrent Systems
Graphical user interfaces
Usability
Software Product Lines
Domain-specific Languages
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