Zilverling

M.G.W. van Wijk MSc (Mark)

Promovendus
EEMCS-CS-FMT
Zilverling 3057
mark.vanwijk@utwente.nl
+31534899969
Visitekaartje

Expertises

  • Computer Science

    • Multiobjective
    • Model Checking
    • Statistical Model
    • Monte Carlo Simulation
    • Optimisation Objective
    • Model Checking Problem
    • Reliability Threshold
    • Termination Criterion

Organisaties

Publicaties

2026

Multi-objective Statistical Model Checking Using Lightweight Strategy Sampling (2026)In Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : Third International Joint Conference, QEST+FORMATS 2026, Liverpool, UK, September 2–4, 2026, Proceedings (pp. 171-195). Springer. D’Argenio, P. R., Hartmanns, A., Wienhöft, P. & van Wijk, M.https://doi.org/10.1007/978-3-032-35298-9_10Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (Artifact) (2026)[Dataset Types › Software]. Zenodo. D'Argenio, P. R., Hartmanns, A., Wienhöft, P. & van Wijk, M.https://doi.org/10.5281/zenodo.19660159Tools 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

Onderzoeksprofielen

QR codeScan de QR-code of
Download vCard