Andy Jinqing Yu

Publication Activity (10 Years)

Years Active: 2004-2009
Publications (10 Years): 0

Publications

Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen
Decision-diagram-based techniques for bounded reachability checking of asynchronous systems. Int. J. Softw. Tools Technol. Transf. 11 (2) (2009)
Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen
Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams. TACAS (2007)
Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu
Improving Static Variable Orders Via Invariants. ICATPN (2007)
Gianfranco Ciardo, Andrew S. Miner, Min Wan, Andy Jinqing Yu
Approximating stationary measures of structured continuous-time Markov models using matrix diagrams. SIGMETRICS Perform. Evaluation Rev. 35 (3) (2007)
Ming-Ying Chung, Gianfranco Ciardo, Andy Jinqing Yu
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis. ATVA (2006)
Gianfranco Ciardo, Andy Jinqing Yu
Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning. CHARME (2005)
Ming-Ying Chung, Gianfranco Ciardo, Susanna Donatelli, N. He, Brigitte Plateau, William J. Stewart, E. Sulaiman, Andy Jinqing Yu
A Comparison of Structural Formalisms for Modeling Large Markov Models. IPDPS Next Generation Software Program - NSFNGS - PI Workshop (2004)