QEST 2004: Enschede, The Netherlands

1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands. IEEE Computer Society 2004, ISBN 0-7695-2185-1 BibTeX

Invited Session

Ger Koole:
Performance Analysis and Optimization in Customer Contact Centers. 2-5
Electronic Edition (link) BibTeX

Session I: Case Studies

Alexander Thomasian, Chunqi Han, Gang Fu, Chang Liu:
A Performance Evaluation Tool for RAID Disk Arrays. 8-17
Electronic Edition (link) BibTeX
Michael Liljenstam, David M. Nicol:
Comparing Passive and Active Worm Defenses. 18-27
Electronic Edition (link) BibTeX
Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko:
Synthesis and Stochastic Assessment of Schedules for Lacquer Production. 28-37
Electronic Edition (link) BibTeX
Connie U. Smith, Catalina M. Lladó:
Performance Model Interchange Format (PMIF 2.0): XML Definition and Implementation. 38-47
Electronic Edition (link) BibTeX

Session II: Time and Continuous Petri Nets

Simona Bernardi, Javier Campos:
On Performance Bounds for Interval Time Petri Nets. 50-59
Electronic Edition (link) BibTeX
Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva:
On Observability in Timed Continuous Petri Net Systems. 60-69
Electronic Edition (link) BibTeX
Giacomo Bucci, Luigi Sassoli, Enrico Vicario:
ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems. 70-79
Electronic Edition (link) BibTeX

Session III: Queueing Theory

José Incera, Gerardo Rubino:
Bit-Level and Packet-Level, or Pollaczec-Khintchine Formulae Revisited. 82-89
Electronic Edition (link) BibTeX
Peter G. Harrison, Harf Zatschler:
Sojourn Time Distributions in Modulated G-Queues with Batch Processing. 90-99
Electronic Edition (link) BibTeX
Armin Heindl, Qi Zhang, Evgenia Smirni:
ETAQA Truncation Models for the MAP/MAP/1 Departure Process. 100-109
Electronic Edition (link) BibTeX
Gerardo Rubino, Martín Varela Irisa:
A New Approach for the Prediction of End-to-End Performance of Multimedia Streams. 110-119
Electronic Edition (link) BibTeX

Invited Session

Michele Colajanni:
Emerging Internet-Based Services: New Frontiers for Performance Models and Applications. 122-123
Electronic Edition (link) BibTeX

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

Peter Buchholz, William H. Sanders:
Approximate Computation of Transient Results for Large Markov Chains. 126-135
Electronic Edition (link) BibTeX
Vinh Vi Lam, Peter Buchholz, William H. Sanders:
A Structured Path-Based Approach for Computing Transient Rewards of Large CTMCs. 136-145
Electronic Edition (link) BibTeX
Koushik Sen, Mahesh Viswanathan, Gul Agha:
Learning Continuous Time Markov Chains from Sample Executions. 146-155
Electronic Edition (link) BibTeX
Bruno Tuffin:
On Numerical Problems in Simulations of Highly Reliable Markovian Systems. 156-164
Electronic Edition (link) BibTeX
Gábor Horváth, Sándor Rácz, Árpád Tari, Miklós Telek:
Evaluation of Reward Analysis Methods with MRMSolve 2.0. 165-174
Electronic Edition (link) BibTeX

Session V: Scheduling and Optimization

Alma Riska, Erik Riedel, Sami Iren:
Adaptive Disk Scheduling for Overload Management. 176-185
Electronic Edition (link) BibTeX
Daniel A. Menascé, Vasudeva Akula:
Improving the Performance of Online Auction Sites through Closing Time Rescheduling. 186-194
Electronic Edition (link) BibTeX
Aad P. A. van Moorsel, Katinka Wolter:
Analysis and Algorithms for Restart. 195-204
Electronic Edition (link) BibTeX

Invited Session

Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Trading Memory for Randomness. 206-217
Electronic Edition (link) BibTeX

Session VI: Model Checking

