Shao Jie Zhang

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 1

Top Topics

Formal Verification

Symmetry Detection

Qualitative And Quantitative

Top Venues

Int. J. Softw. Tools Technol. Transf.

Frontiers Comput. Sci.

Publications

Kiran Adhikari, James Street, Chao Wang, Yang Liu, Shao Jie Zhang
Verifying a quantitative relaxation of linearizability via refinement. Int. J. Softw. Tools Technol. Transf. 18 (4) (2016)
Yuanjie Si, Jun Sun, Yang Liu, Jin Song Dong, Jun Pang, Shao Jie Zhang, Xiaohu Yang
Model checking with fairness assumptions using PAT. Frontiers Comput. Sci. 8 (1) (2014)
Yang Liu, Yi Xu, Shao Jie Zhang, Chengzheng Sun
Formal Verification of Operational Transformation. FM (2014)
Shao Jie Zhang, Jun Sun, Chengnian Sun, Yang Liu, Junwei Ma, Jin Song Dong
Constraint-based automatic symmetry detection. ASE (2013)
Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun, Shao Jie Zhang, Jin Song Dong
Verifying Linearizability via Optimized Refinement Checking. IEEE Trans. Software Eng. 39 (7) (2013)
Kiran Adhikari, James Street, Chao Wang, Yang Liu, Shao Jie Zhang
Verifying a Quantitative Relaxation of Linearizability via Refinement. SPIN (2013)
Shao Jie Zhang, Jun Sun, Jun Pang, Yang Liu, Jin Song Dong
On Combining State Space Reductions with Global Fairness Assumptions. FM (2011)
Chengnian Sun, Siau-Cheng Khoo, Shao Jie Zhang
Graph-based detection of library API imitations. ICSM (2011)
Shao Jie Zhang
Scalable automatic linearizability checking. ICSE (2011)
Shao Jie Zhang, Yang Liu
Model Checking a Lazy Concurrent List-Based Set Algorithm. SSIRI (2010)
Shao Jie Zhang, Yang Liu
An Automatic Approach to Model Checking UML State Machines. SSIRI (Companion) (2010)
Shao Jie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen, Yanhong A. Liu
Formal Verification of Scalable NonZero Indicators. SEKE (2009)