QEST 2006 Program


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)



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  « The Best Paper Award Winner »
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)



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

Web Maintenance Person