Xiaozhen Zhang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2001–2022
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | APSEC | Bounded Model Checking of Synchronous Reactive Models in Ptolemy II. | Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong |
| 2022 | IROS | Design and Analysis of Truss Aerial Transportation System (TATS): The Lightweight Bar Spherical Joint Mechanism. | Xiaozhen Zhang, Qingkai Yang, Rui Yu, Delong Wu, Shaozhun Wei, Jinqiang Cui, Hao Fang |
| 2022 | QRS | Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking. | Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong |
| 2019 | TASE | Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration. | Xiaozhen Zhang, Weiqiang Kong, Jianguo Jiang, Gang Hou, Akira Fukuda |
| 2001 | ICALT | The Tuneup and Integration of Resources in Web-Based Learning. | Xiao Li, Jianguo Li, Xiaozhen Zhang |