Formal verification for embedded software with cognitive environment modelling. - Qingdi Meng; Lianyi Zhang; Guiming Luo (ICCI*CC, 2014)

Optimized symbolic model checking for component-based systems. - Lianyi Zhang; Qingdi Meng; Guiming Luo (ICCI*CC, 2014)

Counterexample-Guided Abstraction Refinement for Component-Based Systems. - Lianyi Zhang; Qingdi Meng; Guiming Luo (COMPSAC, 2014)

Model Checking (k, d)-Markov Chain with ipLTL. - Lianyi Zhang; Qingdi Meng; Guiming Luo (KSEM, 2014)

Compositional Abstraction Refinement for Component-Based Systems. - Lianyi Zhang; Qingdi Meng; Kueiming Lo (J. Appl. Math., 2014)

Verification of lean-kanban processes with probabilistic model checking. - Lianyi Zhang; Qingdi Meng; Guiming Luo (Int. J. Comput. Appl. Technol., 2016)