Yuan Lu

Publication Activity (10 Years)

Years Active: 1997-2003
Publications (10 Years): 0

Publications

Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
Counterexample-guided abstraction refinement for symbolic model checking. J. ACM 50 (5) (2003)
Edmund M. Clarke, Somesh Jha, Yuan Lu, Helmut Veith
Tree-Like Counterexamples in Model Checking. LICS (2002)
Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
Progress on the State Explosion Problem in Model Checking. Informatics (2001)
Edmund M. Clarke, Steven M. German, Yuan Lu, Helmut Veith, Dong Wang
Executable Protocol Specification in ESL. FMCAD (2000)
Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
Counterexample-Guided Abstraction Refinement. CAV (2000)
Jawahar Jain, K. Mohanram, Dinos Moundanos, Ingo Wegener, Yuan Lu
Analysis of composition complexity and how to obtain smaller canonical graphs. DAC (2000)
Yuan Lu, Jawahar Jain, Edmund M. Clarke, Masahiro Fujita
Efficient variable ordering using aBDD based sampling. DAC (2000)
Edmund M. Clarke, Somesh Jha, Yuan Lu, Dong Wang
Abstract BDDs: A Technique for Using Abstraction in Model Checking. CHARME (1999)
Somesh Jha, Yuan Lu, Marius Minea, Edmund M. Clarke
Equivalence Checking Using Abstract BDDs. ICCD (1997)