Recursive Identification for Dynamic Linear Systems from Noisy Input-Output Measurements

by Dan Fan, Kueiming Lo
Published 2013-01-01

A Software Vulnerability Rating Approach Based on the Vulnerability Database

by Jian Luo, Kueiming Lo, Haoran Qu
Published 2014-01-01

Convergence Analysis of EFOP Estimate Based on Frequency Domain Smoothing

by Yulai Zhang, Kueiming Lo, Yang Su
Published 2013-01-01

Compositional Abstraction Refinement for Component-Based Systems

by Lianyi Zhang, Qingdi Meng, Kueiming Lo
Published 2014-01-01

Formal Modeling and Verification for MVB

by Mo Xia, Kueiming Lo, Shuangjia Shao, Mian Sun
Published 2013-01-01