Login / Signup
Yang Liu
ORCID
Publication Activity (10 Years)
Years Active: 2016-2021
Publications (10 Years): 6
Top Topics
Genetic Algorithm
Formal Specification
Temporal Properties
Model Checking
Top Venues
SERA
ICNCC
ISKE
Int. J. Softw. Eng. Knowl. Eng.
</>
Publications
</>
Tingting Bao
,
Yang Liu
A privacy-preserving framework for smart contracts based on stochastic model checking.
TrustCom
(2021)
Yan Ma
,
Zining Cao
,
Yang Liu
A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm.
IEEE Access
7 (2019)
Yan Ma
,
Zining Cao
,
Yang Liu
Genetic Algorithm-Based Assume-Guarantee Reasoning for Stochastic Model Checking.
SERA
(2019)
Tingting Zheng
,
Yang Liu
Genetic Algorithm for Generating Counterexample in Stochastic Model Checking.
ICNCC
(2018)
Yan Ma
,
Zining Cao
,
Yang Liu
A specification with performance evaluation for probabilistic timed automata.
ISKE
(2017)
Yan Ma
,
Zining Cao
,
Yang Liu
Counterexample Generation in Stochastic Model Checking Based on PSO Algorithm with Heuristic.
Int. J. Softw. Eng. Knowl. Eng.
26 (7) (2016)