| 2006 |
|---|
| 5 | EE | Ming-Ying Chung,
Gianfranco Ciardo,
Andy Jinqing Yu:
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis.
ATVA 2006: 51-66 |
| 4 | EE | Ming-Ying Chung,
Gianfranco Ciardo:
A dynamic firing speculation to speedup distributed symbolic state-space generation.
IPDPS 2006 |
| 3 | EE | Ming-Ying Chung,
Gianfranco Ciardo:
A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation.
Electr. Notes Theor. Comput. Sci. 135(2): 65-80 (2006) |
| 2004 |
|---|
| 2 | EE | 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 |
| 1 | EE | Ming-Ying Chung,
Gianfranco Ciardo:
Saturation NOW.
QEST 2004: 272-281 |
