Message from the Chairs

Organizing Committees (PDF)

pp. xi-xi

Program Committee (PDF)

pp. xii-xii

Reviewers (PDF)

pp. xiii-xiii

Invited Session

Performance Analysis and Optimization in Customer Contact Centers (Abstract)

Ger Koole, Vrije Universiteit, The Netherlands

pp. 2-5

PDF

Session I: Case Studies

A Performance Evaluation Tool for RAID Disk Arrays (Abstract)

Alexander Thomasian, New Jersey Institute of Technology - NJIT, Newark, NJ

Chunqi Han, New Jersey Institute of Technology - NJIT, Newark, NJ

Gang Fu, New Jersey Institute of Technology - NJIT, Newark, NJ

Chang Liu, New Jersey Institute of Technology - NJIT, Newark, NJ

pp. 8-17

PDF

Comparing Passive and Active Worm Defenses (Abstract)

Michael Liljenstam, University of Illinois at Urbana-Champaign

David M. Nicol, University of Illinois at Urbana-Champaign

pp. 18-27

PDF

Synthesis and Stochastic Assessment of Schedules for Lacquer Production (Abstract)

H. C. Bohnenkamp, University of Twente, The Netherlands

H. Hermanns, University of Twente, The Netherlands; Saarland University, Germany

R. Klaren, University of Twente, The Netherlands

A. Mader, University of Twente, The Netherlands

Y. S. Usenko, University of Twente, The Netherlands

pp. 28-37

PDF

Performance Model Interchange Format (PMIF 2.0): XML Definition and Implementation (Abstract)

Connie U. Smith, Performance Engineering Services, Santa Fe, New Mexico

Catalina M. Llad?, Universitat Illes Balears, Spain

pp. 38-47

PDF

Session II: Time and Continuous Petri Nets

On Performance Bounds for Interval Time Petri Nets (Abstract)

Simona Bernardi, Universit? di Torino, Italy

Javier Campos, Universidad de Zaragoza, Spain

pp. 50-59

PDF

On Observability in Timed Continuous Petri Net Systems (Abstract)

Jorge J?lvez, Universidad de Zaragoza, Spain

Emilio Jim?nez, Universidad de La Rioja, Spain

Laura Recalde, Universidad de Zaragoza, Spain

Manuel Silva, Universidad de Zaragoza, Spain

pp. 60-69

PDF

ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems (Abstract)

G. Bucci, Universit? di Firenze, Italia

L. Sassoli, Universit? di Firenze, Italia

E. Vicario, Universit? di Firenze, Italia

pp. 70-79

PDF

Session III: Queueing Theory

Bit-Level and Packet-Level, or Pollaczec-Khintchine Formulae Revisited (Abstract)

Jos? Incera, ITAM, M?xico

Gerardo Rubino, IRISA/INRIA Rennes, France

pp. 82-89

PDF

Sojourn Time Distributions in Modulated G-Queues with Batch Processing (Abstract)

Peter G. Harrison, Imperial College London

Harf Zatschler, Imperial College London

pp. 90-99

PDF

ETAQA Truncation Models for the MAP/MAP/1 Departure Process (Abstract)

Armin Heindl, University Erlangen-Nuremberg, Germany

Qi Zhang, College of William and Mary, VA

Evgenia Smirni, College of William and Mary, VA

pp. 100-109

PDF

A New Approach for the Prediction of End-to-End Performance of Multimedia Streams (Abstract)

Gerardo Rubino, INRIA / Rennes, France

Mart?n Varela Irisa, INRIA / Rennes, France

pp. 110-119

PDF

Emerging Internet-Based Services: New Frontiers for Performance Models and Applications (PDF)

Michele Colajanni, University of Modena and Reggio Emilia, Italy

pp. 122-123

Session IV: Analysis, Simulation, and Synthesis of Markov Chains

Approximate Computation of Transient Results for Large Markov Chains (Abstract)

Peter Buchholz, Universit?t Dortmund, Germany

William H. Sanders, University of Illinois at Urbana-Champaign

pp. 126-135

PDF

A Structured Path-Based Approach for Computing Transient Rewards of Large CTMCs (Abstract)

Vinh V. Lam, University of Illinois at Urbana-Champaign

Peter Buchholz, Universit?t Dortmund, Germany

