| Tutorial 1 |
| Monday 6 |
Tutorial Session: M.1
Validation and Evaluation: Properties and
Bounds |
| 09h00: |
Marta Kwiatkowska (University of Birmingham, U.K.)
Model checking of probabilistic systems against temporal logic specifications
|
| 10h30: |
Coffee break
|
| 11h00: |
Pierpaolo Degano, Corrado Priami (Univ. di Verona e Pisa, Italy)
Performance evaluation of mobile computations
|
| 12h30: |
--
|
| 13h00: |
Lunch
|
| 14h30: |
Mauro Pezzé (Politecnico di Milano, Italy)
Timed Petri nets
|
| 16h00: |
Coffee break
|
| 16h30: |
Javier Campos (Universidad de Zaragoza, Spain)
Properties and bounds on P/T nets
|
| 18h00: |
--
|
Tutorial Session:M.2
Solution and Analysis of Large Markov
Chains |
| 09h00: |
Tugrul Dayar (Bilkent University, Turkey)
Introduction to the numerical solution of Markov chains
|
| 10h30: |
Coffee break
|
| 11h00: |
Boudewjin Haverkort (University of Aachen, Germany)
Solution of infinite Markov chains
|
| 12h30: |
--
|
| 13h00: |
Lunch
|
| 14h30: |
Brigitte Plateau (Université de Grenoble, France)
Stochastic automata networks and Kronecker algebra
|
| 16h00: |
Coffee break
|
| 16h30: |
Gianfranco Ciardo (College of William and Mary, USA)
Efficient data structures and algorithms for the Kronecker approach
|
| 18h00: |
--
|
| Tutorial 2 |
| Tuesday 7 |
Tutorial Session: T.1
Composition and Decomposition
Methods |
| 09h00: |
Ed Brinksma, Holger Hermanns (Univ. of Twente, The Netherlands)
Advances in Markovian and non Markovian process algebras
|
| 10h30: |
Coffee break
|
| 11h00: |
Claude Dutheillet (Université Paris 6, France)
Automatic exploitation of symmetries with SWNs
|
| 12h30: |
--
|
| 13h00: |
Lunch
|
| 14h30: |
Manuel Silva (Universidad de Zaragoza, Spain)
Net-driven decomposition techniques
|
| 16h00: |
--
|
Tutorial Session: T.2
Analysis of Non Markovian Petri
Nets |
| 09h00: |
Christoph Lindemann (University of Dortmund, Germany)
Deterministic stochastic Petri nets
|
| 10h30: |
Coffee break
|
| 11h00: |
Reinhard German (Technical University of Berlin, Germany)
Numerical analysis of non-Markovian stochastic Petri nets
|
| 12h30: |
--
|
| 13h00: |
Lunch
|
| 14h30: |
Susanna Donatelli (Univ. di Torino, Italy), Patrice Moreaux (Univ. de
Reims, France)
Structured solution methods for GSPN with phase type distributions
|
| 16h00: |
--
|
