Travelled to:1 × Germany
1 × Taiwan
Collaborated with:M.Su Y.Chen Z.Li A.Wang A.M.Al-Ahmari S.H.Tan Z.Dong A.Roychoudhury
Talks about:determinist (1) transit (1) synthet (1) sequenc (1) problem (1) monitor (1) general (1) android (1) system (1) symbol (1)
Person: Xiang Gao
DBLP: Gao:Xiang
Contributed to:
2014
2010
2018Wrote 3 papers:
- CASE-2014-GaoLWA #monitoring #petri net #problem #sequence #using
- A monitor solution to enforce legal transition firing sequences problems by using Petri nets (XG, ZL, AW, AMAA), pp. 419–424.
- DATE-2010-SuCG #multi
- A general method to make multi-clock system deterministic (MS, YC, XG), pp. 1480–1485.
- ASE-2018-GaoTDR #android #execution #symbolic computation #testing
- Android testing via synthetic symbolic execution (XG, SHT, ZD, AR), pp. 419–429.