qest logo
Graduate Symposium

The graduate symposium will take place on the evening of Sunday 16th September. It will coincide with the welcome reception for the conference. The registration desk will be open and delegates can register and collect their conference proceedings in advance of the start of the technical sessions on Monday.

Selected graduate students will present a poster on their recent work to attendees at the reception.

List of accepted posters

  1. Title: UML-based simulation of AODV with SYNTONY
    Author: Isabel Dietrich (University of Erlangen)

  2. Title: The Duality of State and Observations
    Author: Monica Dinculescu (McGill University)

  3. Title: Performance Evaluation for a Content Adaptation System
    Author: Jie Ding (University of Edinburgh)

  4. Title: Transformations Guided by Static Analysis: The Hume Approach Towards Time and Space Guarantees
    Author: Gudmund Grov (Heriot-Watt University)

  5. Title: Game-based Probabilistic Predicate Abstraction in PRISM
    Author: Mark Kattenbelt (University of Birmingham)

  6. Title: Network Reorganization Model: A Novel Simulation Model for MANET Routing Protocols
    Authors: Yan Li and Peter J.B. King (Heriot-Watt University)

  7. Title: CSL model checking algorithms for infinite-state structured Markov chains
    Authors: Anne Remke and Boudewijn R. Haverkort (University of Twente)

  8. Title: A Symbolic Multilevel Algorithm
    Author: Johann Schuster (University of the Federal Armed Forces Munich)

  9. Title: Stochastic Model Extraction
    Author: Michael Smith (University of Edinburgh)

  10. Title: Lax Probabilistic Bisimulation Under Related Actions
    Author: Jonathan Taylor (McGill University)

  11. Title: Performance Analysis of Hierarchical Mobile IPv6
    Author: Hao Wang (University of Edinburgh)

  12. Title: PReMo: An analyzer for Probabilistic Recursive Models
    Authors: Dominik Wojtczak and Kousha Etessami (University of Edinburgh)

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