QEST 2007: Edinburgh, Scotland, UK

Invited Talk

• Jean-Yves Le Boudec, David McDonald, Jochen Mundinger:
  A Generic Mean Field Convergence Result for Systems of Interacting Objects. 3-18
  

Networking

• Girish B. C., R. Govindarajan:
  A Petri Net Model for Evaluating Packet Buffering Strategies in a Network Processor. 19-30
  

Specification Formalisms

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

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
  
• Takayuki Osogami:
  Relations in the Central Limit Theorem Version of the Response Time Law. 69-78
  
• 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
  
• Connie U. Smith, Catalina M. Lladó, Ramón Puigjaner, Lloyd G. Williams:
  Interchange Formats for Performance Models: Experimentation and Ouput. 91-100
  

Automated Model Analysis

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

Model Checking

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

Symbolic Analysis of Markov Chains

• Salem Derisavi:
  Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping. 141-150
  
• Michael G. McQuinn, Peter Kemper, William H. Sanders:
  Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations. 151-160
  
• 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
  
• Leonardo Brenner, Paulo Fernandes, Brigitte Plateau, Ihab Sbeity:
  PEPS2007 - Stochastic Automata Networks Software Tool. 163-164
  
• Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad:
  A framework to design and solve Markov Decision Well-formed Net models. 165-166
  

Process Algebra

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

Performance Models

• Tariq Omari, Salem Derisavi, Greg Franks, C. Murray Woodside:
  Performance Modeling of a Quorum Pattern in Layered Service Systems. 201-210
  
• 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
  
• David Hickey:
  Distritrack: Automated Average-Case Analysis. 213-214
  
• Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova:
  ProbDiVinE: A Parallel Qualitative LTL Model Checker. 215-216
  
• Luca Cardelli:
  Invited Talk: A Process Algebra Master Equation. 219-226
  

Stochastic Logic

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

System Modelling

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

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
  
• Jean-Michel Fourneau:
  Closed G-networks with Resets: product form solution. 287-296