Anton J. Wijs

Onderzoeksresultaten per jaar

Filter

2025
Towards End-to-End GPU Acceleration of PCTL Model Checking
Heemstra, J., Osama, M. & Wijs, A. (Corresponderende auteur), 2025, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (uitgave). Springer, Vol. 2. blz. 314-337 24 blz. (Lecture Notes in Computer Science; vol. 15261 LNCS).
Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review
2016
Verifying a verifier: on the formal correctness of an LTS transformation verification technique
de Putter, S. M. J. & Wijs, A. J., 2016, Fundamental Approaches to Software Engineering. Dordrecht: Springer, blz. 383-400 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9633).
Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review
6 Citaten (Scopus)

2 Downloads (Pure)

Onderzoeksoutput