BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Switzerland
1 × United Kingdom
Collaborated with:
S.Ratschan H.Zhou Q.Cheng F.Klaedtke B.X.0001 A.Easwaran L.Zhang H.Hermanns E.M.Hahn
Talks about:
system (2) hybrid (2) verif (2) base (2) reparameter (1) probabilist (1) structur (1) reachabl (1) backward (1) approxim (1)

Person: Zhikun She

DBLP DBLP: She:Zhikun

Contributed to:

CAV 20102010
SAC 20102010
VMCAI 20072007
CAV (1) 20162016

Wrote 4 papers:

CAV-2010-ZhangSRHH #hybrid #probability #safety #verification
Safety Verification for Probabilistic Hybrid Systems (LZ, ZS, SR, HH, EMH), pp. 196–211.
SAC-2010-ZhouCS #consistency #linear #source code
Reparameterization based consistent graph-structured linear programs (HZ, QC, ZS), pp. 974–978.
VMCAI-2007-KlaedtkeRS #abstraction #hybrid #refinement #verification
Language-Based Abstraction Refinement for Hybrid System Verification (FK, SR, ZS), pp. 151–166.
CAV-2016-XueSE #approximate #set
Under-Approximating Backward Reachable Sets by Polytopes (BX0, ZS, AE), pp. 457–476.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.