According to our database1, Yang Liu authored at least 4 papers between 2016 and 2019.
Legend:Book In proceedings Article PhD thesis Other
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
A specification with performance evaluation for probabilistic timed automata.
Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017
Counterexample Generation in Stochastic Model Checking Based on PSO Algorithm with Heuristic.
International Journal of Software Engineering and Knowledge Engineering, 2016