Yang Liu

According to our database1, Yang Liu authored at least 4 papers between 2016 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm.
IEEE Access, 2019

Genetic Algorithm-Based Assume-Guarantee Reasoning for Stochastic Model Checking.
Proceedings of the 17th IEEE International Conference on Software Engineering Research, 2019

2017
A specification with performance evaluation for probabilistic timed automata.
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.
International Journal of Software Engineering and Knowledge Engineering, 2016


  Loading...