We stand with Ukraine  

Yang Zhao

Affiliations:
  • University of California, Riverside, USA (PhD 2013)


According to our database1, Yang Zhao authored at least 7 papers between 2009 and 2013.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Bridging the Gap Between Logic and Probabilistic Model Checking.
[BibTeX]
[DOI]
Yang Zhao
PhD thesis, 2013

Tackling Truncation Errors in CSL Model Checking through Bounding Semantics.
[BibTeX]
[DOI]
Yang Zhao
,
Gianfranco Ciardo
Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

2012
A Two-Phase Gauss-Seidel Algorithm for the Stationary Solution of EVMDD-Encoded CTMCs.
[BibTeX]
[DOI]
Yang Zhao
,
Gianfranco Ciardo
Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

2011
A Symbolic Algorithm for Shortest EG Witness Generation.
[BibTeX]
[DOI]
Yang Zhao
,
Xiaoqing Jin
,
Gianfranco Ciardo
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Symbolic Verification and Test Generation for a Network of Communicating FSMs.
[BibTeX]
[DOI]
Xiaoqing Jin
,
Gianfranco Ciardo
,
Tae-Hyong Kim
,
Yang Zhao
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
Symbolic Computation of Strongly Connected Components Using Saturation.
[BibTeX]
Yang Zhao
,
Gianfranco Ciardo
Proceedings of the Second NASA Formal Methods Symposium, 2010

2009
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation.
[BibTeX]
[DOI]
Yang Zhao
,
Gianfranco Ciardo
Proceedings of the Automated Technology for Verification and Analysis, 2009


  Loading...