Felix Möhrle

Dynamic Safety Certification for Collaborative Embedded Systems at Runtime

Marc Zeller, Daniel Schneider, Chee Hung Koo, 2021 .

Advances in component fault trees

Dominik Domis, Daniel Schneider, Marc Zeller, 2018, Safety and Reliability – Safe Societies in a Changing World.

A formal approach for automating compositional safety analysis using flow type annotations in component fault trees

Peter Liggesmeyer, Marc Zeller, Kai Höfig, 2017 .

Automating Compositional Safety Analysis Using a Failure Type Taxonomy for Component Fault Trees

Peter Liggesmeyer, Marc Zeller, Kai Höfig, 2016 .