Paper accepted in Formal Aspects of Computing

The paper “Fault Trees on a Diet: Automated Reduction by Graph Rewriting” by Sebastian Junges, Dennis Guck, Arend Rensink, Marielle Stoelinga and Joost-Pieter Katoen has been accepted in the journal Formal Aspects of Computing. The more than 50-page paper shows how graph rewriting can be applied to reduce dynamic fault trees prior to their analysis. Experiments show a speed up and memory gain of about two orders of magnitude.