Reliability Analysis of Non-deterministic Systems

by GUI LIN
Published 2014

Report on industrial attachment with Temasek Lab@NTU

by Gui, Lin.
Published 2010

Ultrasonic cavitation in machining

by How, Gui Lin
Published 2016

Reliability assessment for distributed systems via communication abstraction and refinement

by GUI, Lin, SUN, Jun, LIU, Yang, DONG, Jin Song
Published 2015

Improved reachability analysis in DTMC via divide and conquer

by SONG, Songzheng, GUI, Lin, SUN, Jun, LIU, Yang, DONG, Jin Song
Published 2013

SCC-based improved reachability analysis for Markov decision processes

by GUI, Lin, SUN, Jun, SONG, Songzheng, LIU, Yang, DONG, Jin Song
Published 2014

Block pilot based channel estimation and high-accuracy signal detection for GSM-OFDM systems on high-speed railways

by Gong, Bo, Gui, Lin, Luo, Sheng, Guan, Yong Liang, Liu, Zilong, Fan, Pingzhi
Published 2019

Combining model checking and testing with an application to reliability prediction and distribution

by GUI, Lin, SUN, Jun, LIU, Yang, SI, Yuanjie, DONG, Jin Song, WANG, Xinyu
Published 2013

RaPiD: A toolkit for reliability analysis of non-deterministic systems

by GUI, Lin, SUN, Jun, LIU, Yang, NGUYEN, Truong Khanh, DONG, Jin Song Dong
Published 2014

Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction

by HAO, Jianye, SONG, Songzheng, LIU, Yang, SUN, Jun, GUI, Lin, DONG, Jin Song, LEUNG, Ho-fung
Published 2012