Tutorials: Monday, September 19, 2005
 
09:00-10:30
1st part
10:30-11:00
Break
11:00-12:30
2nd part
T1: Stochastic games T2: Storage systems T3: Decision diagrams for logic and stochastic modeling
12:30-14:00 Lunch
14:00-15:30
1st part
15:30-16:00
Break
16:00-17:30
2nd part
T4: Fluid models in performance analysis T5 tutorial 1 - Networks of processes: modeling, analysis, and optimization

T5 tutorial 2 - Equivalences for Markovian process calculi
T6: Symbolic decision diagrams and their application to high-level GSPNs T7: QoS modeling and verification with UML statecharts
  Each tutorial includes a coffee break and access to the lunch.
 
Web Maintenance Person.