 | 2011 |
|---|
| 6 |       | Ming-Ying Chung,
Gianfranco Ciardo:
Speculative Image Computation for Distributed Symbolic Reachability Analysis.
J. Log. Comput. 21(1): 63-83 (2011) |
| 2006 |
|---|
| 5 | | Ming-Ying Chung,
Gianfranco Ciardo,
Andy Jinqing Yu:
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis.
ATVA 2006: 51-66 |
| 4 | | Ming-Ying Chung,
Gianfranco Ciardo:
A dynamic firing speculation to speedup distributed symbolic state-space generation.
IPDPS 2006 |
| 3 | | 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 | | 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 | | Ming-Ying Chung,
Gianfranco Ciardo:
Saturation NOW.
QEST 2004: 272-281 |
Data released under the ODC-BY 1.0 license — See also our legal information page