Yang Zhao
Yang Zhao
Ph.D on Computer Science
Bestätigte E-Mail-Adresse bei cs.ucr.edu
Titel
Zitiert von
Zitiert von
Jahr
Symbolic CTL model checking of asynchronous systems using constrained saturation
Y Zhao, G Ciardo
International Symposium on Automated Technology for Verification and …, 2009
452009
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
322014
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
312012
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
192014
Parallel symbolic state-space exploration is difficult, but what is the alternative?
G Ciardo, Y Zhao, X Jin
arXiv preprint arXiv:0912.2785, 2009
182009
Symbolic computation of strongly connected components and fair cycles using saturation
Y Zhao, G Ciardo
Innovations in Systems and Software Engineering 7 (2), 141-150, 2011
142011
Formal specification and verification of a coordination protocol for an automated air traffic control system
Y Zhao, KY Rozier
Electronic Communications of the EASST 53, 2012
112012
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
72011
A symbolic algorithm for shortest EG witness generation
Y Zhao, X Jin, G Ciardo
2011 Fifth International Conference on Theoretical Aspects of Software …, 2011
72011
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
Symbolic Computation of Strongly Connected Components Using Saturation.
Y Zhao, G Ciardo
NASA Formal Methods, 202-211, 2010
42010
Tackling truncation errors in CSL model checking through bounding semantics
Y Zhao, G Ciardo
European Workshop on Performance Engineering, 58-73, 2013
22013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–12