I was a postdoc at the chair of Prof. Holger Hermanns until September 2015. I have now moved to 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.
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 and TACAS 2015.
Journals: Theoretical Computer Science (2013), IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2013), Software Tools for Technology Transfer (2014)
|Dependable Systems & Software Group||Department of Computer Science||Universität des Saarlandes|