Yunshan Zhu

Publication Activity (10 Years)

Years Active: 1994-2007
Publications (10 Years): 0

Publications

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