Andy Jinqing Yu

According to our database, Andy Jinqing Yu authored at least 7 papers between 2004 and 2009.

Collaborative distances:

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

2009

Decision-diagram-based techniques for bounded reachability checking of asynchronous systems.

Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen

Int. J. Softw. Tools Technol. Transf., 2009

2007

Approximating stationary measures of structured continuous-time Markov models using matrix diagrams.

Gianfranco Ciardo, Andrew S. Miner, Min Wan, Andy Jinqing Yu

SIGMETRICS Perform. Evaluation Rev., 2007

Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams.

Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Improving Static Variable Orders Via Invariants.

Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

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

Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning.

Gianfranco Ciardo, Andy Jinqing Yu

Proceedings of the Correct Hardware Design and Verification Methods, 2005

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