MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Yuan Lu" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

13 documents found, showing 1 through 10. Next 10 →

ATOM

Automatic Abstraction in Model Checking
by Yuan Lu — 2000
…Automatic Abstraction in Model Checking Yuan Lu December 2000 Department of Electrical…
Cited by 3 (0 self) – Add To MetaCart

Embedded tutorial: Formal equivalence checking between system-level models and RTL
by Alfred Koelbl, Yuan Lu, Anmol Mathur — 2005 — ICCAD
… Synopsys Yuan Lu Broadcom Anmol Mathur Calypto Design Systems 0-7803-9254-X/05/$20.00 ©2005 IEEE. 965 1…
Cited by 5 (0 self) – Add To MetaCart

Efficient Variable Ordering Using aBDD Based Sampling
by Yuan Lu, Jawahar Jain, Edmund Clarke, Masahiro Fujita — 2000 — In Proceedings of the 37th Conference on Design Automation
…Efficient Variable Ordering Using aBDD Based Sampling Yuan Lu † , Jawahar Jain ‡ , Edmund Clarke…
Cited by 2 (0 self) – Add To MetaCart

Improving BDD variable ordering using abstract BDDs and sampling
by Yuan Lu, Jawahar Jain, Edmund Clarke, Masahiro Fujita — 1999 — In Proceedings of Intl. Workshop of High Level Deisgn, Verification and Testing
…Improving BDD Variable Ordering Using Abstract BDDs and Sampling Yuan Lu † , Jawahar Jain…
Cited by 1 (1 self) – Add To MetaCart

Progress on the State Explosion Problem in Model Checking
by Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith — 2000
… , Somesh Jha 3 , Yuan Lu 4 , and Helmut Veith 5 1 School of Computer Science, Carnegie Mellon…
Cited by 12 (1 self) – Add To MetaCart

Temporal logic for scenario-based specifications
by Hillel Kugler, Hillel Kugler, David Harel, David Harel, Amir Pnueli, Amir Pnueli, Yuan Lu, Yuan Lu, Yves Bontemps, Yves Bontemps — 2005 — TACAS, volume 3440 of LNCS
…-Based Specifications Authors: Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu and Yves Bontemps Date: 12 January 2005…
Cited by 14 (4 self) – Add To MetaCart

Tree-Like Counterexamples in Model Checking
by Edmund Clarke, Yuan Lu, Broadcom Com, Helmut Veith, Somesh Jha — 2002 — In Proceedings of the 17 th Annual IEEE Symposium on Logic in Computer Science (LICS’02
… Mellon University Pittsburgh, PA 15213, USA edmund.clarke@(email omitted); Yuan Lu Network Switch Department…
Cited by 25 (3 self) – Add To MetaCart

Counterexample-guided Abstraction Refinement
by Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith — 2000
… ¡ , Yuan Lu ¡ ¦ ¡¤£ ¥ , and Helmut Veith § ¨ Carnegie Mellon University, Pittsburgh, USA Technion, Haifa…
Cited by 331 (45 self) – Add To MetaCart

Formal Analysis of Branch Prediction Algorithms
by Somesh Jha Yuan, Yuan Lu, Edmund M. Clarke — 1998
…Formal Analysis of Branch Prediction Algorithms Somesh Jha, Yuan Lu, and Edmund M. Clarke…
Add To MetaCart

EPSL: Executable Protocol Specification Language
by Edmund Clarke Yuan, Yuan Lu, Helmut Veith, Dong Wang
…EPSL: Executable Protocol Specification Language Edmund Clarke y Yuan Lu z Helmut Veith y Dong…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB