Travelled to:1 × Switzerland
1 × USA
Collaborated with:A.A.Sani S.Qin L.Zhong C.Fok C.Julien M.Kim
Talks about:paravirtu (1) framework (1) boundari (1) system (1) physic (1) assert (1) devic (1) debug (1) cyber (1) brace (1)
Person: Kevin Boos
DBLP: Boos:Kevin
Contributed to:
2014
2012Wrote 2 papers:
- ASPLOS-2014-SaniBQZ #bound
- I/o paravirtualization at the device file boundary (AAS, KB, SQ, LZ), pp. 319–332.
- ICSE-2012-BoosFJK #cyber-physical #debugging #framework #named
- BRACE: An assertion framework for debugging cyber-physical systems (KB, CLF, CJ, MK), pp. 1341–1344.