Towards End-to-End GPU Acceleration of PCTL Model Checking. - Jan Heemstra; Muhammad Osama 003; Anton Wijs (Principles of Verification (2), 2024)

GPUexploresc prob: Markov Chain State Space Construction and Verification with GPUs. - Jan Heemstra; Anton Wijs (TACAS (3), 2025)

Evaluating Massively Parallel Algorithms for DFA Minimisation, Equivalence Checking and Inclusion Checking. - Jan Heemstra; Jan Martens 001; Anton Wijs (CoRR, 2025)