| 2018 | FedCSIS | Assertional Reasoning for Concurrent and Communicating BPEL-like Programs. | Longfei Zhu, Qiwen Xu, Huibiao Zhu |
| 2013 | TASE | A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude. | Longfei Zhu, Peng Liu, Jianqi Shi, Zheng Wang, Huibiao Zhu |
| 2012 | ICECCS | xBIL - A Hardware Resource Oriented Binary Intermediate Language. | Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye |
| 2012 | SEFM | A Denotational Model for Instantaneous Signal Calculus. | Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He |
| 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 |
| 2011 | TASE | Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. | Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi |
| 2011 | TASE | Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification. | Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu |
| 2008 | TASE | A Bigraphical Model of WSBPEL. | Min Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu |