Counterexample Generation in Stochastic Model Checking Based on PSO Algorithm with Heuristic. - Yan Ma; Zining Cao; Yang Liu 135 (Int. J. Softw. Eng. Knowl. Eng., 2016)

A specification with performance evaluation for probabilistic timed automata. - Yan Ma; Zining Cao; Yang Liu 135 (ISKE, 2017)

Genetic Algorithm for Generating Counterexample in Stochastic Model Checking. - Tingting Zheng; Yang Liu 135 (ICNCC, 2018)

Genetic Algorithm-Based Assume-Guarantee Reasoning for Stochastic Model Checking. - Yan Ma; Zining Cao; Yang Liu 135 (SERA, 2019)

A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm. - Yan Ma; Zining Cao; Yang Liu 135 (IEEE Access, 2019)

A privacy-preserving framework for smart contracts based on stochastic model checking. - Tingting Bao; Yang Liu 135 (TrustCom, 2021)