Program of the 7th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS)
DAY 0: Thursday, September 22, 2005
3:45pm Bus from QEST'05 venue to Villa Gualino (PMCCS-7 venue)
8:00pm DINNER at the Villa
DAY 1: Friday, September 23, 2005
8:30am Workshop Opening
8:40am SESSION 1: Power-Aware Computing

Session Chair: Boudewijn Haverkort

8:40am Power-aware Resource Allocation via Online Simulation with Multiple-queue Backfilling
Barry Lawson, Evgenia Smirni, Chuan Yue, Dimitris Nikolopoulos

9:00am

Probabilistic Model Checking and Power-Aware Computing
Marta Kwiatkowska, Gethin Norman, David Parker
9:20am Predicting the Functional/Performance Impact of Dynamic Power Management, Part I
M.Bernardo, A.Bogliolo, A.Acquaviva, A.Aldini, E.Bonta, E.Lattanzi
9:40am Predicting the Functional/Performance Impact of Dynamic Power Management, Part II
M.Bernardo, A.Bogliolo, A.Acquaviva, A.Aldini, E.Bonta, E.Lattanzi

10:00am

Discussion on SESSION 1
10:30am

COFFEE BREAK

11:00am

SESSION 2: Model Checking

Session Chair: Murray Woodside

11:00am Automated Game Analysis via Probabilistic Model Checking
Paolo Ballarini, Michael Fisher, Michael Wooldridge

11:20am

Hyperbolic PDEs for CSRL Model Checking: A Dej`a Vu
Lucia Cloth, Boudewijn R. Haverkort
11:40am Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards
Anne Remke, Boudewijn R. Haverkort

12:00am Discussion on SESSION 2
12:30pm

LUNCH

2:30pm

SESSION 3: Distribution Fitting / Reward Models

Session Chair: Andras Horvath

2:30pm Toward Fitting General Distributions within PEPA Terms
Nil Geisweiller

2:50pm

Numerical behavior of the moment based estimation algorithms
Arpad Tari, Miklos Telek
3:10pm The Performability Distribution for Nonhomogeneous Markov-Reward Models
Boudewijn R. Haverkort, Joost-Pieter Katoen

3:30pm

Computing Bounds of the Expected Cumulated Reward up to Absorption
Ana Paula Couto da Silva, Gerardo Rubino
3:50pm Discussion on SESSION 3
4:20pm

COFFEE BREAK

4:50pm

SESSION 4: Petri Nets, Stochastic Automata, Stochastic Activity Networks

Session chair: Andrea Bobbio

4:50pm Removing Timed Delays in Stochastic Automata
Fida Kamal Dankar, Gregor v. Bochmann
5:10pm Evaluation of a benchmark on dynamic reliability via Fluid Stochastic Petri Nets
Daniele Codetta-Raiteri, Andrea Bobbio

5:30pm

Transforming Stochastic Activity Networks to continuous-time Markov decision processes
Sven Johr
5:50pm A graph of classes preserving quantitative temporal constraints
Janette Cardoso, Xiaoyu Mao, Robert Valette
8:00pm DINNER at the Villa
DAY 2: Saturday, September 24, 2005
8:30am

SESSION 5: On-Line Performability Management

Session Chair: William H. Sanders

8:30am Issues in On-Line Performability Modeling an Devaluation through the Model-Based Approach
Andrea Bondavalli, Felicita di Giandomenico

8:50am

Evaluating the performability of systems with background jobs
Qi Zhang, Alma Riska, Evgenia Smirni, Erik Riedel

9:10am

Performability Optimization using Linear Bounds of Partially Observable Markov Decision Processes
Kaustubh R. Joshi, William H. Sanders
9:30am Towards Performance-aware Real-time Management for On-demand Computing Environments
Stephen A. Jarvis, Graham R. Nudd, Daniel P. Spooner

9:50am

Discussion on SESSION 5
10:20pm

COFFE BREAK

10:40am

SESSION 6: Client/Resource/Service Models

Session Chair: Alma Riska

10:40am A Short Investigation into Underexplored Model for Retries
Aad P. A. van Moorsel, Katinka Wolter
11:00am Experimental Performability Evaluation of Middleware for Large-Scale Distributed Systems
Luis Soares, Jose Pereira
11:20am A Composable Performance Model for Service/Resource Systems
Murray Woodside
11:40am An Aggregation Approach to Constructing Hybrid Layered Queueing Models
Pengfei Wu, Murray Woodside

12:00am

Discussion on SESSION 6
12:30pm

LUNCH