Tutorials: Monday, September 27, 2004
09:00-10:30
First part
10:30-11:00
Break
11:00-12:30
Second part
T1: Software performance models
T2: Quantitative program analysis for security
T3: Structured analysis of Markov chains
12:30-13:30 Lunch
13:30-15:00
First part
15:00-15:30
Break
15:30-17:00
Second part
T4: Timed models
T5: Stochastic games
Unfortunately, this tutorial is
cancelled
!
T6: Probabilistic model checking and Random neural nets
Each tutorial includes a coffee break and access to the lunch.
Web Maintenance Person
.