A Formal Specification of Mondex Using SAM. - Reng Zeng; Jianling Liu; Xudong He (SOSE, 2008)

Analyzing a Formal Specification of Mondex Using Model Checking. - Reng Zeng; Xudong He (ICTAC, 2010)

PIPE+ - A Modeling Tool for High Level Petri Nets. - Su Liu; Reng Zeng; Xudong He (SEKE, 2011)

An Empirical Study on Classification of Non-Functional Requirements. - Su Liu; Reng Zeng; Xudong He (SEKE, 2011)

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 (SEKE, 2011)

A Method to Mine Workflows from Provenance for Assisting Scientific Workflow Composition. - Reng Zeng; Xudong He; Wil M. P. van der Aalst (SERVICES, 2011)

A Method to Build and Analyze Scientific Workflows from Provenance through Process Mining. - Reng Zeng; Xudong He; Jiafei Li; Zheng Liu; Wil M. P. van der Aalst (TaPP, 2011)

SAMAT - A Tool for Software Architecture Modeling and Analysis. - Su Liu; Reng Zeng; Zhuo Sun; Xudong He (SEKE, 2012)

McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking. - Reng Zeng; Zhuo Sun; Su Liu; Xudong He (SPIN, 2012)

Bounded Model Checking High Level Petri Nets in PIPE+Verifier. - Su Liu; Reng Zeng; Zhuo Sun; Xudong He (ICFEM, 2014)

A Method for Improving the Precision and Coverage of Atomicity Violation Predictions. - Reng Zeng; Zhuo Sun; Su Liu; Xudong He (TACAS, 2015)

A Term Rewriting Approach to Analyze High Level Petri Nets. - Xudong He; Reng Zeng; Su Liu; Zhuo Sun; Kyungmin Bae (TASE, 2016)

A Method for Predicting Two-Variable Atomicity Violations. - Zhuo Sun; Reng Zeng; Xudong He (QRS, 2018)