BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
E.Torlak J.Bornholt A.Kaufmann J.Li A.Krishnamurthy S.Pernsteiner C.Loncaric Z.Tatlock M.D.Ernst J.Jacky
Talks about:
system (2) model (2) radiotherapi (1) pluggabl (1) investig (1) specifi (1) consist (1) checker (1) safeti (1) machin (1)

Person: Xi Wang 0005

DBLP DBLP: 0005:Xi_Wang

Contributed to:

CAV (2) 20162016
ASPLOS 20162016

Wrote 2 papers:

CAV-2016-PernsteinerLTTW #modelling #safety #using
Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers (SP, CL, ET, ZT, XW0, MDE, JJ), pp. 23–41.
ASPLOS-2016-BornholtKLKTW #file system #modelling #specification
Specifying and Checking File System Crash-Consistency Models (JB, AK, JL, AK, ET, XW0), pp. 83–98.

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.