Zhengkui Zhang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2016–2019
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ICCD | Integrating Cyber-Attack Defense Techniques into Real-Time Cyber-Physical Systems. | Xiaochen Hao, Mingsong Lv, Jiesheng Zheng, Zhengkui Zhang, Wang Yi |
| 2017 | ICFEM | Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. | Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns |
| 2016 | SAC | Time optimal reachability analysis using swarm verification. | Zhengkui Zhang, Brian Nielsen, Kim G. Larsen |