selected publications

• academic article

  • A Toolchain for Synthesizing and Validating Safety Architectures.  SN computer science.  4. 2023

• conference paper

  • Safety-Aware Deployment Synthesis and Trade-Off Analysis of Apollo Autonomous Driving Platform.  . 2023
  • A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis.  . 2022