Weiming Xiang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2019–2024
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICMLA | Approximate Bisimulation Relation Restoration for Neural Networks Based On Knowledge Distillation. | Jie Chen, Zihao Mo, Tao Wang, Weiming Xiang |
| 2024 | ICMLA | Discrepancy-Based Knowledge Distillation for Image Classification Restoration. | Zihao Mo, Yejiang Yang, Weiming Xiang |
| 2020 | CAV | Verification of Deep Convolutional Neural Networks Using ImageStars. | Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson |
| 2020 | CAV | NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems. | Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson |
| 2019 | FM | Star-Based Reachability Analysis of Deep Neural Networks. | Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson |
| 2019 | FORTE | Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems. | Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson |
| 2019 | ICSE | Parallelizable reachability analysis algorithms for feed-forward neural networks. | Hoang-Dung Tran, Patrick Musau, Diego Manzanas Lopez, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson |