Bowen Zheng

According to our database, Bowen Zheng authored at least 20 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Safety-Assured Speculative Planning with Adaptive Prediction.

Xiangguo Liu, Ruochen Jiao, Yixuan Wang, Yimin Han, Bowen Zheng, Qi Zhu

IROS, 2023

Connectivity Enhanced Safe Neural Network Planner for Lane Changing in Mixed Traffic.

Xiangguo Liu, Ruochen Jiao, Bowen Zheng, Dave Liang, Qi Zhu

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Safety-Driven Interactive Planning for Neural Network-Based Lane Changing.

Xiangguo Liu, Ruochen Jiao, Bowen Zheng, Dave Liang, Qi Zhu

Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

2022

Neural Network based Interactive Lane Changing Planner in Dense Traffic with Safety Guarantee.

Xiangguo Liu, Ruochen Jiao, Bowen Zheng, Dave Liang, Qi Zhu

CoRR, 2022

TAE: A Semi-supervised Controllable Behavior-aware Trajectory Generator and Predictor.

Ruochen Jiao, Xiangguo Liu, Bowen Zheng, Dave Liang, Qi Zhu

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner.

Xiangguo Liu, Chao Huang, Yixuan Wang, Bowen Zheng, Qi Zhu

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

2020

Design and Analysis of Delay-Tolerant Intelligent Intersection Management.

Bowen Zheng, Chung-Wei Lin, Shinichi Shiraishi, Qi Zhu

ACM Trans. Cyber Phys. Syst., 2020

2018

Cross-Layer Design of Reliable and Secure Cyber-Physical Systems.

Bowen Zheng

PhD thesis, 2018

Network and system level security in connected vehicle applications.

Hengyi Liang, Matthew Jagielski, Bowen Zheng, Chung-Wei Lin, Eunsuk Kang, Shinichi Shiraishi, Cristina Nita-Rotaru, Qi Zhu

Proceedings of the International Conference on Computer-Aided Design, 2018

2017

Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management.

Bowen Zheng, Chung-Wei Lin, Hengyi Liang, Shinichi Shiraishi, Wenchao Li, Qi Zhu

Proceedings of the 2017 IEEE International Conference on Smart Computing, 2017

Addressing Extensibility and Fault Tolerance in CAN-based Automotive Systems.

Hengyi Liang, Zhilu Wang, Bowen Zheng, Qi Zhu

Proceedings of the Eleventh IEEE/ACM International Symposium on Networks-on-Chip, 2017

Timing and security analysis of VANET-based intelligent transportation systems: (Invited paper).

Bowen Zheng, Muhammed O. Sayin, Chung-Wei Lin, Shinichi Shiraishi, Qi Zhu

Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

2016

Cross-Layer Codesign for Secure Cyber-Physical Systems.

Bowen Zheng, Peng Deng, Anguluri Rajasekhar, Qi Zhu, Fabio Pasqualetti

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016

Next Generation Automotive Architecture Modeling and Exploration for Autonomous Driving.

Bowen Zheng, Hengyi Liang, Qi Zhu, Huafeng Yu, Chung-Wei Lin

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2016

CONVINCE: a cross-layer modeling, exploration and validation framework for next-generation connected vehicles.

Bowen Zheng, Chung-Wei Lin, Huafeng Yu, Hengyi Liang, Qi Zhu

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

2015

Security-Aware Design Methodology and Optimization for Automotive Systems.

Chung-Wei Lin, Bowen Zheng, Qi Zhu, Alberto L. Sangiovanni-Vincentelli

ACM Trans. Design Autom. Electr. Syst., 2015

Security Analysis of Proactive Participation of Smart Buildings in Smart Grid.

Tianshu Wei, Bowen Zheng, Qi Zhu, Shiyan Hu

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015

Design and verification for transportation system security.

Bowen Zheng, Wenchao Li, Peng Deng, Léonard Gérard, Qi Zhu, Natarajan Shankar

Proceedings of the 52nd Annual Design Automation Conference, 2015

Analysis and optimization of soft error tolerance strategies for real-time systems.

Bowen Zheng, Yue Gao, Qi Zhu, Sandeep K. Gupta

Proceedings of the 2015 International Conference on Hardware/Software Codesign and System Synthesis, 2015

2014

Lifetime optimization for real-time embedded systems considering electromigration effects.

Taeyoung Kim, Bowen Zheng, Hai-Bao Chen, Qi Zhu, Valeriy Sukharev, Sheldon X.-D. Tan

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014