Lifetime optimization for real-time embedded systems considering electromigration effects. - Taeyoung Kim 001; Bowen Zheng 001; Hai-Bao Chen; Qi Zhu 002; Valeriy Sukharev; Sheldon X.-D. Tan (ICCAD, 2014)

Analysis and optimization of soft error tolerance strategies for real-time systems. - Bowen Zheng 001; Yue Gao; Qi Zhu 002; Sandeep K. Gupta 001 (CODES+ISSS, 2015)

Design and verification for transportation system security. - Bowen Zheng 001; Wenchao Li 001; Peng Deng; Léonard Gérard; Qi Zhu 002; Natarajan Shankar (DAC, 2015)

Security Analysis of Proactive Participation of Smart Buildings in Smart Grid. - Tianshu Wei; Bowen Zheng 001; Qi Zhu 002; Shiyan Hu 001 (ICCAD, 2015)

Security-Aware Design Methodology and Optimization for Automotive Systems. - Chung-Wei Lin; Bowen Zheng 001; Qi Zhu 002; Alberto L. Sangiovanni-Vincentelli (ACM Trans. Design Autom. Electr. Syst., 2015)

CONVINCE: a cross-layer modeling, exploration and validation framework for next-generation connected vehicles. - Bowen Zheng 001; Chung-Wei Lin; Huafeng Yu; Hengyi Liang; Qi Zhu 002 (ICCAD, 2016)

Next Generation Automotive Architecture Modeling and Exploration for Autonomous Driving. - Bowen Zheng 001; Hengyi Liang; Qi Zhu 002; Huafeng Yu; Chung-Wei Lin (ISVLSI, 2016)

Cross-Layer Codesign for Secure Cyber-Physical Systems. - Bowen Zheng 001; Peng Deng; Anguluri Rajasekhar; Qi Zhu 002; Fabio Pasqualetti (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)

Timing and security analysis of VANET-based intelligent transportation systems: (Invited paper). - Bowen Zheng 001; Muhammed O. Sayin; Chung-Wei Lin; Shinichi Shiraishi; Qi Zhu 002 (ICCAD, 2017)

Addressing Extensibility and Fault Tolerance in CAN-based Automotive Systems. - Hengyi Liang; Zhilu Wang; Bowen Zheng 001; Qi Zhu 002 (NOCS, 2017)

Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management. - Bowen Zheng 001; Chung-Wei Lin; Hengyi Liang; Shinichi Shiraishi; Wenchao Li 001; Qi Zhu 002 (SMARTCOMP, 2017)

Network and system level security in connected vehicle applications. - Hengyi Liang; Matthew Jagielski; Bowen Zheng 001; Chung-Wei Lin; Eunsuk Kang; Shinichi Shiraishi; Cristina Nita-Rotaru; Qi Zhu 002 (ICCAD, 2018)

Cross-Layer Design of Reliable and Secure Cyber-Physical Systems. - Bowen Zheng 001 (2018)

Design and Analysis of Delay-Tolerant Intelligent Intersection Management. - Bowen Zheng 001; Chung-Wei Lin; Shinichi Shiraishi; Qi Zhu 002 (ACM Trans. Cyber Phys. Syst., 2020)

Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner. - Xiangguo Liu; Chao Huang 015; Yixuan Wang 001; Bowen Zheng 001; Qi Zhu 002 (ICCPS, 2022)

TAE: A Semi-supervised Controllable Behavior-aware Trajectory Generator and Predictor. - Ruochen Jiao; Xiangguo Liu; Bowen Zheng 001; Dave Liang; Qi Zhu 002 (IROS, 2022)

Neural Network based Interactive Lane Changing Planner in Dense Traffic with Safety Guarantee. - Xiangguo Liu; Ruochen Jiao; Bowen Zheng 001; Dave Liang; Qi Zhu 002 (CoRR, 2022)

Safety-Driven Interactive Planning for Neural Network-Based Lane Changing. - Xiangguo Liu; Ruochen Jiao; Bowen Zheng 001; Dave Liang; Qi Zhu 002 (ASP-DAC, 2023)

Connectivity Enhanced Safe Neural Network Planner for Lane Changing in Mixed Traffic. - Xiangguo Liu; Ruochen Jiao; Bowen Zheng 001; Dave Liang; Qi Zhu 002 (AAMAS, 2023)

Safety-Assured Speculative Planning with Adaptive Prediction. - Xiangguo Liu; Ruochen Jiao; Yixuan Wang 001; Yimin Han; Bowen Zheng 001; Qi Zhu 002 (IROS, 2023)