QEST 2007: Edinburgh, Scotland, UK

Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK. IEEE Computer Society 2007, ISBN 0-7695-2883-X BibTeX

Invited Talk

Jean-Yves Le Boudec, David McDonald, Jochen Mundinger:
A Generic Mean Field Convergence Result for Systems of Interacting Objects. 3-18
Electronic Edition (link) BibTeX

Networking

Girish B. C., R. Govindarajan:
A Petri Net Model for Evaluating Packet Buffering Strategies in a Network Processor. 19-30
Electronic Edition (link) BibTeX

Specification Formalisms

Susanna Donatelli, Serge Haddad, Jeremy Sproston:
CSL^TA: an Expressive Logic for Continuous-Time Markov Chains. 31-40
Electronic Edition (link) BibTeX
Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt:
Performance Trees: Expressiveness and Quantitative Semantics. 41-50
Electronic Edition (link) BibTeX
Harini Kulatunga, Ashok Argent-Katwala, William J. Knottenbelt:
Cluster Grid based Response-time analysis module for the PIPE Tool. 51-52
Electronic Edition (link) BibTeX
Mirco Tribastone:
The PEPA Plug-in Project. 53-54
Electronic Edition (link) BibTeX
Allan Clark:
The ipclib PEPA Library. 55-56
Electronic Edition (link) BibTeX

Performance Analysis

Luigi Sassoli, Enrico Vicario:
Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models. 59-68
Electronic Edition (link) BibTeX
Takayuki Osogami:
Relations in the Central Limit Theorem Version of the Response Time Law. 69-78
Electronic Edition (link) BibTeX
Jeroen Van Velthoven, Benny Van Houdt, Chris Blondia:
Simultaneous Transient Analysis of QBD Markov Chains for all Initial Configurations using a Level Based Recursion. 79-90
Electronic Edition (link) BibTeX
Connie U. Smith, Catalina M. Lladó, Ramón Puigjaner, Lloyd G. Williams:
Interchange Formats for Performance Models: Experimentation and Ouput. 91-100
Electronic Edition (link) BibTeX

Automated Model Analysis

Peter Kemper, Carsten Tepper:
Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior. 101-110
Electronic Edition (link) BibTeX
Daniel Lüdtke, Dietmar Tutsch, Matthias Kühm:
Quantile Estimation for Performance Measures in Network Simulations with CINSim. 111-112
Electronic Edition (link) BibTeX
Jean-Marc Vincent, Jérôme Vienne:
Psi² a Software Tool for the Perfect Simulation of Finite Queueing Networks. 113-114
Electronic Edition (link) BibTeX
Alastair F. Donaldson, Alice Miller, David Parker:
GRIP: Generic Representatives in PRISM. 115-116
Electronic Edition (link) BibTeX

Model Checking

Lars Grunske, Robert Colvin, Kirsten Winter:
Probabilistic Model-Checking Support for FMEA. 119-128
Electronic Edition (link) BibTeX
Björn Wachter, Lijun Zhang, Holger Hermanns:
Probabilistic Model Checking Modulo Theories. 129-140
Electronic Edition (link) BibTeX

Symbolic Analysis of Markov Chains

Salem Derisavi:
Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping. 141-150
Electronic Edition (link) BibTeX
Michael G. McQuinn, Peter Kemper, William H. Sanders:
Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations. 151-160
Electronic Edition (link) BibTeX
Tod Courtney, Shravan Gaonkar, Michael G. McQuinn, Eric Rozier, William H. Sanders, Patrick G. Webster:
Design of Experiments within the Mobius Modeling Environment. 161-162
Electronic Edition (link) BibTeX
Leonardo Brenner, Paulo Fernandes, Brigitte Plateau, Ihab Sbeity:
PEPS2007 - Stochastic Automata Networks Software Tool. 163-164
Electronic Edition (link) BibTeX
Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad:
A framework to design and solve Markov Decision Well-formed Net models. 165-166
Electronic Edition (link) BibTeX

Process Algebra

Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu:
Model checking the probabilistic pi-calculus. 169-178
Electronic Edition (link) BibTeX
Peng Wu, Catuscia Palamidessi, Huimin Lin:
Symbolic Bisimulations for Probabilistic Systems. 179-188
Electronic Edition (link) BibTeX
Maria Carla Palmeri, Rocco De Nicola, Mieke Massink:
Basic Observables for Probabilistic May Testing. 189-200
Electronic Edition (link) BibTeX

Performance Models

Tariq Omari, Salem Derisavi, Greg Franks, C. Murray Woodside:
Performance Modeling of a Quorum Pattern in Layered Service Systems. 201-210
Electronic Edition (link) BibTeX
Jean-Michel Fourneau, Nihal Pekergin, Sana Younès:
CUT : Combining stochastic ordering and censoring to bound steady-state rewards and first passage time. 211-212
Electronic Edition (link) BibTeX
David Hickey:
Distritrack: Automated Average-Case Analysis. 213-214
Electronic Edition (link) BibTeX
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova:
ProbDiVinE: A Parallel Qualitative LTL Model Checker. 215-216
Electronic Edition (link) BibTeX
Luca Cardelli:
Invited Talk: A Process Algebra Master Equation. 219-226
Electronic Edition (link) BibTeX

Stochastic Logic

Christel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera:
Stochastic Game Logic. 227-236
Electronic Edition (link) BibTeX
Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay:
Qualitative Logics and Equivalences for Probabilistic Systems. 237-248
Electronic Edition (link) BibTeX

System Modelling

Daniel A. Menascé, Vasudeva Akula:
A business-oriented load dispatching framework for online auction sites. 249-258
Electronic Edition (link) BibTeX
David M. Nicol:
Analysis of Local Address Scanning by Puppetnets. 259-268
Electronic Edition (link) BibTeX
Bart D. Theelen:
A Performance Analysis Tool for Scenario-Aware Streaming Applications. 269-270
Electronic Edition (link) BibTeX
Benjamin Gorry, Andrew Ireland, Peter King:
PARTES: Performance Analysis of Real-Time Embedded Systems. 271-272
Electronic Edition (link) BibTeX
H. Wen, Simone Sbaraglia, Seetharami Seelam, I-Hsin Chung, Guojing Cong, David J. Klepacki:
A Productivity Centered Tools Framework for Application Performance Tuning. 273-274
Electronic Edition (link) BibTeX

Performance Analysis 2

Chaitanya Garikiparthi, Appie van de Liefvoort, Kenneth Mitchell:
Sample Path Analysis of Busy Periods and Related First Passages of a Correlated MEP/MEP/1 System. 277-286
Electronic Edition (link) BibTeX
Jean-Michel Fourneau:
Closed G-networks with Resets: product form solution. 287-296
Electronic Edition (link) BibTeX