Paper accepted at DSN 2015

The paper “A statistical approach for timed reachability in AADL models” by Harold Bruintjes, Joost-Pieter Katoen, and David Lesens (Airbus Defense & Space) has been accepted at the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2015, acceptance rate 21,8%). The paper presents a statistical model checker for checking timed and stochastic AADL models against timed reachability properties.