selected publications

• academic article

  • A Toolchain for Synthesizing and Validating Safety Architectures.  SN computer science.  4. 2023
  • Security Requirements Engineering in Safety-Critical Railway Signalling Networks.  Security and Communication Networks.  2019:1-14. 2019

• chapter

  • Formal Verification of Gate-Level Computer Systems.  Springer eBooks. 322-333. 2009

• conference paper

  • A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis.  . 2022
  • Two Architecture Approaches for MILS Systems in Mobility Domains (Automobile, Railway and Avionik).  High Performance Embedded Architectures and Compilers. 2015
  • A verified platform for a gate-level electronic control unit.  . 2009