Reng Zeng

According to our database, Reng Zeng authored at least 13 papers between 2008 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

A Method for Predicting Two-Variable Atomicity Violations.

Zhuo Sun, Reng Zeng, Xudong He

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

2016

A Term Rewriting Approach to Analyze High Level Petri Nets.

Xudong He, Reng Zeng, Su Liu, Zhuo Sun, Kyungmin Bae

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

2015

A Method for Improving the Precision and Coverage of Atomicity Violation Predictions.

Reng Zeng, Zhuo Sun, Su Liu, Xudong He

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014

Bounded Model Checking High Level Petri Nets in PIPE+Verifier.

Su Liu, Reng Zeng, Zhuo Sun, Xudong He

Proceedings of the Formal Methods and Software Engineering, 2014

2012

McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking.

Reng Zeng, Zhuo Sun, Su Liu, Xudong He

Proceedings of the Model Checking Software - 19th International Workshop, 2012

SAMAT - A Tool for Software Architecture Modeling and Analysis.

Su Liu, Reng Zeng, Zhuo Sun, Xudong He

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

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

Proceedings of the 3rd Workshop on the Theory and Practice of Provenance, 2011

A Method to Mine Workflows from Provenance for Assisting Scientific Workflow Composition.

Reng Zeng, Xudong He, Wil M. P. van der Aalst

Proceedings of the World Congress on Services, 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

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

An Empirical Study on Classification of Non-Functional Requirements.

Su Liu, Reng Zeng, Xudong He

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

PIPE+ - A Modeling Tool for High Level Petri Nets.

Su Liu, Reng Zeng, Xudong He

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

2010

Analyzing a Formal Specification of Mondex Using Model Checking.

Reng Zeng, Xudong He

Proceedings of the Theoretical Aspects of Computing, 2010

2008

A Formal Specification of Mondex Using SAM.

Reng Zeng, Jianling Liu, Xudong He

Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008