|
23 - 24 September 2010
Second day
- 09:30 - 10:30 keynote speaker (session chair: R. Mirandola)
- Ralf Reussner
(Karlsruhe Institute of Technology, DE):
"From Performance Prediction to Performance Certification"
- 10:30 - 11:00 coffee break
- 11:00 - 12:30 session 4: model solutions and bounds (chair: L. Bononi)
- Ricardo Rodríguez and Jorge Júlvez (University of Zaragoza, ES):
"Accurate Performance Estimation for Stochastic Marked Graphs by Bottleneck Regrowing"
- Simonetta Balsamo, Gian-Luca Dei Rossi and Andrea Marin (University Ca' Foscari of Venezia, IT):
"A Numerical Algorithm for the Solution of Product-Form Models with Infinite State Spaces"
- Peter Harrison (Imperial College London, UK) and Nigel Thomas (University of Newcastle, UK):
"State-Dependent Rates and Semi-Product-Form via the Reversed Process"
- 12:30 - 14:30 lunch
- 14:30 - 16:30 session 5: compositional analysis (chair: J. Srba)
- Christoph Rathfelder (FZI, DE), David Evans (University of Cambridge, UK) and Samuel Kounev (Karlsruhe Institute of Technology, DE):
"Predictive Modelling of Peer-to-Peer Event-Driven Communication in Component-Based Systems"
- Elvio Gilberto Amparore and Susanna Donatelli (University of Torino, IT):
"A Component-Based Solution Method for Non-Ergodic Markov Regenerative Processes"
- Michael Smith (Technical University of Denmark, DK):
"Compositional Abstraction of PEPA Models for Transient Analysis"
- Sonja Georgievska and Suzana Andova (Eindhoven University of Technologies, NL):
"Composing Systems while Preserving Probabilities"
- 16:30 - 16:45 closing
|