Follow
Yang Zhao
Yang Zhao
Ph.D on Computer Science
Verified email at cs.ucr.edu
Title
Cited by
Cited by
Year
Formal specification and verification of a coordination protocol for an automated air traffic control system
Y Zhao, KY Rozier
Science of Computer Programming 96, 337-353, 2014
512014
Symbolic CTL model checking of asynchronous systems using constrained saturation
Y Zhao, G Ciardo
International Symposium on Automated Technology for Verification and …, 2009
442009
Ten years of saturation: A Petri net perspective
G Ciardo, Y Zhao, X Jin
Transactions on Petri Nets and Other Models of Concurrency V, 51-95, 2012
342012
Probabilistic model checking for comparative analysis of automated air traffic control systems
Y Zhao, KY Rozier
2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 690-695, 2014
242014
Parallel symbolic state-space exploration is difficult, but what is the alternative?
G Ciardo, Y Zhao, X Jin
arXiv preprint arXiv:0912.2785, 2009
202009
Symbolic computation of strongly connected components and fair cycles using saturation
Y Zhao, G Ciardo
Innovations in Systems and Software Engineering 7, 141-150, 2011
192011
A symbolic algorithm for shortest EG witness generation
Y Zhao, X Jin, G Ciardo
2011 Fifth International Conference on Theoretical Aspects of Software …, 2011
112011
Symbolic verification and test generation for a network of communicating FSMs
X Jin, G Ciardo, TH Kim, Y Zhao
International Symposium on Automated Technology for Verification and …, 2011
82011
Symbolic computation of strongly connected components using saturation
Y Zhao, G Ciardo
Proceedings of the Second NASA Formal Methods Symposium, 2010
62010
Transactions on petri nets and other models of concurrency v
G Ciardo, Y Zhao, X Jin
ch. Ten Years of Saturation: A Petri Net Perspective, 51-95, 2012
52012
A two-phase Gauss-Seidel algorithm for the stationary solution of EVMDD-encoded CTMCs
Y Zhao, G Ciardo
2012 Ninth International Conference on Quantitative Evaluation of Systems, 74-83, 2012
42012
Tackling truncation errors in CSL model checking through bounding semantics
Y Zhao, G Ciardo
European Workshop on Performance Engineering, 58-73, 2013
22013
The system can't perform the operation now. Try again later.
Articles 1–12