Yunshan Zhu

23 papers A* 4A 4B 1Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
2007 — conf
Formal model construction using HDL simulation semantics.
HLDVT
Joseph Buck, Dong Wang, Yunshan Zhu
2003 J jnl
A satisfiability procedure for quantified Boolean formulae.
Discret. Appl. Math.
David A. Plaisted, Armin Biere, Yunshan Zhu
2003 J jnl
Bounded model checking.
Adv. Comput.
Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Ofer Strichman, Yunshan Zhu
2003 A conf
Generator-based Verification.
ICCAD
Yunshan Zhu, James H. Kukula
2003 A conf
Guiding SAT Diagnosis with Tree Decompositions.
SAT
Per Bjesse, James H. Kukula, Robert F. Damiano, Ted Stanion, Yunshan Zhu
2002 J jnl
Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function.
Formal Methods Syst. Des.
Sergey Berezin, Edmund M. Clarke, Armin Biere, Yunshan Zhu
2001 J jnl
Bounded Model Checking Using Satisfiability Solving.
Formal Methods Syst. Des.
Edmund M. Clarke, Armin Biere, Richard Raimi, Yunshan Zhu
2001 A* conf
Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines.
DAC
Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano
2001 — conf
Using cutwidth to improve symbolic simulation and Boolean satisfiability.
HLDVT
Dong Wang, Edmund M. Clarke, Yunshan Zhu, James H. Kukula
2000 J jnl
Ordered Semantic Hyper-Linking.
J. Autom. Reason.
David A. Plaisted, Yunshan Zhu
1999 — conf
Combining Local and Global Model Checking.
SMC@FLoC
Armin Biere, Edmund M. Clarke, Yunshan Zhu
1999 — conf
Multiple State and Single State Tableaux for Combining Local and Global Model Checking.
Correct System Design
Armin Biere, Edmund M. Clarke, Yunshan Zhu
1999 A* conf
Symbolic Model Checking Using SAT Procedures instead of BDDs.
DAC
Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Masahiro Fujita, Yunshan Zhu
1999 A conf
Symbolic Model Checking without BDDs.
TACAS
Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Yunshan Zhu
1999 A* conf
Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs.
CAV
Armin Biere, Edmund M. Clarke, Richard Raimi, Yunshan Zhu
1998 B conf
Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification.
FMCAD
Sergey Berezin, Armin Biere, Edmund M. Clarke, Yunshan Zhu
1998 — conf
Replacement Rules with Definition Detection.
FTP (LNCS Selection)
David A. Plaisted, Yunshan Zhu
1997 — conf
Equational Reasoning using AC Constraints.
IJCAI (1)
David A. Plaisted, Yunshan Zhu
1997 — conf
Ordered Semantic Hyper Linking.
AAAI/IAAI
David A. Plaisted, Yunshan Zhu
1997 — book
The efficiency of theorem proving strategies - a comparative and asymptotic analysis.
David A. Plaisted, Yunshan Zhu
1995 J jnl
Conformational analysis of molecular chains using nano-kinematics.
Comput. Appl. Biosci.
Dinesh Manocha, Yunshan Zhu, William V. Wright
1994 A* conf
A Fast Algorithm and System for the Inverse Kinematics of General Serial Manipulators.
ICRA
Dinesh Manocha, Yunshan Zhu
1994 A conf
Kinematic Manipulation of Molecular Chains Subject to Rigid Constraint.
ISMB
Dinesh Manocha, Yunshan Zhu