Ming-Ying Chung

Publication Activity (10 Years)

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

Publications

Ming-Ying Chung, Gianfranco Ciardo
Speculative Image Computation for Distributed Symbolic Reachability Analysis. J. Log. Comput. 21 (1) (2011)
Ming-Ying Chung, Gianfranco Ciardo
A dynamic firing speculation to speedup distributed symbolic state-space generation. IPDPS (2006)
Ming-Ying Chung, Gianfranco Ciardo
A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation. Electron. Notes Theor. Comput. Sci. 135 (2) (2006)
Ming-Ying Chung, Gianfranco Ciardo, Andy Jinqing Yu
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis. ATVA (2006)
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)
Ming-Ying Chung, Gianfranco Ciardo
Saturation NOW. QEST (2004)