Ming-Ying Chung

According to our database, Ming-Ying Chung authored at least 6 papers between 2004 and 2011.

Collaborative distances:

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

2011

Speculative Image Computation for Distributed Symbolic Reachability Analysis.

Ming-Ying Chung, Gianfranco Ciardo

J. Log. Comput., 2011

2006

A dynamic firing speculation to speedup distributed symbolic state-space generation.

Ming-Ying Chung, Gianfranco Ciardo

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis.

Ming-Ying Chung, Gianfranco Ciardo, Andy Jinqing Yu

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation.

Ming-Ying Chung, Gianfranco Ciardo

Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, 2005

2004

Saturation NOW.

Ming-Ying Chung, Gianfranco Ciardo

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

A Comparison of Structural Formalisms for Modeling Large Markov Models.

Ming-Ying Chung, Gianfranco Ciardo, Susanna Donatelli, N. He, Brigitte Plateau, William J. Stewart, E. Sulaiman, Andy Jinqing Yu

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004