Shao Jie Zhang

According to our database, Shao Jie Zhang authored at least 11 papers between 2009 and 2016.

Collaborative distances:

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

2016

Verifying a quantitative relaxation of linearizability via refinement.

Kiran Adhikari, James Street, Chao Wang, Yang Liu, Shao Jie Zhang

Int. J. Softw. Tools Technol. Transf., 2016

2014

Model checking with fairness assumptions using PAT.

Yuanjie Si, Jun Sun, Yang Liu, Jin Song Dong, Jun Pang, Shao Jie Zhang, Xiaohu Yang

Frontiers Comput. Sci., 2014

Formal Verification of Operational Transformation.

Yang Liu, Yi Xu, Shao Jie Zhang, Chengzheng Sun

Proceedings of the FM 2014: Formal Methods, 2014

2013

Verifying Linearizability via Optimized Refinement Checking.

Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun, Shao Jie Zhang, Jin Song Dong

IEEE Trans. Software Eng., 2013

Constraint-based automatic symmetry detection.

Shao Jie Zhang, Jun Sun, Chengnian Sun, Yang Liu, Junwei Ma, Jin Song Dong

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2011

Graph-based detection of library API imitations.

Chengnian Sun, Siau-Cheng Khoo, Shao Jie Zhang

Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

Scalable automatic linearizability checking.

Shao Jie Zhang

Proceedings of the 33rd International Conference on Software Engineering, 2011

On Combining State Space Reductions with Global Fairness Assumptions.

Shao Jie Zhang, Jun Sun, Jun Pang, Yang Liu, Jin Song Dong

Proceedings of the FM 2011: Formal Methods, 2011

2010

An Automatic Approach to Model Checking UML State Machines.

Shao Jie Zhang, Yang Liu

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Model Checking a Lazy Concurrent List-Based Set Algorithm.

Shao Jie Zhang, Yang Liu

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

2009

Formal Verification of Scalable NonZero Indicators.

Shao Jie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen, Yanhong A. Liu

Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009