Accepted papers
The following 23 papers have been accepted for the conference. The programme will follow.
-
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. -
Title: A business-oriented load dispatching framework for online auction sites
Authors: Daniel Menasce and Vasudeva Akula. -
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. -
Title: A Central Limit Theorem Version of the Response Time Law
Authors: Takayuki Osogami. -
Title: Interchange Formats for Performance Models: Experimentation and Output
Authors: Connie Smith, Catalina Lladó, Lloyd Williams and Ramon Puigjaner. -
Title: Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping
Authors: Salem Derisavi. -
Title: Basic Observables for Probabilistic May Testing
Authors: Maria Carla Palmeri, Rocco De Nicola and Mieke Massink. -
Title: CSLTA: an Expressive Logic for Continuous-Time Markov Chains
Authors: Susanna Donatelli, Serge Haddad and Jeremy Sproston. -
Title: Qualitative Logics and Equivalences for Probabilistic Systems
Authors: Axel Legay, Krishnendu Chatterjee, Luca de Alfaro and Marco Faella. -
Title: Probabilistic Model Checking Modulo Theories
Authors: Björn Wachter, Lijun Zhang and Holger Hermanns. -
Title: Performance Trees: Expressiveness and Quantitative Semantics
Authors: Tamas Suto, Jeremy Bradley and William Knottenbelt. - Title: Packet Buffering Strategies for Network Processing
Authors: Girish Chandramohan and Govindarajan Ramaswamy. -
Title: Close form derivation of state-density functions over DBM domains in the analysis of
non-markovian models
Authors: Luigi Sassoli and Enrico Vicario. -
Title: Probabilistic Model-Checking Support for FMEA
Authors: Lars Grunske, Robert Colvin and Kirsten Winter. -
Title: Model checking the probabilistic pi-calculus
Authors: Gethin Norman, Catuscia Palamidessi, David Parker and Peng Wu. -
Title: Closed G-networks with Resets: product form solution
Authors: Jean Michel Fourneau. -
Title: Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior
Authors: Peter Kemper and Carsten Tepper. -
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. -
Title: Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations
Authors: Michael McQuinn, Peter Kemper and William Sanders. -
Title: Stochastic game logic
Authors: Marcus Groesser, Christel Baier, Antonin Kucera and Tomas Brazdil. -
Title: Symbolic Bisimulations for Probabilistic Systems
Authors: Peng WU, Catuscia Palamidessi and Huimin Lin. -
Title: Performance Modeling of a Quorum Pattern in Layered Service Systems
Authors: Tariq Omari, Salem Derisavi, Greg Franks and Murray Woodside. -
Title: Analysis of Puppetnet Reconnaissance
Authors: David Nicol.
