Kairong Qian

According to our database, Kairong Qian authored at least 7 papers between 2003 and 2006.

Collaborative distances:

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

2006

Formal symbolic verification using heuristic search and abstraction techniques.

Kairong Qian

PhD thesis, 2006

2005

Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis.

Kairong Qian, Albert Nymeyer

Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, 2005

Experiments with Multiple Abstraction Heuristics in Symbolic Verification.

Kairong Qian, Albert Nymeyer, Steven Susanto

Proceedings of the Abstraction, 2005

Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis.

Kairong Qian, Albert Nymeyer, Steven Susanto

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004

Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases.

Kairong Qian, Albert Nymeyer

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

Abstraction-Based Model Checking Using Heuristical Refinement.

Kairong Qian, Albert Nymeyer

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003

Heuristic Search Algorithms Based on Symbolic Data Structures.

Albert Nymeyer, Kairong Qian

Proceedings of the AI 2003: Advances in Artificial Intelligence, 2003