Reng Zeng

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