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: CONCUR and AVoCS 2009, MMB/DFT, DSN, CAV, FORMATS and FMCO 2010, HSCC, CAV, FMICS, ATVA and FORMATS 2011, HSCC, TACAS, FMICS and AVoCS 2012, VMCAI, ESOP and HSCC 2013, HSCC and QEST 2014, TACAS and ATVA 2015, ACSD, MFCS and ICFEM 2016, TACAS and ACSD 2017.

Journals: Theoretical Computer Science (2013, 2016, 2017), Software Tools for Technology Transfer (2014, 2015), and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2013).