selected publications

• academic article

  • Verification of Non-functional Properties of a Composable Architecture with Petrinets.  Fundamenta Informaticae.  51:185-200. 2002

• chapter

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

• conference paper

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