Anne Remke

DACS Publications About me Contact


Since June 2010, I am assistent professor at the Design and Analysis of Communication Systems group, which belongs to the Faculty of Electrical Engineering, Mathematics, and Computer Science at the University of Twente. I hold a Ph. D. degree (2008) from the University of Twente and a M.Sc degree (2004) from the RWTH Aachen, both in Computer Science.

As a researcher in the context of the 3TU Centre for Dependable ICT Systems, my focus is on dependability in critical 7x24 infrastructures, such as electrical power systems and their infrastructure and telecommunication and ICT infrastructures (i.e. SCADA). My interest is currently focused on the dependability analysis of water treatment facilities in the context of my NWO Veni project on 'Dependability Evaluation of fluid critical infrastructures with hybrid stochastic models' (scientific title).


Ongoing Projects

NWO Veni: Counting on a reliable water supply (laymen title)

ALLEGIO: Composable Embedded Systems for Healthcare

ROCKS: RigorOus dependability analysis using model ChecKing techniques for Stochastic systems


Please check my publications on EPrints

PhD students

Currently, I am the daily supervisor of three PhD students:

Anna Kolesnichenko

Hamed Ghasemieh

Freek van den Berg

Program Committees

EPEW 2014 , QAPL 2014 , ValueTools 2013 , QAPL 2013 , QEST 2013 , EPEW 2013 , QAPL 2012 , MMB 2012 , QAPL 2011 , QEST 2011 , PASM 2011 , ASMTA 2010

Professional activities

Co-organizer of the Dagstuhl Seminar on Randomized Timed and Hybrid Models for Critical Infrastructures 2014.

Main organizer of the ROCKS autumn school, 2012.

Teaching activities

Bachelor coordinator

As bachelor coordinator in "Technische Informatica" (Technical computer science) I am responsible to introduce soft skills to the bachelor curriculum.


I am lecturing two master courses and I am involved in the practical classes of one bachelor course.

Quantitative Evaluation of Embedded systems (master embedded systems)

Performance Evaluation (master computer science)

Introduction to Computer Networking (bachelor computer science)

Screencasts and videos

If you want to learn more about our ongoing research, please check out our DACS promotion video on SCADA networks.

For the course QEES (Quantitative Evaluation of Embedded Systems) I recorded screencasts on model checking CTL1, CTL2, pCTL1, pCTL2, and CSL1, CSL2. I also interviewed three prominent researchers about Kim Larssen (the founder of the tool UPPAAL), Edward Lee (one of the inventors of synchronous dataflow), and Holger Hermanns (a very well-known specialist in probabilistic and hybrid systems).

About me

In November, 2010 I received a Veni award from the Dutch Science foundation (NWO) for doing research on 'Counting on a reliable water supply' (laymen title) or 'Dependability analysis of fluid critical infrastructures using hybrid stochastic models' (scientific title).

June 20, 2008 I publicly defended my PhD thesis "Model Checking Structured Infinite Markov Chains" at the University of Twente. During my PhD I worked in the NWO project MC=MC under the supervision of Boudewijn Haverkort. My research topics was "Model checking infinite state Markov chains".

During my PhD my research interests were CSL model checking in general, and model checking of infinite-state Markov chains in particular. I am still interested in structured state spaces like quasi-birth death processes (QBDs), tree-structured QBDs and Jackson queueing networks (JQNs) and in the analysis of bottlenecks in multi-hop IEEE 802.11e ad hoc networks.

On May 16, the Kivi Niria Telecommunication prize 2008 took place in Delft, during which a candidate from each of the three Technical University in the Netherlands, Universities of Twente, Eindhoven and Delft, presented their work. As candidate for the University of Twente I received the second price with the presentation "Two hop ad hoc networks: Setting the parameters right".

At the annual CTIT congress (may 31, 2006) I was awarded the first prize in the PhD-poster-competition for my poster on "Bottlenecks in 2-hop ad hoc networks dividing radio capacity in a smart way".

I completed my diploma thesis, entitled "Model Checking Quasi Birth Death Processes" in the summer of 2004 while staying, as a visiting student, at the University of Twente. I have been awarded the 2006 GI/ITG MMB prize for the best diploma thesis in the area of measurements, modelling and evaluation of computer and communication systems. The prize is awarded jointly by the "Gesellschaft for Informatik" and the "Informationstechnische Gesellschaft im VDE", and was officially handed out at the MMB conference in Nurnberg, Germany.

Born in Muenster, Germany, April 24th 1980, I finished high school in June 1999 and graduated in Computer Science at the RWTH Aachen in 2004 (Dipl. - Inform).


Anne Remke
University of Twente
Design and Analysis of Communication Systems
Faculty of Electrical Engineering, Mathematics and Computer Science
P.O. Box 217
7500 AE Enschede
The Netherlands

Phone: +31 53 489 5428
Email: anne [at]
Room: ZI-5051