Huixing Fang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
2
Active years
2012–2021
Best venue rank
National
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | TASE | A Proof System for HRML with Extended Hoare Logic. | Ningning Chen, Huibiao Zhu, Huixing Fang |
| 2019 | TASE | Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata. | Zuxi Chen, Huixing Fang, Xiangyu Luo |
| 2012 | ICECCS | ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. | Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang |
| 2012 | ICECCS | xBIL - A Hardware Resource Oriented Binary Intermediate Language. | Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye |
| 2012 | TASE | Formal Verification and Simulation: Co-verification for Subway Control Systems. | Huixing Fang, Jian Guo, Huibiao Zhu, Jianqi Shi |
| 2012 | TASE | Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System. | Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang, Xin Ye |