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