selected publications

• chapter

  • Configurable Fault Trees.  Lecture Notes in Computer Science. 2016

• conference paper

  • Following the White Rabbit: Integrity Verification Based on Risk Analysis Results 2021