selected publications

• academic article

  • A Toolchain for Synthesizing and Validating Safety Architectures.  SN computer science.  4. 2023
  • Automating Safety and Security Co-design through Semantically Rich Architecture Patterns.  ACM Transactions on Cyber-Physical Systems.  7:1-28. 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