Accepted Papers
Regular papers
The steady-state control problem for Markov decision processes
Fluid Limit for the Machine Repairman Model with Phase-Type Distributions
Stochastic Parity Games on Lossy Channel Systems
Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes
Model Checking Markov Population Models by Central Limit Approximation
Learning and designing stochastic processes from logical constraints
Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving
A Performance Analysis of System S, S4, and Esper via Two Level Benchmarking
Refinement and Difference for Probabilistic Automata
Transition-based Mobility Models for Wireless Networks
Prinsys---on a Quest for Probabilistic Loop Invariants
Modelling, Reduction and Analysis of Markov Automata
Fault-Impact Models based on delay and packet loss for IEEE 802.11g
Revisiting Weak Simulation for Substochastic Markov Chains
SAT-based Analysis and Quantification of Information Flow in Programs
Automated Rare Event Simulation for Stochastic Petri Nets
Characterizing oscillatory and noisy periodic behavior in Markov population models
Deciding Bisimilarities on Distributions
Effect of Codeword Placement on the Reliability of Erasure Coded Data Storage Systems
High-level Counterexamples for Probabilistic Automata
Symbolic Control of Stochastic Switched Systems via Finite Abstractions
Tool papers
VeriSiMPL: Verification via biSimulations of MPL models
Inferring Performance Models from Location Tracking Data using the Petri Net Performance Model Construction Tool (PEPERCORN)
A Tool for Efficiently Computing Bisimilarity Distances for Markovian Models
STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems
Mobius Shell: A Command-line Interface For Mobius
ADTool: Security Analysis with Attack-Defense Trees (Tool Demonstration Paper)
Tulip: Model Checking Probabilistic Systems using EM Algorithm
A CTL Model Checker for Stochastic Automata Networks
PLASMA-lab: a flexible, distributable statistical model checking library
News
Organized by
Contact
Supported by
Publisher
