qest logo
Accepted Papers

Regular papers

S. Akshay, Nathalie Bertrand, Serge Haddad and Loic Helouet. The steady-state control problem for Markov decision processes
Laura Aspirot, Ernesto Mordecki and Gerardo Rubino. Fluid Limit for the Machine Repairman Model with Phase-Type Distributions
Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr and Sven Sandberg. Stochastic Parity Games on Lossy Channel Systems
Paolo Ballarini, Nathalie Bertrand, Andras Horvath, Marco Paolieri and Enrico Vicario. Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes
Luca Bortolussi and Roberta Lanciani. Model Checking Markov Population Models by Central Limit Approximation
Luca Bortolussi and Guido Sanguinetti. Learning and designing stochastic processes from logical constraints
Taolue Chen, Marta Kwiatkowska, Aistis Simaitis and Clemens Wiltsche. Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving
Miyuru Dayarathna and Toyotaro Suzumura. A Performance Analysis of System S, S4, and Esper via Two Level Benchmarking
Benoit Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen and Axel Legay. Refinement and Difference for Probabilistic Automata
Ansgar Fehnker, Peter Hoefner, Maryam Kamali and Vinay Mehta. Transition-based Mobility Models for Wireless Networks
Friedrich Gretz, Joost-Pieter Katoen and Annabelle McIver. Prinsys---on a Quest for Probabilistic Loop Invariants
Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen and Mark Timmer. Modelling, Reduction and Analysis of Markov Automata
Daniel Happ and Katinka Wolter. Fault-Impact Models based on delay and packet loss for IEEE 802.11g
David N. Jansen, Lei Song and Lijun Zhang. Revisiting Weak Simulation for Substochastic Markov Chains
Vladimir Klebanov, Norbert Manthey and Christian Muise. SAT-based Analysis and Quantification of Information Flow in Programs
Daniel Reijsbergen, Pieter-Tjerk de Boer, Werner Scheinhardt and Boudewijn Haverkort. Automated Rare Event Simulation for Stochastic Petri Nets
David Spieler. Characterizing oscillatory and noisy periodic behavior in Markov population models
Andrea Turrini, Christian Eisentraut, Holger Hermanns, Julia Kraemer and Lijun Zhang. Deciding Bisimilarities on Distributions
Vinodh Venkatesan and Ilias Iliadis. Effect of Codeword Placement on the Reliability of Erasure Coded Data Storage Systems
Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Abraham, Joost-Pieter Katoen and Bernd Becker. High-level Counterexamples for Probabilistic Automata
Majid Zamani and Alessandro Abate. Symbolic Control of Stochastic Switched Systems via Finite Abstractions

Tool papers

Dieky Adzkiya and Alessandro Abate. VeriSiMPL: Verification via biSimulations of MPL models
Nikolas Anastasiou and William Knottenbelt. Inferring Performance Models from Location Tracking Data using the Petri Net Performance Model Construction Tool (PEPERCORN)
Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen and Radu Mardare. A Tool for Efficiently Computing Bisimilarity Distances for Markovian Models
Yi Deng, Akshay Rajhans and A. Agung Julius. STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems
Ken Keefe and William Sanders. Mobius Shell: A Command-line Interface For Mobius
Barbara Kordy, Piotr Kordy, Sjouke Mauw and Patrick Schweitzer. ADTool: Security Analysis with Attack-Defense Trees (Tool Demonstration Paper)
Rastislav Lenhardt. Tulip: Model Checking Probabilistic Systems using EM Algorithm
Lucas Oleksinski, Claiton Correa, Fernando Luís Dotti and Afonso Sales. A CTL Model Checker for Stochastic Automata Networks
Sean Sedwards, Benoît Boyer, Kevin Corre and Axel Legay. PLASMA-lab: a flexible, distributable statistical model checking library

May 2013
Accepted papers
Feb 2013
Deadline Extended!!

Organized by


Supported by