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.

Contact

University of Twente
Room: Zilverling 3122
E-Mail:

Publications

[DBLP] [GS]

Committees

Talks

Teaching

Theses

Reviewing

Conferences: CONCUR 2009, AVoCS 2009, MMB/DFT 2010, DSN 2010, CAV 2010, FORMATS 2010, FMCO 2010, HSCC 2011, CAV 2011, FMICS 2011, ATVA 2011, FORMATS 2011, HSCC 2012, TACAS 2012, FMICS 2012, AVoCS 2012, VMCAI 2013, ESOP 2013, HSCC 2013, HSCC 2014, QEST 2014, TACAS 2015 and ATVA 2015.

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