Verification and Performance Evaluation of Timed Game Strategies. - Alexandre David; Huixing Fang; Kim Guldstrand Larsen; Zhengkui Zhang (FORMATS, 2014)

Distributed Algorithms for Time Optimal Reachability Analysis. - Zhengkui Zhang; Brian Nielsen; Kim G. Larsen (FORMATS, 2016)

Time optimal reachability analysis using swarm verification. - Zhengkui Zhang; Brian Nielsen; Kim G. Larsen (SAC, 2016)

Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. - Zhengkui Zhang; Brian Nielsen; Kim Guldstrand Larsen; Gilles Nies; Marvin Stenger; Holger Hermanns (ICFEM, 2017)

Integrating Cyber-Attack Defense Techniques into Real-Time Cyber-Physical Systems. - Xiaochen Hao; Mingsong Lv; Jiesheng Zheng; Zhengkui Zhang; Wang Yi 001 (ICCD, 2019)