| 2018 | QRS | A Method for Predicting Two-Variable Atomicity Violations. | Zhuo Sun, Reng Zeng, Xudong He |
| 2016 | TASE | A Term Rewriting Approach to Analyze High Level Petri Nets. | Xudong He, Reng Zeng, Su Liu, Zhuo Sun, Kyungmin Bae |
| 2015 | TACAS | A Method for Improving the Precision and Coverage of Atomicity Violation Predictions. | Reng Zeng, Zhuo Sun, Su Liu, Xudong He |
| 2014 | ICFEM | Bounded Model Checking High Level Petri Nets in PIPE+Verifier. | Su Liu, Reng Zeng, Zhuo Sun, Xudong He |
| 2012 | SEKE | SAMAT - A Tool for Software Architecture Modeling and Analysis. | Su Liu, Reng Zeng, Zhuo Sun, Xudong He |
| 2011 | SEKE | PIPE+ - A Modeling Tool for High Level Petri Nets. | Su Liu, Reng Zeng, Xudong He |
| 2011 | SEKE | An Empirical Study on Classification of Non-Functional Requirements. | Su Liu, Reng Zeng, Xudong He |
| 2011 | SEKE | SC-xScript: An Embedded Script Language for Scientific Computation in Embedded Systems. | Reng Zeng, Yu Huang, Su Liu, Peter J. Clarke, Xudong He, Gwendolyn W. van der Linden, Jon L. Ebert |
| 2011 | SERVICES | A Method to Mine Workflows from Provenance for Assisting Scientific Workflow Composition. | Reng Zeng, Xudong He, Wil M. P. van der Aalst |
| 2010 | ICTAC | Analyzing a Formal Specification of Mondex Using Model Checking. | Reng Zeng, Xudong He |