Yunshan Zhu

According to our database, Yunshan Zhu authored at least 22 papers between 1994 and 2007.

Collaborative distances:

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

2007

Formal model construction using HDL simulation semantics.

Joseph Buck, Dong Wang, Yunshan Zhu

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007

2003

A satisfiability procedure for quantified Boolean formulae.

David A. Plaisted, Armin Biere, Yunshan Zhu

Discret. Appl. Math., 2003

Bounded model checking.

Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Ofer Strichman, Yunshan Zhu

Adv. Comput., 2003

Guiding SAT Diagnosis with Tree Decompositions.

Per Bjesse, James H. Kukula, Robert F. Damiano, Ted Stanion, Yunshan Zhu

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

Generator-based Verification.

Yunshan Zhu, James H. Kukula

Proceedings of the 2003 International Conference on Computer-Aided Design, 2003

2002

Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function.

Sergey Berezin, Edmund M. Clarke, Armin Biere, Yunshan Zhu

Formal Methods Syst. Des., 2002

2001

Bounded Model Checking Using Satisfiability Solving.

Edmund M. Clarke, Armin Biere, Richard Raimi, Yunshan Zhu

Formal Methods Syst. Des., 2001

Using cutwidth to improve symbolic simulation and Boolean satisfiability.

Dong Wang, Edmund M. Clarke, Yunshan Zhu, James H. Kukula

Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001

Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines.

Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano

Proceedings of the 38th Design Automation Conference, 2001

2000

Ordered Semantic Hyper-Linking.

David A. Plaisted, Yunshan Zhu

J. Autom. Reason., 2000

1999

Combining Local and Global Model Checking.

Armin Biere, Edmund M. Clarke, Yunshan Zhu

Proceedings of the First International Workshop on Symbolic Model Checking, 1999

Symbolic Model Checking without BDDs.

Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Yunshan Zhu

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Symbolic Model Checking Using SAT Procedures instead of BDDs.

Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Masahiro Fujita, Yunshan Zhu

Proceedings of the 36th Conference on Design Automation, 1999

Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs.

Armin Biere, Edmund M. Clarke, Richard Raimi, Yunshan Zhu

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

Multiple State and Single State Tableaux for Combining Local and Global Model Checking.

Armin Biere, Edmund M. Clarke, Yunshan Zhu

Proceedings of the Correct System Design, 1999

1998

Replacement Rules with Definition Detection.

David A. Plaisted, Yunshan Zhu

Proceedings of the Automated Deduction in Classical and Non-Classical Logics, 1998

Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification.

Sergey Berezin, Armin Biere, Edmund M. Clarke, Yunshan Zhu

Proceedings of the Formal Methods in Computer-Aided Design, 1998

1997

Equational Reasoning using AC Constraints.

David A. Plaisted, Yunshan Zhu

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

The efficiency of theorem proving strategies - a comparative and asymptotic analysis.

David A. Plaisted, Yunshan Zhu

Computational intelligence, Vieweg, ISBN: 978-3-528-05574-5, 1997

1995

Conformational analysis of molecular chains using nano-kinematics.

Dinesh Manocha, Yunshan Zhu, William V. Wright

Comput. Appl. Biosci., 1995

1994

Kinematic Manipulation of Molecular Chains Subject to Rigid Constraint.

Dinesh Manocha, Yunshan Zhu

Proceedings of the Second International Conference on Intelligent Systems for Molecular Biology, 1994

A Fast Algorithm and System for the Inverse Kinematics of General Serial Manipulators.

Dinesh Manocha, Yunshan Zhu

Proceedings of the 1994 International Conference on Robotics and Automation, 1994