Arnd Hartmanns

Arnd Hartmanns

I am an assistant professor in the Formal Methods and Tools group at the University of Twente. My primary research interests are modelling tools and formalisms for stochastic timed and hybrid systems (in particular Modest) and their applications in various fields. I advocate reproducibility in Computer Science research, via artifact evaluation initiatives, tool competitions, and standardised benchmark sets. I was previously a postdoc in the Formal Methods and Tools group at the University of Twente and the Dependable Systems and Software group at Saarland University, where I also completed my Ph.D. in computer science with a thesis On the Analysis of Stochastic Timed Systems in 2015.

Contact

University of Twente
Room: Zilverling 3061
E-Mail:

Projects

Committees

I was previously a member of the program committees for FormaliSE, QEST, and SPIN 2023; for FORMATS and FORTE 2022; for SNR, FORMATS, and SPIN 2021; for SBMF, FORMATS, and QEST 2020; for SETTA and QEST 2019; for FORTE 2018; and for ACSD 2017.

Publications

[DBLP] [Google Scholar]

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

Teaching

University of Twente

Saarland University

Theses

Reviewing

Conferences: FORMATS, ICSE, and SPIN 2021; FORMATS, NFM, QEST, TACAS, and TTCS 2020; COCOON, QEST, SETTA, and TACAS 2019; FMCAD, FORTE, ISoLA, and TACAS 2018; ACSD, TACAS, and WSC 2017; ACSD, ICFEM, and MFCS 2016; ATVA and TACAS 2015; HSCC and QEST 2014; ESOP, HSCC, and VMCAI 2013; AVoCS, FMICS, HSCC, and TACAS 2012; ATVA, CAV, FORMATS, FMICS, and HSCC 2011; CAV, DSN, FORMATS, FMCO, and MMB/DFT 2010; AVoCS and CONCUR 2009.

Journals: ACM Transactions on Modeling and Computer Simulation (2018), IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2013), Information and Computation (2017, 2018), IT Professional (2021), Journal of Logical and Algebraic Methods in Programming (2017, 2018), Logical Methods in Computer Science (2020), Software Tools for Technology Transfer (2014, 2015, 2017), and Theoretical Computer Science (2013, 2016, 2017, 2020).

Other

Founding director of The Weissbord Institute.