William H. Sanders, University of Illinois at Urbana-Champaign

pp. 136-145

PDF

Learning Continuous Time Markov Chains from Sample Executions (Abstract)

Koushik Sen, University of Illinois at Urbana Champaign

Mahesh Viswanathan, University of Illinois at Urbana Champaign

Gul Agha, University of Illinois at Urbana Champaign

pp. 146-155

PDF

On Numerical Problems in Simulations of Highly Reliable Markovian Systems (Abstract)

Bruno Tuffin, IRISA/INRIA, France

pp. 156-164

PDF

Evaluation of Reward Analysis Methods with MRMSolve 2.0 (Abstract)

G?bor Horv?th, Technical University of Budapest, Hungary

S?ndor R?cz, Technical University of Budapest, Hungary

?rp? Tari, Technical University of Budapest, Hungary

Mikl? Telek, Technical University of Budapest, Hungary

pp. 165-174

PDF

Session V: Scheduling and Optimization

Adaptive Disk Scheduling for Overload Management (Abstract)

Alma Riska, Seagate Research, Pittsburgh, PA

Erik Riedel, Seagate Research, Pittsburgh, PA

Sami Iren, Seagate Research, Pittsburgh, PA

pp. 176-185

PDF

Improving the Performance of Online Auction Sites through Closing Time Rescheduling (Abstract)

Daniel A. Menasc?, George Mason University, Fairfax, VA

Vasudeva Akula, George Mason University, Fairfax, VA

pp. 186-194

PDF

Analysis and Algorithms for Restart (Abstract)

Aad P. A. van Moorsel, University of Newcastle, UK

Katinka Wolter, Humboldt-Universit?t Berlin, Germany

pp. 195-204

PDF

Trading Memory for Randomness (Abstract)

Krishnendu Chatterjee, University of California, Berkeley

Luca de Alfaro, University of California, Santa Cruz

Thomas A. Henzinger, University of California, Berkeley; EPFL, Switzerland

pp. 206-217

PDF

Session VI: Model Checking

Backward Stochastic Bisimulation in CSL Model Checking (Abstract)

Jeremy Sproston, Universit? di Torino, Italy

Susanna Donatelli, Universit? di Torino, Italy

pp. 220-229

PDF

Partial Order Reduction for Probabilistic Systems (Abstract)

Christel Baier, Universit?t Bonn, Germany

Marcus Gr??er, Universit?t Bonn, Germany

Frank Ciesinski, Universit?t Bonn, Germany

pp. 230-239

PDF

Partial Order Reduction on Concurrent Probabilistic Programs (Abstract)

Pedro R. D'Argenio, Universit? de Provence, France

Peter Niebert, Universit? de Provence, France

pp. 240-249

PDF

Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains? (Abstract)

David N. Jansen, Max-Planck-Institut f?r Informatik, Saarbr?cken, Germany

Holger Hermanns, Universit?t des Saarlandes, Saarbr?cken, Germany

pp. 250-259

PDF

Session VII: Symbolic Techniques

Improving Efficiency of Implicit Markov Chain State Classification (Abstract)

Andrew S. Miner, Iowa State University

Shuxing Cheng, Iowa State University

pp. 262-271

PDF

Saturation NOW (Abstract)

Ming-Ying Chung, University of California, Riverside

Gianfranco Ciardo, University of California, Riverside

pp. 272-281

PDF

Saturation for a General Class of Models (Abstract)

Andrew S. Miner, Iowa State University, Ames

pp. 282-291

PDF

Session VIII: Semantics

Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes (Abstract)

Augusto Parma, Universit? di Verona

Roberto Segala, Universit? di Verona

pp. 294-303

PDF

Approximate Reasoning for Real-Time Probabilistic Processes (Abstract)

Vineet Gupta, Google Inc.

Radha Jagadeesan, DePaul University

Prakash Panangaden, McGill University

pp. 304-313

PDF

Tool Papers

D-ITG Distributed Internet Traffic Generator (PDF)

S. Avallone, Universit? di Napoli Federico II, Italy

S. Guadagno, Universit? di Napoli Federico II, Italy

D. Emma, Universit? di Napoli Federico II, Italy

A. Pescap?, Universit? di Napoli Federico II, Italy

