Zhengkui Zhang

According to our database, Zhengkui Zhang authored at least 5 papers between 2014 and 2019.

Collaborative distances:

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

2019

Integrating Cyber-Attack Defense Techniques into Real-Time Cyber-Physical Systems.

Xiaochen Hao, Mingsong Lv, Jiesheng Zheng, Zhengkui Zhang, Wang Yi

Proceedings of the 37th IEEE International Conference on Computer Design, 2019

2017

Pareto Optimal Reachability Analysis for Simple Priced Timed Automata.

Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns

Proceedings of the Formal Methods and Software Engineering, 2017

2016

Time optimal reachability analysis using swarm verification.

Zhengkui Zhang, Brian Nielsen, Kim G. Larsen

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Distributed Algorithms for Time Optimal Reachability Analysis.

Zhengkui Zhang, Brian Nielsen, Kim G. Larsen

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

2014

Verification and Performance Evaluation of Timed Game Strategies.

Alexandre David, Huixing Fang, Kim Guldstrand Larsen, Zhengkui Zhang

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014