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 × 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 DBLP: Phan:Linh_Thi_Xuan

Contributed to:

CBSE 20152015
OSDI 20142014

Wrote 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.

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.