Shao Jie Zhang

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