Zhengkui Zhang

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 4

Top Topics

Reachability Analysis

Top Venues

Publications

Xiaochen Hao, Mingsong Lv, Jiesheng Zheng, Zhengkui Zhang, Wang Yi
Integrating Cyber-Attack Defense Techniques into Real-Time Cyber-Physical Systems. ICCD (2019)
Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns
Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. ICFEM (2017)
Zhengkui Zhang, Brian Nielsen, Kim G. Larsen
Distributed Algorithms for Time Optimal Reachability Analysis. FORMATS (2016)
Zhengkui Zhang, Brian Nielsen, Kim G. Larsen
Time optimal reachability analysis using swarm verification. SAC (2016)
Alexandre David, Huixing Fang, Kim Guldstrand Larsen, Zhengkui Zhang
Verification and Performance Evaluation of Timed Game Strategies. FORMATS (2014)