The Community for Technology Leaders
Quantitative Evaluation of Systems, International Conference on (2007)
Edinburgh, Scotland, UK
Sept. 17, 2007 to Sept. 19, 2007
ISBN: 0-7695-2883-X
TABLE OF CONTENTS
Introduction

Reviewers (PDF)

pp. xiv
Invited Talk

A Generic Mean Field Convergence Result for Systems of Interacting Objects (Abstract)

David McDonald , University of Ottawa, Canada
Jochen Mundinger , EPFL, I&C, Switzerland
Jean-Yves Le Boudec , EPFL, I&C, Switzerland
pp. 3-18
Session 1: Networking

A Petri Net Model for Evaluating Packet Buffering Strategies in a Network Processor (Abstract)

Girish B.C. , Indian Institute of Science, India
R. Govindarajan , Indian Institute of Science, India
pp. 19-30
Session 2: Specification Formalisms

CSL^TA: an Expressive Logic for Continuous-Time Markov Chains (Abstract)

Jeremy Sproston , Universita di Torino, Italy
Susanna Donatelli , Universita di Torino, Italy
Serge Haddad , Universite Paris-Dauphine, France
pp. 31-40

Performance Trees: Expressiveness and Quantitative Semantics (Abstract)

Jeremy T. Bradley , Imperial College London, UK
Tamas Suto , Imperial College London, UK
William J. Knottenbelt , Imperial College London, UK
pp. 41-50

Cluster Grid based Response-time analysis module for the PIPE Tool (PDF)

Ashok Argent-Katwala , Imperial College London, UK
William Knottenbelt , Imperial College London, UK
Harini Kulatunga , Imperial College London, UK
pp. 51-52

The PEPA Plug-in Project (PDF)

Mirco Tribastone , The University of Edinburgh, UK
pp. 53-54

The ipclib PEPA Library (PDF)

Allan Clark , University of Edinburgh, UK
pp. 55-56
Session 3: Performance Analysis

Simultaneous Transient Analysis of QBD Markov Chains for all Initial Configurations using a Level Based Recursion (Abstract)

C. Blondia , University of Antwerp, Belgium
J. Van Velthoven , University of Antwerp, Belgium
B. Van Houdt , University of Antwerp, Belgium
pp. 79-90
Session 4: Automated Model Analysis

Interchange Formats for Performance Models: Experimentation and Ouput (Abstract)

Lloyd G. Williams , PerX, USA
Ramon Puigjaner , Universitat de les Illes Balears, Spain
Catalina M. Llado , Universitat de les Illes Balears, Spain
Connie U. Smith , Performance Engineering Services, USA
pp. 91-100

Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior (Abstract)

Peter Kemper , College of William and Mary, USA
Carsten Tepper , Universitat Dortmund, Germany
pp. 101-110

Quantile Estimation for Performance Measures in Network Simulations with CINSim (PDF)

Dietmar Tutsch , Technische Universitat Berlin, Germany
Daniel Ludtke , Technische Universitat Berlin, Germany
Matthias Kuhm , Technische Universitat Berlin, Germany
pp. 111-112

Psi^2 a Software Tool for the Perfect Simulation of Finite Queueing Networks (PDF)

Jerome Vienne , LIG Laboratory, Mescal Projet, France
Jean-Marc Vincent , LIG Laboratory, Mescal Projet, France
pp. 113-114

GRIP: Generic Representatives in PRISM (PDF)

Alastair F. Donaldson , Codeplay Software Ltd., UK
David Parker , Oxford University, UK
Alice Miller , University of Glasgow, UK
pp. 115-116

Invited Talk (PDF)

pp. null
Session 5: Model Checking

Probabilistic Model-Checking Support for FMEA (Abstract)

Lars Grunske , University of Queensland, Australia
Kirsten Winter , University of Queensland, Australia
Robert Colvin , University of Queensland, Australia
pp. 119-128

Probabilistic Model Checking Modulo Theories (Abstract)

Bjorn Wachter , Saarland University, Germany
Lijun Zhang , Saarland University, Germany
Holger Hermanns , Saarland University, Germany
pp. 129-140
Session 6: Symbolic Analysis of Markov Chains

Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations (Abstract)

William H. Sanders , University of Illinois at Urbana-Champaign, USA
Michael G. McQuinn , University of Illinois at Urbana-Champaign, USA
pp. 151-160

Design of Experiments within the Mobius Modeling Environment (PDF)

Eric Rozier , University of Illinois at Urbana-Champaign, USA
Michael G. McQuinn , University of Illinois at Urbana-Champaign, USA
Shravan Gaonkar , University of Illinois at Urbana-Champaign, USA
William H. Sanders , University of Illinois at Urbana-Champaign, USA
Tod Courtney , University of Illinois at Urbana-Champaign, USA
Patrick Webster , University of Illinois at Urbana-Champaign, USA
pp. 161-162

PEPS2007 - Stochastic Automata Networks Software Tool (PDF)

Brigitte Plateau , LIG-ENSIMAG-ZIRST
Paulo Fernandes , PUCRS, Brazil
Leonardo Brenner , LIG-ENSIMAG-ZIRST
Ihab Sbeity , LIG-ENSIMAG-ZIRST
pp. 163-164

