September 13, 2013Symposium: Mini-symposium on Quantitative Analysis
Room: Hal B, room 2F

At this mini-symposium on quantitative analysis, a variety of researchers in computer science and mathematics will share their vision and experiences in the area of quantitative analysis. What is the
state-of-the-art, what do we still need to do and what is currently under investigation?

The symposium is held on September 13, on the occasion of Mark Timmer defending his thesis on efficient modelling, generation and analysis of Markov automata, directly following the workshop.

Participation is without cost; however, if you plan to attend, please register by sending an email to Mark Timmer (



10:30-11:00 Arrival and Coffee
11:00-11:30 Jaco van de Pol (Formal Methods & Tools, UT)
Multi-core LTL model checking of Timed Automata
11:00-12:00 Mariëlle Stoelinga (Formal Methods & Tools, UT)
Confidentiality for multi-threaded programs
12:00-12:30 Boudewijn Haverkort (Design and Analysis of Communication Systems, UT)
Simple models for energy management considerations in data centers
12:30-13:30 Lunch
13:30-14:00 Richard Boucherie (Stochastic Operations Research, UT)
Decomposition of product form stochastic Petri nets
14:00-14:30 Joost-Pieter Katoen (Software Modeling and Verification, RWTH Aachen University)
Concurrency meets Probability: Theory and Practice
14:30-15:00 Holger Hermanns (Dependable Systems & Software, Saarland University)
Markov Automata News
15:00-15:30 Jan Friso Groote (Model Driven Software Engineering, TU/e)
Realistic random state spaces
15:30- Closing