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 × Singapore
Collaborated with:
J.Hao J.Wu Y.Liu Z.Liang A.Martin Y.L.0001 J.S.0001 L.Tran H.Wang J.S.Dong T.Liu H.Wang L.L.0029 Y.G.0001 G.Xu
Talks about:
trust (2) platform (1) foundat (1) control (1) android (1) aggress (1) toward (1) formal (1) detect (1) comput (1)

Person: Guangdong Bai

DBLP DBLP: Bai:Guangdong

Contributed to:

FM 20142014
ASE 20182018
ASE 20192019

Wrote 3 papers:

FM-2014-BaiHWLLM #formal method #model checking #named #platform #towards
TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms (GB, JH, JW, YL, ZL, AM), pp. 110–126.
ASE-2018-Lin0TBWD #debugging #slicing
Break the dead end of dynamic slicing: localizing data and control omission bug (YL0, JS0, LT, GB, HW, JSD), pp. 509–519.
ASE-2019-LiuW0B0X #android #detection #named
DaPanda: Detecting Aggressive Push Notifications in Android Apps (TL, HW, LL0, GB, YG0, GX), pp. 66–78.

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.