| Lecturer | Title | |||
| May 28 | ||||
| 08.00-09.00 | breakfast | |||
| 09.15-09.30 | opening | |||
| 09.30-12.30 | Billy Stewart
North Carolina State Univ. USA |
Performance Modelling and Markov Chains (1 - 2) |
||
| 12.30-14.00 | lunch | |||
| 15.00-18.00 | Simonetta Balsamo
Univ. of Venice Italy |
Queueing Networks | ||
| May 29 | ||||
| 08.00-09.00 | breakfast | |||
| 09.30-12.30 | Gianfranco Balbo
Univ. of Turin Italy |
Stochastic Petri Nets | ||
| 12.30-14.00 | lunch | |||
| 15.00-18.00 | Jane Hillston
Univ. of Edinburgh UK |
Stochastic Process Algebras | ||
| May 30 | ||||
| 08.00-09.00 | breakfast | |||
| 09.30-12.30 | Bill Sanders
Univ. of Illinois at Urbana-Champaign USA |
Multi-paradigm Modelling | ||
| 12.30-14.00 | lunch | |||
| 15.00-18.00 | Marco Bernardo
Univ. of Urbino Italy |
Markovian Behavioral Equivalences | ||
| May 31 | ||||
| 08.00-09.00 | breakfast | |||
| 09.30-12.30 | Marta Kwiatkowska
Univ. of Birmingham UK |
Stochastic Model Checking | ||
| 12.30-14.00 | lunch | |||
| 15.00-18.00 | Miklos Telek
Tech. Univ. of Budapest Hungary |
Fluid Models in Performance Analysis | ||
| June 1 | ||||
| 08.00-09.00 | breakfast | |||
| 09.30-12.30 | William Knottenbelt
Imperial College London UK |
Tackling Large State Spaces | ||
| 12.30-14.00 | lunch | |||
| 15.00-18.00 | Gianfranco Ciardo
Univ. of California at Riverside USA |
Data Representation and Efficient Solution |
||
| June 2 | ||||
| 08.00-09.00 | breakfast | |||
| 09.30-12.30 | Connie Smith
Performance Engineering Services USA |
Software Performance Engineering (1 - 2 - 3 - 4) |
||
| 12.30-14.00 | lunch | |||
| 15.00-18.00 | Murray Woodside
Carleton Univ. Canada |
From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms |
||
| 18.00-18.15 | closing | |||