Yang Liu

According to our database, Yang Liu authored at least 6 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

A privacy-preserving framework for smart contracts based on stochastic model checking.

Tingting Bao, Yang Liu

Proceedings of the 20th IEEE International Conference on Trust, 2021

2019

A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm.

Yan Ma, Zining Cao, Yang Liu

IEEE Access, 2019

Genetic Algorithm-Based Assume-Guarantee Reasoning for Stochastic Model Checking.

Yan Ma, Zining Cao, Yang Liu

Proceedings of the 17th IEEE International Conference on Software Engineering Research, 2019

2018

Genetic Algorithm for Generating Counterexample in Stochastic Model Checking.

Tingting Zheng, Yang Liu

Proceedings of the VII International Conference on Network, Communication and Computing, 2018

2017

A specification with performance evaluation for probabilistic timed automata.

Yan Ma, Zining Cao, Yang Liu

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

2016

Counterexample Generation in Stochastic Model Checking Based on PSO Algorithm with Heuristic.

Yan Ma, Zining Cao, Yang Liu

Int. J. Softw. Eng. Knowl. Eng., 2016