A Comparison of Structural Formalisms for Modeling Large Markov Models. - Ming-Ying Chung; Gianfranco Ciardo; Susanna Donatelli; N. He; Brigitte Plateau; William J. Stewart 001; E. Sulaiman; Andy Jinqing Yu (IPDPS Next Generation Software Program - NSFNGS - PI Workshop, 2004)

Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning. - Gianfranco Ciardo; Andy Jinqing Yu (CHARME, 2005)

A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis. - Ming-Ying Chung; Gianfranco Ciardo; Andy Jinqing Yu (ATVA, 2006)

Improving Static Variable Orders Via Invariants. - Gianfranco Ciardo; Gerald Lüttgen; Andy Jinqing Yu (ICATPN, 2007)

Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams. - Andy Jinqing Yu; Gianfranco Ciardo; Gerald Lüttgen (TACAS, 2007)

Approximating stationary measures of structured continuous-time Markov models using matrix diagrams. - Gianfranco Ciardo; Andrew S. Miner; Min Wan; Andy Jinqing Yu (SIGMETRICS Perform. Evaluation Rev., 2007)

Decision-diagram-based techniques for bounded reachability checking of asynchronous systems. - Andy Jinqing Yu; Gianfranco Ciardo; Gerald Lüttgen (Int. J. Softw. Tools Technol. Transf., 2009)