Yuan Lu

According to our database, Yuan Lu authored at least 9 papers between 1997 and 2003.

Collaborative distances:

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

2003

Counterexample-guided abstraction refinement for symbolic model checking.

Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith

J. ACM, 2003

2002

Tree-Like Counterexamples in Model Checking.

Edmund M. Clarke, Somesh Jha, Yuan Lu, Helmut Veith

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

2001

Progress on the State Explosion Problem in Model Checking.

Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith

Proceedings of the Informatics - 10 Years Back. 10 Years Ahead., 2001

2000

Executable Protocol Specification in ESL.

Edmund M. Clarke, Steven M. German, Yuan Lu, Helmut Veith, Dong Wang

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

Efficient variable ordering using aBDD based sampling.

Yuan Lu, Jawahar Jain, Edmund M. Clarke, Masahiro Fujita

Proceedings of the 37th Conference on Design Automation, 2000

Analysis of composition complexity and how to obtain smaller canonical graphs.

Jawahar Jain, K. Mohanram, Dinos Moundanos, Ingo Wegener, Yuan Lu

Proceedings of the 37th Conference on Design Automation, 2000

Counterexample-Guided Abstraction Refinement.

Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Abstract BDDs: A Technique for Using Abstraction in Model Checking.

Edmund M. Clarke, Somesh Jha, Yuan Lu, Dong Wang

Proceedings of the Correct Hardware Design and Verification Methods, 1999

1997

Equivalence Checking Using Abstract BDDs.

Somesh Jha, Yuan Lu, Marius Minea, Edmund M. Clarke

Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997