Technical Program

Tuesday, 10 October 2006

9:00

Opening

9.10

Keynote: Structured Analysis Techniques for Large Markov Chains                                                               

Peter Buchholz (Keynote speaker)

9.50

Paper: Conditional Steady-State Bounds for a Subset of States in Markov Chains                                                            

Authors: Tugrul Dayar, Nihal Perkergin and Sana Younès

10.10

Paper: Bounds based on lumpable matrices for partially ordered state space                            

Authors: Ana Busic and Jean-Michel Fourneau

10:30

Coffee Break

10.50

Paper: jPhase: an Object-Oriented Tool for Modeling Phase-Type Distributions                           

Authors: Juan F. Perez and German Riano

11.10

Paper: jMarkov: An Object-Oriented Framework for Modeling and Analyzing Markov Chains and QBDs                                  

Authors: German Riano and Julio Gomez

11.30

Paper: Uniformization with Representatives Comprehensive Transient Analysis of Infinite-State QBDs                            

Authors: A. Remke, B. Haverkort and L. Cloth

11.50

Paper: A tool for verified transient and steady state analysis of queues                                 

Authors: Sebastian Kempken, Wolfram Luther andGerhard Hasslinger

12.10

Paper: Consecutive Customer Loss Probabilities in M /G/1/n and GI /M (m)/n systems                          

Authors: A. Pacheco and H. Ribeiro

12:30

Lunch

14.00

Paper: Automated product-forms with MEERCAT                          

Author: Ashok Argent-Katwala

14.20

Paper: Matrix-geometric algorithms for stochastic fluid flows                 

Authors: Soohan Ahn and V. Ramaswami

14.40

Paper: A Matrix Analytical Method for the Discrete Time Lindley Equation using the Generalized Schur Decomposition                           

Author: Nail Akar

15.00

Paper: Structured Markov chains solver: the algorithms                          

Authors: Dario A. Bini, Beatrice Meini, Sergio Steffe' and Benny Van Houdt

15.20

Paper: Structured Markov chains solver: the software                   

Authors: Dario A. Bini, Beatrice Meini, Sergio Steffe' and Benny Van Houdt 

15:45

Coffee Break

16.00

Demos session