Arnd Hartmanns

Arnd Hartmanns

I am a postdoc 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 completed my Ph.D. in computer science with a thesis On the Analysis of Stochastic Timed Systems at Saarland University in 2015, supervised by Prof. Holger Hermanns.


University of Twente
Room: Zilverling 3122







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