| 2022 | SAC | A simple proof of data-race freedom and coherence for simpson's 4-slot algorithm. | Xu Wang, Qiwen Xu |
| 2021 | TASE | Formal Modelling and Verification of the RTPS Behavior Module. | Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu |
| 2019 | SEKE | Formalization and Verification of RTPS StatefulWriter Module Using CSP. | Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu, Ruobiao Wu |
| 2018 | FedCSIS | Assertional Reasoning for Concurrent and Communicating BPEL-like Programs. | Longfei Zhu, Qiwen Xu, Huibiao Zhu |
| 2017 | ICECCS | BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems. | Wanling Xie, Huibiao Zhu, Qiwen Xu |
| 2015 | ICECCS | A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems. | Qin Li, Jinxun Wang, Qiwen Xu, Yanhong Huang, Huibiao Zhu |
| 2013 | TASE | Formal Analysis of AODV Using Rely-Guarantee. | Xiaofeng Wu, Qiwen Xu, Huibiao Zhu |
| 2012 | SEFM | The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. | Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu |
| 2004 | VMCAI | Checking Interval Based Properties for Reactive Systems. | Yu Pei, Qiwen Xu |
| 2000 | ICFEM | An Animatable Operational Semantics of the Verilog Hardware Description Language. | Jonathan P. Bowen, Jifeng He, Qiwen Xu |
| 2000 | PDPTA | An Operational Semantics of a Simulator Algorithm. | Jifeng He, Qiwen Xu |
| 1999 | RTCSA | A Formal Proof of the Rate Monotonic Scheduler. | Shuzhen Dong, Qiwen Xu, Naijun Zhan |
| 1994 | CONCUR | On Unifying Assumption-Commitment Style Proof Rules for Concurrency. | Qiwen Xu, Antonio Cau, Pierre Collette |