The Community for Technology Leaders
Quantitative Evaluation of Systems, International Conference on (2004)
Enschede, the Netherlands
Sept. 27, 2004 to Sept. 30, 2004
ISBN: 0-7695-2185-1
TABLE OF CONTENTS

Reviewers (PDF)

pp. xiii
Invited Session

Performance Analysis and Optimization in Customer Contact Centers (Abstract)

Ger Koole , Vrije Universiteit, The Netherlands
pp. 2-5
Session I: Case Studies

A Performance Evaluation Tool for RAID Disk Arrays (Abstract)

Gang Fu , New Jersey Institute of Technology - NJIT, Newark, NJ
Alexander Thomasian , New Jersey Institute of Technology - NJIT, Newark, NJ
Chunqi Han , New Jersey Institute of Technology - NJIT, Newark, NJ
Chang Liu , New Jersey Institute of Technology - NJIT, Newark, NJ
pp. 8-17

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

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

A. Mader , University of Twente, The Netherlands
Y. S. Usenko , University of Twente, The Netherlands
R. Klaren , University of Twente, The Netherlands
H. C. Bohnenkamp , University of Twente, The Netherlands
H. Hermanns , University of Twente, The Netherlands; Saarland University, Germany
pp. 28-37

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

Catalina M. Llad? , Universitat Illes Balears, Spain
Connie U. Smith , Performance Engineering Services, Santa Fe, New Mexico
pp. 38-47
Session II: Time and Continuous Petri Nets

On Performance Bounds for Interval Time Petri Nets (Abstract)

Javier Campos , Universidad de Zaragoza, Spain
Simona Bernardi , Universit? di Torino, Italy
pp. 50-59

On Observability in Timed Continuous Petri Net Systems (Abstract)

Emilio Jim?nez , Universidad de La Rioja, Spain
Manuel Silva , Universidad de Zaragoza, Spain
Laura Recalde , Universidad de Zaragoza, Spain
Jorge J?lvez , Universidad de Zaragoza, Spain
pp. 60-69

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

E. Vicario , Universit? di Firenze, Italia
L. Sassoli , Universit? di Firenze, Italia
G. Bucci , Universit? di Firenze, Italia
pp. 70-79
Session III: Queueing Theory

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

Gerardo Rubino , IRISA/INRIA Rennes, France
Jos? Incera , ITAM, M?xico
pp. 82-89

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

Harf Zatschler , Imperial College London
Peter G. Harrison , Imperial College London
pp. 90-99

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

Evgenia Smirni , College of William and Mary, VA
Armin Heindl , University Erlangen-Nuremberg, Germany
Qi Zhang , College of William and Mary, VA
pp. 100-109
Invited Session
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

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

Vinh V. Lam , University of Illinois at Urbana-Champaign
William H. Sanders , University of Illinois at Urbana-Champaign
Peter Buchholz , Universit?t Dortmund, Germany
pp. 136-145

Learning Continuous Time Markov Chains from Sample Executions (Abstract)

Gul Agha , University of Illinois at Urbana Champaign
Koushik Sen , University of Illinois at Urbana Champaign
Mahesh Viswanathan , University of Illinois at Urbana Champaign
pp. 146-155

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
Mikl? Telek , Technical University of Budapest, Hungary
?rp? Tari , Technical University of Budapest, Hungary
pp. 165-174
Session V: Scheduling and Optimization

Adaptive Disk Scheduling for Overload Management (Abstract)

Alma Riska , Seagate Research, Pittsburgh, PA
Sami Iren , Seagate Research, Pittsburgh, PA
Erik Riedel , Seagate Research, Pittsburgh, PA
pp. 176-185

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

Vasudeva Akula , George Mason University, Fairfax, VA
Daniel A. Menasc? , George Mason University, Fairfax, VA
pp. 186-194

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
Invited Session

Trading Memory for Randomness (Abstract)

Thomas A. Henzinger , University of California, Berkeley; EPFL, Switzerland
Krishnendu Chatterjee , University of California, Berkeley
Luca de Alfaro , University of California, Santa Cruz
pp. 206-217
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

