M.G.W. van Wijk MSc | People Pages: Find employees & contact details | University of Twente

Expertise

Computer Science
- Multiobjective
- Model Checking
- Statistical Model
- Monte Carlo Simulation
- Optimisation Objective
- Model Checking Problem
- Reliability Threshold
- Termination Criterion

Organisations

Publications

2026

Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking (Artifact) (2026)[Dataset Types › Dataset]. Zenodo. Hartmanns, A., Quatmann, T. & van Wijk, M.https://doi.org/10.5281/zenodo.18604532Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking (Long Tool Paper) (2026)In Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings (pp. 189–210) (Lecture Notes in Computer Science; Vol. 16556). Springer. Hartmanns, A., Quatmann, T. & van Wijk, M.https://doi.org/10.1007/978-3-032-26204-2_10

2025

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version) (2025)[Working paper › Preprint]. ArXiv.org. D'Argenio, P. R., Hartmanns, A., Wienhöft, P. & van Wijk, M.https://doi.org/10.48550/arXiv.2511.13460

Research profiles

Address

University of Twente

Zilverling (building no. 11), room 3057
Hallenweg 19
7522 NH Enschede
Netherlands

Navigate to location

Organisations