Travelled to:1 × Ireland
1 × Singapore
4 × USA
Collaborated with:Y.Liu J.Sun J.S.Dong C.Sun ∅ S.Khoo Y.Xu C.Sun J.Pang J.Ma W.Chen Y.A.Liu
Talks about:scalabl (2) automat (2) formal (2) detect (2) verif (2) base (2) constraint (1) transform (1) symmetri (1) lineariz (1)
Person: Shao Jie Zhang
DBLP: Zhang:Shao_Jie
Contributed to:
2014
20132011
2011
2011
2009Wrote 6 papers:
- FM-2014-LiuXZS #verification
- Formal Verification of Operational Transformation (YL, YX, SJZ, CS), pp. 432–448.
- ASE-2013-Zhang0SLMD #automation #constraints #detection #symmetry
- Constraint-based automatic symmetry detection (SJZ, JS, CS, YL, JM, JSD), pp. 15–25.
- FM-2011-ZhangSPLD #on the #reduction
- On Combining State Space Reductions with Global Fairness Assumptions (SJZ, JS, JP, YL, JSD), pp. 432–447.
- ICSE-2011-Zhang11a #automation #scalability
- Scalable automatic linearizability checking (SJZ), pp. 1185–1187.
- ICSM-2011-SunKZ #api #detection #graph #library
- Graph-based detection of library API imitations (CS, SCK, SJZ), pp. 183–192.
- SEKE-2009-ZhangLSDCL #scalability #verification
- Formal Verification of Scalable NonZero Indicators (SJZ, YL, JS, JSD, WC, YAL), pp. 406–411.