Arnd Hartmanns -

Registered user since Thu 31 Jan 2019

Name:Arnd Hartmanns

Country:Netherlands

Affiliation:University of Twente

Personal website: https://arnd.hartmanns.name/

Contributions

2027

FormaliSE

Committee Member in Program Committee Members within the Research Track-track

2026

APLAS

Co-chair in Artifact Evaluation Committee within the ATVA Research Papers-track

FM

Author of Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking within the Research Track-track

VMCAI

Author of Probabilistic Verification for Modular Network-on-Chip Systems within the VMCAI 2026-track

2023

FormaliSE

Committee Member in Program Committee within the FormaliSE 2023-track

2022

FormaliSE

2021

SPIN

University of Twente in Programming Committee within the SPIN-track

2019

TACAS

Author of The Quantitative Verification Benchmark Set within the TACAS 2019-track