qest logo
Accepted papers

The following 23 papers have been accepted for the conference. The programme will follow.
  1. Title: Simultaneous Transient Analysis of QBD Markov Chains for all Initial Configurations using a Level Based Recursion
    Authors: Jeroen Van Velthoven, Benny Van Houdt and Chris Blondia.

  2. Title: A business-oriented load dispatching framework for online auction sites
    Authors: Daniel Menasce and Vasudeva Akula.

  3. Title: Modelling Deterministic Routing in Multidimensional k-Ary n-Cubes with Finite Buffers
    Authors: Nasser Alzeidi, Mohamed Ould-Khaoua, Lewis Mackenzie and Muneer Bani Yassein.

  4. Title: A Central Limit Theorem Version of the Response Time Law
    Authors: Takayuki Osogami.

  5. Title: Interchange Formats for Performance Models: Experimentation and Output
    Authors: Connie Smith, Catalina Lladó, Lloyd Williams and Ramon Puigjaner.

  6. Title: Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping
    Authors: Salem Derisavi.

  7. Title: Basic Observables for Probabilistic May Testing
    Authors: Maria Carla Palmeri, Rocco De Nicola and Mieke Massink.

  8. Title: CSLTA: an Expressive Logic for Continuous-Time Markov Chains
    Authors: Susanna Donatelli, Serge Haddad and Jeremy Sproston.

  9. Title: Qualitative Logics and Equivalences for Probabilistic Systems
    Authors: Axel Legay, Krishnendu Chatterjee, Luca de Alfaro and Marco Faella.

  10. Title: Probabilistic Model Checking Modulo Theories
    Authors: Björn Wachter, Lijun Zhang and Holger Hermanns.

  11. Title: Performance Trees: Expressiveness and Quantitative Semantics
    Authors: Tamas Suto, Jeremy Bradley and William Knottenbelt.

  12. Title: Packet Buffering Strategies for Network Processing
    Authors: Girish Chandramohan and Govindarajan Ramaswamy.

  13. Title: Close form derivation of state-density functions over DBM domains in the analysis of non-markovian models
    Authors: Luigi Sassoli and Enrico Vicario.

  14. Title: Probabilistic Model-Checking Support for FMEA
    Authors: Lars Grunske, Robert Colvin and Kirsten Winter.

  15. Title: Model checking the probabilistic pi-calculus
    Authors: Gethin Norman, Catuscia Palamidessi, David Parker and Peng Wu.

  16. Title: Closed G-networks with Resets: product form solution
    Authors: Jean Michel Fourneau.

  17. Title: Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior
    Authors: Peter Kemper and Carsten Tepper.

  18. Title: Sample Path Analysis of Busy Periods and Related First Passages of a Correlated MEP/MEP/1 System
    Authors: Chaitanya Garikiparthi, Appie Van de Liefvoort and Kenneth Mitchell.

  19. Title: Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations
    Authors: Michael McQuinn, Peter Kemper and William Sanders.

  20. Title: Stochastic game logic
    Authors: Marcus Groesser, Christel Baier, Antonin Kucera and Tomas Brazdil.

  21. Title: Symbolic Bisimulations for Probabilistic Systems
    Authors: Peng WU, Catuscia Palamidessi and Huimin Lin.

  22. Title: Performance Modeling of a Quorum Pattern in Layered Service Systems
    Authors: Tariq Omari, Salem Derisavi, Greg Franks and Murray Woodside.

  23. Title: Analysis of Puppetnet Reconnaissance
    Authors: David Nicol.

Oct 07
QEST'07 photo album available. [read more]

Sep 07
Graduate symposium and list of accepted posters [read more]

Jun 07
Accepted papers

Accepted tool papers

May 07
Special issue of IEEE TSE [read more]

Organised by



Read about QEST 2007 sponsors