Report on industrial attachment with Temasek Lab@NTU

由 Gui, Lin.
出版 2010

Reliability Analysis of Non-deterministic Systems

由 GUI LIN
出版 2014

Ultrasonic cavitation in machining

由 How, Gui Lin
出版 2016

Reliability assessment for distributed systems via communication abstraction and refinement

由 GUI, Lin, SUN, Jun, LIU, Yang, DONG, Jin Song
出版 2015

Improved reachability analysis in DTMC via divide and conquer

由 SONG, Songzheng, GUI, Lin, SUN, Jun, LIU, Yang, DONG, Jin Song
出版 2013

SCC-based improved reachability analysis for Markov decision processes

由 GUI, Lin, SUN, Jun, SONG, Songzheng, LIU, Yang, DONG, Jin Song
出版 2014

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

由 Gong, Bo, Gui, Lin, Luo, Sheng, Guan, Yong Liang, Liu, Zilong, Fan, Pingzhi
出版 2019

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

由 GUI, Lin, SUN, Jun, LIU, Yang, SI, Yuanjie, DONG, Jin Song, WANG, Xinyu
出版 2013

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

由 GUI, Lin, SUN, Jun, LIU, Yang, NGUYEN, Truong Khanh, DONG, Jin Song Dong
出版 2014

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

由 HAO, Jianye, SONG, Songzheng, LIU, Yang, SUN, Jun, GUI, Lin, DONG, Jin Song, LEUNG, Ho-fung
出版 2012