Wei Qiang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2006–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ASPLOS | Highly Automated Verification of Security Properties for Unmodified System Software. | Ganxiang Yang, Wei Qiang, Yi Rong, Xuheng Li, Fanqi Yu, Jason Nieh, Ronghui Gu |
| 2023 | OSDI | Spoq: Scaling Machine-Checkable Systems Verification in Coq. | Xupeng Li, Xuheng Li, Wei Qiang, Ronghui Gu, Jason Nieh |
| 2016 | SMC | Modeling and control of urban expressways with emergency using hybrid petri nets. | Yaying Zhang, Yuefeng Fu, Wei Qiang |
| 2006 | ISNN | Power Estimation of CMOS Circuits by Neural Network Macromodel. | Wei Qiang, Yang Cao, Yuan-yuan Yan, Xun Gao |