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 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 3126
E-Mail:

Publications

[DBLP] [Google Scholar]

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

Committees

Teaching

Theses

Reviewing

Conferences: AVoCS and CONCUR 2009, CAV, DSN, FORMATS, FMCO and MMB/DFT 2010, ATVA, CAV, FORMATS, FMICS and HSCC 2011, AVoCS, FMICS, HSCC and TACAS 2012, ESOP, HSCC and VMCAI 2013, HSCC and QEST 2014, ATVA and TACAS 2015, ACSD, ICFEM and MFCS 2016, ACSD, TACAS and WSC 2017, TACAS and FORTE 2018.

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