G. Ventre, Universit? di Napoli Federico II, Italy

pp. 316-317

Visualization of Analysis Results in the ProC/B Toolset (PDF)

M. Arns, Universit?t Dortmund, Germany

M. Fischer, Universit?t Dortmund, Germany

C. Tepper, Universit?t Dortmund, Germany

M. V?lker, Universit?t Dortmund, Germany

pp. 318-319

Performance Analysis with BenchIT: Portable, Flexible, Easy to Use (PDF)

Guido Juckeland, Technical University Dresden, Germany

Michael Kluge, Technical University Dresden, Germany

Wolfgang E. Nagel, Technical University Dresden, Germany

Stefan Pfl?, Technical University Dresden, Germany

pp. 320-321

PRISM 2.0: A Tool for Probabilistic Model Checking (PDF)

Marta Kwiatkowska, University of Birmingham, UK

Gethin Norman, University of Birmingham, UK

David Parker, University of Birmingham, UK

pp. 322-323

Extended SWN Solvers in GreatSPN (PDF)

J. M. Ili?, Paris 6 University, Paris, France

S. Baarir, Paris 6 University, Paris, France

M. Beccuti, Universit? del Piemonte Orientale, Alessandria, Italy

C. Delamare, Universit? de Reims Champagne-Ardenne Reims, France

S. Donatelli, Universit? di Torino, Italy

C. Dutheillet, Paris 6 University, Paris, France

G. Franceschinis, Universit? del Piemonte Orientale, Alessandria, Italy

R. Gaeta, Universit? di Torino, Italy

P. Moreaux, Universit? de Reims Champagne-Ardenne Reims, France

pp. 324-325

Modeling and Evaluation with Object Stochastic Activity Networks (PDF)

Mohammad Abdollahi Azgomi, Sharif University of Technology, Tehran, Iran

Ali Movaghar, Sharif University of Technology, Tehran, Iran

pp. 326-327

The M?bius Modeling Environment: Recent Developments (PDF)

Tod Courtney, University of Illinois at Urbana-Champaign

David Daly, University of Illinois at Urbana-Champaign

Salem Derisavi, University of Illinois at Urbana-Champaign

Shravan Gaonkar, University of Illinois at Urbana-Champaign

Mark Griffith, University of Illinois at Urbana-Champaign

Vinh Lam, University of Illinois at Urbana-Champaign

William H. Sanders, University of Illinois at Urbana-Champaign

pp. 328-329

TSMV: A Symbolic Model Checker for Quantitative Analysis of Systems (PDF)

Nicolas Markey, Universit? Libre de Bruxelles, Belgium

Philippe Schnoebelen, CNRS UMR, France

pp. 330-331

WALTy: A tool for Evaluating Web Application Performance (PDF)

G. Ruffo, Universit? degli Studi di Torino

R. Schifanella, Universit? degli Studi di Torino

M. Sereno, Universit? degli Studi di Torino

R. Politi, CSP Sc.a.r.l. c/o Villa Gualino

pp. 332-333

The ipc/HYDRA Tool Chain for the Analysis of PEPA Models (PDF)

Jeremy T. Bradley, Imperial College London, UK

William J. Knottenbelt, Imperial College London, UK

pp. 334-335

TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation (PDF)

Alessandro Aldini, Universit? di Urbino "Carlo Bo", Italy

Marco Bernardo, Universit? di Urbino "Carlo Bo", Italy

pp. 336-337

SMART: The Stochastic Model checking Analyzer for Reliability and Timing (PDF)

Gianfranco Ciardo, University of California, Riverside

Andrew S. Miner, Iowa State University

pp. 338-339

UML-PSI: The UML Performance Simulator (PDF)

Moreno Marzolla, Universit? Ca' Foscari di Venezia, Italy

Simonetta Balsamo, Universit? Ca' Foscari di Venezia, Italy

pp. 340-341

XPRIT: An XML-Based Tool to Translate UML Diagrams into Execution Graphs and Queueing Networks (PDF)

Vittorio Cortellessa, Universita' dell'Aquila, Italy

Michele Gentile, Universita' dell'Aquila, Italy

Marco Pizzuti, Universita' dell'Aquila, Italy

pp. 342-343

Author Index (PDF)

pp. 344-345