Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation. - Yang Zhao 011; Gianfranco Ciardo (ATVA, 2009)

Parallel symbolic state-space exploration is difficult, but what is the alternative? - Gianfranco Ciardo; Yang Zhao 011; Xiaoqing Jin (PDMC, 2009)

Symbolic Computation of Strongly Connected Components Using Saturation. - Yang Zhao 011; Gianfranco Ciardo (NASA Formal Methods, 2010)

Symbolic Verification and Test Generation for a Network of Communicating FSMs. - Xiaoqing Jin; Gianfranco Ciardo; Tae-Hyong Kim; Yang Zhao 011 (ATVA, 2011)

A Symbolic Algorithm for Shortest EG Witness Generation. - Yang Zhao 011; Xiaoqing Jin; Gianfranco Ciardo (TASE, 2011)

Symbolic computation of strongly connected components and fair cycles using saturation. - Yang Zhao 011; Gianfranco Ciardo (Innov. Syst. Softw. Eng., 2011)

A Two-Phase Gauss-Seidel Algorithm for the Stationary Solution of EVMDD-Encoded CTMCs. - Yang Zhao 011; Gianfranco Ciardo (QEST, 2012)

Ten Years of Saturation: A Petri Net Perspective. - Gianfranco Ciardo; Yang Zhao 011; Xiaoqing Jin (Trans. Petri Nets Other Model. Concurr., 2012)

Tackling Truncation Errors in CSL Model Checking through Bounding Semantics. - Yang Zhao 011; Gianfranco Ciardo (EPEW, 2013)

Bridging the Gap Between Logic and Probabilistic Model Checking. - Yang Zhao 011 (2013)