Shao Jie Zhang

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Verifying a quantitative relaxation of linearizability via refinement.
Int. J. Softw. Tools Technol. Transf., 2016

2014
Model checking with fairness assumptions using PAT.
Frontiers Comput. Sci., 2014

Formal Verification of Operational Transformation.
Proceedings of the FM 2014: Formal Methods, 2014

2013
Verifying Linearizability via Optimized Refinement Checking.
IEEE Trans. Software Eng., 2013

Constraint-based automatic symmetry detection.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2011
Graph-based detection of library API imitations.
Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

Scalable automatic linearizability checking.
Proceedings of the 33rd International Conference on Software Engineering, 2011

On Combining State Space Reductions with Global Fairness Assumptions.
Proceedings of the FM 2011: Formal Methods, 2011

2010
An Automatic Approach to Model Checking UML State Machines.
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Model Checking a Lazy Concurrent List-Based Set Algorithm.
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

2009
Formal Verification of Scalable NonZero Indicators.
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009


  Loading...