Reng Zeng

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 2

Top Topics

Linear Temporal Logic

Top Venues

Publications

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