Yang Zhao
Yang Zhao
Ph.D on Computer Science
Email verificata su cs.ucr.edu
Titolo
Citata da
Citata da
Anno
Symbolic CTL model checking of asynchronous systems using constrained saturation
Y Zhao, G Ciardo
International Symposium on Automated Technology for Verification and …, 2009
442009
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
382014
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
302012
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
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
162014
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
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
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
52011
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
42010
Tackling truncation errors in CSL model checking through bounding semantics
Y Zhao, G Ciardo
European Workshop on Performance Engineering, 58-73, 2013
22013
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–11