Maurice Laveaux
Orcid: 0000-0001-8732-7580
According to our database1,
Maurice Laveaux
authored at least 10 papers
between 2019 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
2021
2022
2023
0
1
2
3
4
5
1
3
1
4
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
J. Log. Algebraic Methods Program., April, 2023
2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022
Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022
Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation.
Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022
2021
Log. Methods Comput. Sci., 2021
2020
2019
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019