Partial Order Reduction for Probabilistic Systems (Abstract)

Frank Ciesinski , Universit?t Bonn, Germany
Marcus Gr??er , Universit?t Bonn, Germany
Christel Baier , Universit?t Bonn, Germany
pp. 230-239

Partial Order Reduction on Concurrent Probabilistic Programs (Abstract)

Peter Niebert , Universit? de Provence, France
Pedro R. D'Argenio , Universit? de Provence, France
pp. 240-249

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

Holger Hermanns , Universit?t des Saarlandes, Saarbr?cken, Germany
David N. Jansen , Max-Planck-Institut f?r Informatik, Saarbr?cken, Germany
pp. 250-259
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

Saturation NOW (Abstract)

Ming-Ying Chung , University of California, Riverside
Gianfranco Ciardo , University of California, Riverside
pp. 272-281

Saturation for a General Class of Models (Abstract)

Andrew S. Miner , Iowa State University, Ames
pp. 282-291
Session VIII: Semantics

Approximate Reasoning for Real-Time Probabilistic Processes (Abstract)

Prakash Panangaden , McGill University
Vineet Gupta , Google Inc.
Radha Jagadeesan , DePaul University
pp. 304-313
Tool Papers

D-ITG Distributed Internet Traffic Generator (PDF)

A. Pescap? , Universit? di Napoli Federico II, Italy
S. Guadagno , Universit? di Napoli Federico II, Italy
G. Ventre , Universit? di Napoli Federico II, Italy
S. Avallone , Universit? di Napoli Federico II, Italy
D. Emma , Universit? di Napoli Federico II, Italy
pp. 316-317

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

M. Fischer , Universit?t Dortmund, Germany
C. Tepper , Universit?t Dortmund, Germany
M. Arns , Universit?t Dortmund, Germany
M. V?lker , Universit?t Dortmund, Germany
pp. 318-319

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

Wolfgang E. Nagel , Technical University Dresden, Germany
Stefan Pfl? , Technical University Dresden, Germany
Guido Juckeland , Technical University Dresden, Germany
Michael Kluge , Technical University Dresden, Germany
pp. 320-321

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

Gethin Norman , University of Birmingham, UK
Marta Kwiatkowska , University of Birmingham, UK
David Parker , University of Birmingham, UK
pp. 322-323

Extended SWN Solvers in GreatSPN (PDF)

C. Dutheillet , Paris 6 University, Paris, France
P. Moreaux , Universit? de Reims Champagne-Ardenne Reims, France
M. Beccuti , Universit? del Piemonte Orientale, Alessandria, Italy
G. Franceschinis , Universit? del Piemonte Orientale, Alessandria, Italy
S. Donatelli , Universit? di Torino, Italy
R. Gaeta , Universit? di Torino, Italy
C. Delamare , Universit? de Reims Champagne-Ardenne Reims, France
S. Baarir , Paris 6 University, Paris, France
J. M. Ili? , Paris 6 University, Paris, 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)

Vinh Lam , University of Illinois at Urbana-Champaign
David Daly , University of Illinois at Urbana-Champaign
William H. Sanders , University of Illinois at Urbana-Champaign
Salem Derisavi , University of Illinois at Urbana-Champaign
Tod Courtney , University of Illinois at Urbana-Champaign
Mark Griffith , University of Illinois at Urbana-Champaign
Shravan Gaonkar , 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)

M. Sereno , Universit? degli Studi di Torino
G. Ruffo , Universit? degli Studi di Torino
R. Politi , CSP Sc.a.r.l. c/o Villa Gualino
R. Schifanella , Universit? degli Studi di Torino
pp. 332-333

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

William J. Knottenbelt , Imperial College London, UK
Jeremy T. Bradley , 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)

Simonetta Balsamo , Universit? Ca' Foscari di Venezia, Italy
Moreno Marzolla , 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)

Marco Pizzuti , Universita' dell'Aquila, Italy
Vittorio Cortellessa , Universita' dell'Aquila, Italy
Michele Gentile , Universita' dell'Aquila, Italy
pp. 342-343

Author Index (PDF)

pp. 344-345
112 ms
(Ver )