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
Netwerk
Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.
Onderzoeksoutput
Correct and efficient antichain algorithms for refinement checking
Laveaux, M., Groote, J. F. & Willemse, T., 2019, Eindhoven: Technische Universiteit Eindhoven. 28 blz. (Computer science reports; vol. 19/01)Onderzoeksoutput: Boek/rapport › Rapport › Academic
Open Access
Bestand
77
Downloads
(Pure)
Correct and efficient antichain algorithms for refinement checking
Laveaux, M., Groote, J. F. & Willemse, T., 29 mei 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. (redactie). Cham: Springer, blz. 185-203 19 blz. (Lecture Notes in Computer Science; vol. 11535).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
2
Citaten
(Scopus)
Correct and efficient antichain algorithms for refinement checking
Laveaux, M., Groote, J. F. & Willemse, T. A. C., 26 feb 2019, In : arXiv. 28 blz., 1902.09880.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic
Open Access
Bestand
30
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. (redactie). Cham: Springer, blz. 21-39 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open Access
Bestand
17
Citaten
(Scopus)
26
Downloads
(Pure)
Knipsels
Correct and Efficient Antichain Algorithms for Refinement Checking. (arXiv:1902.09880v1 [cs.LO])
27/02/19
1 item van Media-aandacht
Pers / media: Vakinhoudelijk commentaar
Scriptie
Abstracting real-valued parameters in parameterised boolean equation systems
Auteur: Laveaux, M., 26 feb 2018Begeleider: Willemse, T. (Afstudeerdocent 1)
Scriptie/Masterproef: Master
Bestand