 | 2009 |
|---|
| 7 |       | Andy Jinqing Yu,
Gianfranco Ciardo,
Gerald Lüttgen:
Decision-diagram-based techniques for bounded reachability checking of asynchronous systems.
STTT 11(2): 117-131 (2009) |
| 2007 |
|---|
| 6 | | Gianfranco Ciardo,
Gerald Lüttgen,
Andy Jinqing Yu:
Improving Static Variable Orders Via Invariants.
ICATPN 2007: 83-103 |
| 5 | | Andy Jinqing Yu,
Gianfranco Ciardo,
Gerald Lüttgen:
Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams.
TACAS 2007: 648-663 |
| 4 | | Gianfranco Ciardo,
Andrew S. Miner,
Min Wan,
Andy Jinqing Yu:
Approximating stationary measures of structured continuous-time Markov models using matrix diagrams.
SIGMETRICS Performance Evaluation Review 35(3): 16-18 (2007) |
| 2006 |
|---|
| 3 | | Ming-Ying Chung,
Gianfranco Ciardo,
Andy Jinqing Yu:
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis.
ATVA 2006: 51-66 |
| 2005 |
|---|
| 2 | | Gianfranco Ciardo,
Andy Jinqing Yu:
Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning.
CHARME 2005: 146-161 |
| 2004 |
|---|
| 1 | | 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 |