A framework to design and solve Markov Decision Well-formed Net models (PDF)

G. Franceschinis , Univ. del Piemonte Orientale, Italy
D. Codetta-Raiteri , Univ. del Piemonte Orientale, Italy
M. Beccuti , Univ. del Piemonte Orientale, Italy
Serge Haddad , Univ. de Paris Dauphine, France
pp. 165-166
Session 7: Process Algebra

Model checking the probabilistic pi-calculus (Abstract)

Peng Wu , CNRS and LIX, Ecole Polytechnique, France
Catuscia Palamidessi , INRIA Futurs and LIX, Ecole Polytechnique, France
Gethin Norman , Oxford University, England
David Parker , Oxford University, England
pp. 169-178

Symbolic Bisimulations for Probabilistic Systems (Abstract)

Peng Wu , CNRS and LIX, Ecole Polytechnqiue, France
Huimin Lin , Chinese Academy of Sciences, China
Catuscia Palamidessi , INRIA Futurs and LIX, Ecole Polytechnique, France
pp. 179-188

Basic Observables for Probabilistic May Testing (Abstract)

Mieke Massink , CNR-ISTI, Italy
Rocco De Nicola , Universita di Firenze, Italy
Maria Carla Palmeri , Universita di Firenze, Italy
pp. 189-200
Session 8: Performance Models

Performance Modeling of a Quorum Pattern in Layered Service Systems (Abstract)

Murray Woodside , Carleton University, Canada
Tariq Omari , Carleton University, Canada
Greg Franks , Carleton University, Canada
Salem Derisavi , Carleton University, Canada
pp. 201-210

CUT : Combining stochastic ordering and censoring to bound steady-state rewards and first passage time (PDF)

Nihal Pekergin , Universite Paris 1, France; Universite Versailles St Quentin, France
Sana Younes , Universite Versailles St Quentin, France
Jean-Michel Fourneau , INRIA project MESCAL, France; Universite Versailles St Quentin, France
pp. 211-212

Distritrack: Automated Average-Case Analysis (PDF)

David Hickey , National University of Ireland, Cork, Ireland
pp. 213-214

ProbDiVinE: A Parallel Qualitative LTL Model Checker (PDF)

Lubos Brim , Masaryk University, Czech Republic
Jiri Barnat , Masaryk University, Czech Republic
Milan Ceska , Masaryk University, Czech Republic
Ivana Cema , Masaryk University, Czech Republic
Jana Tumova , Masaryk University, Czech Republic
pp. 215-216

Invited Talk: A Process Algebra Master Equation (Abstract)

Luca Cardelli , Microsoft Research
pp. 219-226
Session 9: Stochastic Logic

Stochastic Game Logic (Abstract)

Christel Baier , Technische Universitat Dresden, Germany
Tomas Brazdil , Masaryk University, Czech Republic
Marcus Gr??er , Technische Universitat Dresden, Germany
Antonin Kucera , Masaryk University, Czech Republic
pp. 227-236

Qualitative Logics and Equivalences for Probabilistic Systems (Abstract)

Axel Legay , University of Liege, Belgium
Krishnendu Chatterjee , University of California, Berkeley, USA
Luca de Alfaro , University of California, Santa Cruz, USA
Marco Faella , Universita di Napoli "Federico II", Italy
pp. 237-248
Session 10: System Modelling

A business-oriented load dispatching framework for online auction sites (Abstract)

Vasudeva Akula , George Mason University, USA
Daniel A. Menasce , George Mason University, USA
pp. 249-258

Analysis of Local Address Scanning by Puppetnets (Abstract)

David M. Nicol , University of Illinois at Urbana-Champaign, USA
pp. 259-268

A Performance Analysis Tool for Scenario-Aware Streaming Applications (PDF)

B.D. Theelen , Eindhoven University of Technology, The Netherlands
pp. 269-270

PARTES: Performance Analysis of Real-Time Embedded Systems (PDF)

Andrew Ireland , Heriot-Watt University, Scotland
Peter King , Heriot-Watt University, Scotland
Benjamin Gorry , Heriot-Watt University, Scotland
pp. 271-272

A Productivity Centered Tools Framework for Application Performance Tuning (PDF)

S. Sbaraglia , IBM T.J. Watson Research Center, USA
I. Chung , IBM T.J. Watson Research Center, USA
G. Cong , IBM T.J. Watson Research Center, USA
S. Seelam , IBM T.J. Watson Research Center, USA
H. Wen , IBM T.J. Watson Research Center, USA
D. Klepacki , IBM T.J. Watson Research Center, USA
pp. 273-274
Session 11: Performance Analysis 2

Sample Path Analysis of Busy Periods and Related First Passages of a Correlated MEP/MEP/1 System (Abstract)

Appie van de Liefvoort , University of Missouri-Kansas City, USA
Kenneth Mitchell , University of Missouri-Kansas City, USA
Chaitanya Garikiparthi , University of Missouri-Kansas City, USA
pp. 277-286

Closed G-networks with Resets: product form solution (Abstract)

Jean-Michel Foumeau , Universite de Versailles Saint-Quentin, France; Projet MESCAL INRIA, France
pp. 287-296
Author Index

Author Index (PDF)

pp. 297
101 ms
(Ver 3.1 (10032016))