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: 0005:Xi_Wang
Contributed to:
2016
2016Wrote 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.