Yang Zhao

According to our database, Yang Zhao authored at least 10 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Bridging the Gap Between Logic and Probabilistic Model Checking.

Yang Zhao

PhD thesis, 2013

Tackling Truncation Errors in CSL Model Checking through Bounding Semantics.

Yang Zhao, Gianfranco Ciardo

Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

2012

Ten Years of Saturation: A Petri Net Perspective.

Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin

Trans. Petri Nets Other Model. Concurr., 2012

A Two-Phase Gauss-Seidel Algorithm for the Stationary Solution of EVMDD-Encoded CTMCs.

Yang Zhao, Gianfranco Ciardo

Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

2011

Symbolic computation of strongly connected components and fair cycles using saturation.

Yang Zhao, Gianfranco Ciardo

Innov. Syst. Softw. Eng., 2011

A Symbolic Algorithm for Shortest EG Witness Generation.

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.

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.

Yang Zhao, Gianfranco Ciardo

Proceedings of the Second NASA Formal Methods Symposium, 2010

2009

Parallel symbolic state-space exploration is difficult, but what is the alternative?

Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin

Proceedings of the Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 2009

Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation.

Yang Zhao, Gianfranco Ciardo

Proceedings of the Automated Technology for Verification and Analysis, 2009