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] [GS]

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).