Jeremy Sproston, Susanna Donatelli:
Backward Stochastic Bisimulation in CSL Model Checking. 220-229
Electronic Edition (link) BibTeX
Christel Baier, Marcus Größer, Frank Ciesinski:
Partial Order Reduction for Probabilistic Systems. 230-239
Electronic Edition (link) BibTeX
Pedro R. D'Argenio, Peter Niebert:
Partial Order Reduction on Concurrent Probabilistic Programs. 240-249
Electronic Edition (link) BibTeX
David N. Jansen, Holger Hermanns:
Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains? 250-259
Electronic Edition (link) BibTeX

Session VII: Symbolic Techniques

Andrew S. Miner, Shuxing Cheng:
Improving Efficiency of Implicit Markov Chain State Classification. 262-271
Electronic Edition (link) BibTeX
Ming-Ying Chung, Gianfranco Ciardo:
Saturation NOW. 272-281
Electronic Edition (link) BibTeX
Andrew S. Miner:
Saturation for a General Class of Models. 282-291
Electronic Edition (link) BibTeX

Session VIII: Semantics

Augusto Parma, Roberto Segala:
Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes. 294-303
Electronic Edition (link) BibTeX
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Approximate Reasoning for Real-Time Probabilistic Processes. 304-313
Electronic Edition (link) BibTeX

Tool Papers

Stefano Avallone, S. Guadagno, Donato Emma, Antonio Pescapè, Giorgio Ventre:
D-ITG Distributed Internet Traffic Generator. 316-317
Electronic Edition (link) BibTeX
M. Arns, Markus Fischer, Carsten Tepper, Markus Völker:
Visualization of Analysis Results in the ProC/B Toolset. 318-319
Electronic Edition (link) BibTeX
Guido Juckeland, Michael Kluge, Wolfgang E. Nagel, Stefan Pflüger:
Performance Analysis with BenchIT: Portable, Flexible, Easy to Use. 320-321
Electronic Edition (link) BibTeX
Marta Z. Kwiatkowska, Gethin Norman, David Parker:
PRISM 2.0: A Tool for Probabilistic Model Checking. 322-323
Electronic Edition (link) BibTeX
Jean-Michel Ilié, Souheib Baarir, Marco Beccuti, C. Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux:
Extended SWN Solvers in GreatSPN. 324-325
Electronic Edition (link) BibTeX
Mohammad Abdollahi Azgomi, Ali Movaghar-Rahimabadi:
Modeling and Evaluation with Object Stochastic Activity Networks. 326-327
Electronic Edition (link) BibTeX
Tod Courtney, David Daly, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, William H. Sanders:
The Möbius Modeling Environment: Recent Developments. 328-329
Electronic Edition (link) BibTeX
Nicolas Markey, Ph. Schnoebelen:
TSMV: A Symbolic Model Checker for Quantitative Analysis of Systems. 330-331
Electronic Edition (link) BibTeX
Giancarlo Ruffo, Rossano Schifanella, Matteo Sereno, Roberto Politi:
WALTy: A tool for Evaluating Web Application Performance. 332-333
Electronic Edition (link) BibTeX
Jeremy T. Bradley, William J. Knottenbelt:
The ipc/HYDRA Tool Chain for the Analysis of PEPA Models. 334-335
Electronic Edition (link) BibTeX
Alessandro Aldini, Marco Bernardo:
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation. 336-337
Electronic Edition (link) BibTeX
Gianfranco Ciardo, Andrew S. Miner:
SMART: The Stochastic Model checking Analyzer for Reliability and Timing. 338-339
Electronic Edition (link) BibTeX
Moreno Marzolla, Simonetta Balsamo:
UML-PSI: The UML Performance Simulator. 340-341
Electronic Edition (link) BibTeX
Vittorio Cortellessa, Michele Gentile, Marco Pizzuti:
XPRIT: An XML-Based Tool to Translate UML Diagrams into Execution Graphs and Queueing Networks. 342-343
Electronic Edition (link) BibTeX