Mini-symposium on Quantitative Analysis
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 (timmer@cs.utwente.nl).
Programme
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:30-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 |