Travelled to:1 × Canada
1 × USA
Collaborated with:A.Chen W.B.Moore H.Xiao A.Haeberlen M.Sherr W.Zhou J.H.Kim A.Boudjadar U.Nyman M.Mikucionis K.G.Larsen A.Skou I.Lee
Talks about:time (2) determinist (1) hierarch (1) schedul (1) quantit (1) probabl (1) continu (1) context (1) channel (1) analysi (1)
Person: Linh Thi Xuan Phan
DBLP: Phan:Linh_Thi_Xuan
Contributed to:
2015
2014Wrote 2 papers:
- CBSE-2015-KimBNMLSLP #analysis #probability #scheduling
- Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context (JHK, AB, UN, MM, KGL, AS, IL, LTXP), pp. 91–100.
- OSDI-2014-ChenMXHPSZ #detection
- Detecting Covert Timing Channels with Time-Deterministic Replay (AC, WBM, HX, AH, LTXP, MS, WZ), pp. 541–554.