Please note that the duration of each presentation, including questions and answers, is:
60 minutes for Invited papers |
25 minutes for Regular papers |
7 minutes for Tool papers |
Monday, September 11, 2006
Morning Tutorials 9:00am - 12:30pm (COFFEE BREAK 10:30am - 11:00am)
TRACK A: Quantitative evaluation of biological systems
J. Hillston (University of Edinburgh)
TRACK B: Statistical techniques for performance measurement and evaluation
D.J. Lilja (University of Minnesota)
LUNCH 12:30pm - 2:00pm
Afternoon Tutorials 2:00pm - 5:30pm (COFFEE BREAK 3:30pm - 4:00pm)
TRACK A: Analysis of simulation traces by run-time verification
O. Sokolsky,
U. Sammapun,
I. Lee (University of Pennsylvania)
TRACK B: Probabilistic validation of computer system survivability
W.H. Sanders (University of Illinois at Urbana-Champaign)
RECEPTION AT THE CALIFORNIA MUSEUM OF PHOTOGRAPHY 6:30pm - 8:30pm
Tuesday, September 12, 2006
Opening Session 8:30am - 9:00am
Welcome and Announcements
Invited Talk 9:00am - 10:00am Chair: Pedro D’Argenio
Causality, responsibility, and blame: a structural-model approach
J. Halpern (Cornell University)
Session 1.1 Measurements 10:00am - 10:50am Chair: Alma Riska
Behavior of available end-to-end bandwidth: non-parametric approach
A. Chobanyan,
M.W. Mutka,
S. Levental,
N. Xi (Michigan State University)
Continuous bytecode instruction counting for CPU consumption estimation
A. Camesi,
J. Hulaas,
W. Binder (Ecole Polytechnique Fédérale de Lausanne)
COFFEE BREAK 10:50am - 11:10am
Session 1.2 Storage Systems 11:10am - 12:25pm
Chair: Evgenia Smirni
Toolbox for dimensioning Windows storage systems
J. Boukhobza,
C. Timsit (Université Versailles St. Quentin)
Long-range dependence at the disk drive level
A. Riska,
E. Riedel (Seagate Research)
Rate-controlled scheduling of expired writes for volatile caches
S.R. Seelam,
J. Suresh-Babu,
P.J. Teller (The University of Texas at El Paso)
LUNCH 12:25pm - 2:00pm
Session 1.3 Network Models 2:00pm - 4:05pm Chair: Andras Horwath
A versatile infinte-state Markov reward model to study bottlenecks in 2-hop ad hoc networks
A. Remke,
B.R. Haverkort,
L. Cloth (University of Twente)
Performance analysis of delay tolerant networks with model checking techniques
M. Garetto,
M. Gribaudo (Università di Torino)
Measuring and modeling of application flow length in commercial GPRS networks
R. Kalden (Ericsson Research), B.R. Haverkort (University of Twente)
Modeling fiber delay loops in an all optical switch
A. Busic (Université Versailles St. Quentin),
M. Ben Mamoun (Université Mohammed V and Université Versailles St. Quentin),
J.-M. Forneau (Université Versailles St. Quentin)
Layered bottlenecks and their mitigation
G. Franks,
D. Petriu,
M. Woodside,
J. Xu (Carleton University),
P. Tregunno (Alcatel)
COFFEE BREAK 4:05pm - 4:25pm
Session 1.4 Tools 4:25pm - 6:00pm Chair: Enrico Vicario
QPME - Queueing Petri Net Modeling Environment
S. Kounev (University of Cambridge),
C. Dutz, A. Buchmann (Darmstadt University of Technology)
Distributed simulation of colored stochastic Petri nets with TimeNET 4.0
M. Knoke (Technische Universität Berlin),
A. Zimmermann, (Hasso Plattner Institute at Potsdam University)
Java modelling tools: an open source suite for queueing network modelling and workload analysis
M. Bertoli,
G. Casale,
G. Serazzi (Politecnico di Milano)
A PMIF semantic validation tool
D. García, C.M. Lladó,
R. Puigjaner (Universitat de les Illes Balears),
C.U. Smith (Performance Engineering Services)
Time Petri nets analysis with TINA
B. Berthomieu,
F. Vernadat (LAAS/CNRS, Toulouse)
Uppaal 4.0
G. Behrmann,
A. David,
K.G. Larsen (Aalborg University),
J. Håkansson,
P. Petterson,
W. Yi (Uppsala University),
M. Hendriks (Radboud University Nijmegen)
Analysis of real time systems through the ORIS tool
L. Sassoli,
E. Vicario (Università di Firenze)
APMC 3.0: approximate verification of discrete and continuous time Markov chains
T. Hérault (Université Paris XI),
R. Lassaigne (Université Paris VII),
S. Peyronnet (LRDE/EPITA)
LiQuor: a tool for qualitative and quantitative linear time analysis of reactive systems
F. Ciesinski,
C. Baier (Universität Bonn)
MathMC: A mathematica-based tool for CSL model checking of deterministic and stochastic Petri nets
J.M. Martínez,
B.R. Haverkort (University of Twente)
Traviando - debugging simulation traces with message sequence charts
P. Kemper,
C. Tepper (Universität Dortmund)
Data analysis and visualization within the Möbius modeling environment
T. Courtney,
S. Gaonkar,
M. Griffith,
V. Lam,
M. McQuinn,
E. Rozier,
W.H. Sanders (University of Illinois at Urbana-Champaign)
Integration of an MPS modeling approach into Möbius
A. Bondavalli,
S. Chiaradonna,
P. Lollini,
F. Squittieri (Università di Firenze) (presented by W.H. Sanders)
PACMAN: A PerformAnce Counters MANager for Intel hyperthreaded processors
M. Curtis-Maury,
C.D. Antonopoulos,
D.S. Nikolopoulos (The College of William and Mary)
Wednesday, September 13, 2006
Invited Talk 9:00am - 10:00am Chair: Gerardo Rubino
Staffing and scheduling optimization problems in telephone call centers
P. L'Ecuyer (IRISA-INRIA and Université de Montréal)
Session 2.1 Markov Decision Processes 10:00am - 10:50am Chair: Jeremy Sproston
Game-based abstraction for Markov decision processess
M. Kwiatkowska,
G. Norman,
D. Parker (University of Birmingham)
Compositional performability evaluation for STATEMATE
E. Böde (Kuratorium OFFIS e.V.),
M. Herbstritt (Albert-Ludwigs-University Freiburg),
H. Hermanns,
S. Johr (Saarland University),
T. Peikenkamp (Kuratorium OFFIS e.V.),
R. Pulungan (Saarland University),
R. Wimmer,
B. Becker (Albert-Ludwigs-University Freiburg)
COFFEE BREAK 10:50am - 11:10am
Session 2.2 Model Checking 11:10am - 12:25pm Chair: Sylvain Peyronnet
Compositional quantitative reasoning
K. Chatterjee (UC Berkeley),
L. de Alfaro (UC Santa Cruz),
M. Faella (Università di Napoli "Federico II"),
T.A. Henzinger (UC Berkeley and EPFL),
R. Majumdar (UCLA),
M. Stoelinga (University of Twente)
Model checking of continuous-time Markov chains by closed-form bounding distributions
M. Ben Mamoun (Université Mohammed V),
N. Pekergin (Université Paris I),
S. Younès (Université Versailles St. Quentin)
CSL model checking for generalized stochastic Petri nets
D. Cerotti,
S. Donatelli,
A. Horváth,
J. Sproston (Università di Torino)
LUNCH 12:25pm - 2:00pm
Session 2.3 Lumpability 2:00pm - 2:50pm Chair: Jane Hillston
Efficient lumpability check in partially symmetric systems
M. Beccuti, G. Franceschinis
(Università del Piemonte Orientale),
S. Baarir, J.-M. Ilié (Université Pierre et Marie Curie)
Lumping Markov chains with silent steps
J. Markovski, N. Trcka
(Technische Universiteit Eindhoven)
Session 2.4 Markov Models 2:50pm - 4:05pm Chair: David Jansen
Optimization of Markov models with evolutionary strategies based on exact and approximate analysis techniques
P. Buchholz,
P. Kemper (Universität Dortmund)
Bound preserving composition for Markov reward models
D. Daly (IBM T.J. Watson Research Center),
P. Buchholz (Universität Dortmund),
W.H. Sanders (University of Illinois at Urbana-Champaign)
Limiting behavior of Markov chains with eager attractors
P.A. Abdulla,
N. Ben Henda (Uppsala University),
R. Mayr (NC State University),
S. Sandberg (Uppsala University)
MISSION INN MUSEUM TOUR AND BANQUET
Thursday, September 14, 2006
Invited Talk 9:00am - 10:00am Chair: Andrew Miner
Challenges in modeling enterprise storage systems
A. Merchant (Hewlett-Packard Laboratories, Palo Alto, California)
Session 3.1 Optimization in Networks 10:00am - 10:50am Chair: Peter Kemper
Optimization of cache expiration dates in content networks
H. Cancela,
P. Rodríguez-Bocca (Universidad de la República, Uruguay)
Optimal static pricing of reverse-link DS-CDMA multiclass traffic
Y. Hayel (IRISA/INRIA Rennes), V.M. Ramos R.
(UAM-Iztapalapa),
B. Tuffin (IRISA/INRIA Rennes)
COFFEE BREAK 10:50am - 11:10am
Session 3.2 Reachability 11:10am - 12:25pm Chair: Gethin Norman
Strategy improvement for concurrent reachability games
K. Chatterjee (UC Berkeley),
L. de Alfaro (UC Santa Cruz),
T.A. Henzinger (UC Berkeley and EPFL)
Safe on-the-fly steady-state detection for time-bounded reachability
J.-P. Katoen (University of Twente and RWTH Aachen), I.S. Zapreev (University of Twente)
Probably on time and within budget: on reachability in priced probabilistic timed automata
J. Berendsen,
D.N. Jansen (University of Twente),
J.-P. Katoen (RWTH Aachen)
LUNCH 12:25pm - 2:00pm
Session 3.3 Queuing 2:00pm - 3:40pm Chair: Giuliana Franceschinis
A tool support for automatic analysis based on the tagged customer approach
L. Bodrog,
G. Horváth,
S. Rácz,
M. Telek (Technical University of Budapest)
On single-class load-dependent normalizing constant equations
G. Casale (Neptuny R&D)
Exploring correctness and accuracy of solutions to matrix polynomial equations in queues
D. Thornley,
H. Zatschler (Imperial College London)
Threshold workload control in the BMAP/G/1 queue
H.W. Lee,
J.W. Baek (Sungkyunkwan University) (Presented by Se
Won Lee)
COFFEE BREAK 3:40pm - 4:00pm
Session 3.4 Server Systems 4:00pm - 5:15pm Chair: Marco Gribaudo
Identifying low-profile web server's IP fingerprint
M. Xie,
K. Tabatabai,
H. Wang (The College of William and Mary)
The fast and the fair: a fault-injection-driven comparison of restart oracles for reliable web services
P. Reinecke (Humboldt-Universität zu Berlin),
A.P.A. van Moorsel (University of Newcastle upon Tyne),
K. Wolter (Humboldt-Universität zu Berlin)
Load balancing for performance differentiation in dual-priority clustered servers
N. Mi,
Q. Zhang (The College of William and Mary),
A. Riska (Seagate Research),
E. Smirni (The College of William and Mary)
Closing Session 5:15pm - 6:00pm
QEST business meeting