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 | |||