Paper accepted at DSN 2016

The paper “Uncovering Dynamic Fault Trees” by Sebastian Junges, Dennis Guck, Joost-Pieter Katoen and Marielle Stoelinga has been accepted for publication at DSN 2016. ┬áThe paper presents a thorough discussion of the semantic intricacies of dynamic fault trees and a comparison of existing interpretations of such fault trees.