Travelled to:1 × China
1 × Finland
1 × Singapore
1 × Switzerland
1 × USA
Collaborated with:Y.Liu J.Sun J.S.Dong Y.Liu T.K.Nguyen S.Song Y.J.Si X.Wang
Talks about:reliabl (4) analysi (3) system (3) distribut (2) determinist (1) reachabl (1) communic (1) abstract (1) toolkit (1) predict (1)
Person: Lin Gui
DBLP: Gui:Lin
Contributed to:
2015
2014
2014
20132013Wrote 5 papers:
- ISSTA-2015-GuiSLD #abstraction #assessment #communication #distributed #refinement #reliability
- Reliability assessment for distributed systems via communication abstraction and refinement (LG, JS, YL, JSD), pp. 293–304.
- FM-2014-LiuGL #analysis #reliability
- MDP-Based Reliability Analysis of an Ambient Assisted Living System (YL, LG, YL), pp. 688–702.
- FSE-2014-Gui00ND #agile #analysis #named #nondeterminism #reliability #tool support
- RaPiD: a toolkit for reliability analysis of non-deterministic systems (LG, JS, YL, TKN, JSD), pp. 727–730.
- IFM-2013-Song00LD #analysis #divide and conquer #reachability
- Improved Reachability Analysis in DTMC via Divide and Conquer (SS, LG, JS, YL, JSD), pp. 162–176.
- ISSTA-2013-GuiSLSDW #model checking #predict #reliability #testing
- Combining model checking and testing with an application to reliability prediction and distribution (LG, JS, YL, YJS, JSD, XW), pp. 101–111.