Yunshan Zhu
Yunshan Zhu
eK12, Inc.
Verified email at eK12.com
Title
Cited by
Cited by
Year
Symbolic model checking without BDDs
A Biere, A Cimatti, E Clarke, Y Zhu
International conference on tools and algorithms for the construction and …, 1999
28781999
Bounded model checking
A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu
Carnegie Mellon University, 2003
10582003
Symbolic model checking using SAT procedures instead of BDDs
A Biere, A Cimatti, EM Clarke, M Fujita, Y Zhu
Proceedings of the 36th annual ACM/IEEE Design Automation Conference, 317-320, 1999
9431999
Bounded model checking using satisfiability solving
E Clarke, A Biere, R Raimi, Y Zhu
Formal methods in system design 19 (1), 7-34, 2001
8532001
Bounded Model Checking.
A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu
Handbook of satisfiability 185 (99), 457-481, 2009
2382009
Verifying safety properties of a PowerPC− microprocessor using symbolic model checking without BDDs
A Biere, E Clarke, R Raimi, Y Zhu
International Conference on Computer Aided Verification, 60-71, 1999
1971999
Formal property verification by abstraction refinement with formal, simulation and hybrid engines
D Wang, PH Ho, J Long, J Kukula, Y Zhu, T Ma, R Damiano
Proceedings of the 38th Design Automation Conference (IEEE Cat. No …, 2001
952001
Ordered semantic hyper-linking
DA Plaisted, Y Zhu
Journal of Automated Reasoning 25 (3), 167-217, 2000
952000
Conformational analysis of molecular chains using nano-kinematics
D Manocha, Y Zhu, W Wright
Bioinformatics 11 (1), 71-86, 1995
831995
Combining symbolic model checking with uninterpreted functions for out-of-order processor verification
S Berezin, A Biere, E Clarke, Y Zhu
International Conference on Formal Methods in Computer-Aided Design, 369-386, 1998
761998
A satisfiability procedure for quantified boolean formulae
DA Plaisted, A Biere, Y Zhu
Discrete Applied Mathematics 130 (2), 291-328, 2003
742003
Bounded Model Checking, volume 58 of Advances in computers
A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu
Academic press, 2003
522003
A fast algorithm and system for the inverse kinematics of general serial manipulators
D Manocha, Y Zhu
Proceedings of the 1994 IEEE International Conference on Robotics and …, 1994
471994
Guiding SAT diagnosis with tree decompositions
P Bjesse, J Kukula, R Damiano, T Stanion, Y Zhu
International Conference on Theory and Applications of Satisfiability …, 2003
432003
The Efficiency of Theorem Proving Strategies
DA Plaisted, Y Zhu
Vieweg, 1997
391997
Kinematic Manipulation of Molecular Chains Subject to Rigid Constraint.
D Manocha, Y Zhu
ISMB, 285-293, 1994
301994
Using cutwidth to improve symbolic simulation and boolean satisfiability
D Wang, E Clarke, Y Zhu, J Kukula
Sixth IEEE International High-Level Design Validation and Test Workshop, 165-170, 2001
292001
Multiple state and single state tableaux for combining local and global nodel checking
A Biere, Y Zhu, EM Clarke
Correct System Design, 163-179, 1999
281999
Method and apparatus for performing generator-based verification
Y Zhu, JH Kukula
US Patent 7,149,987, 2006
252006
Verification of out-of-order processor designs using model checking and a light-weight completion function
S Berezin, E Clarke, A Biere, Y Zhu
Formal Methods in System Design 20 (2), 159-186, 2002
252002
The system can't perform the operation now. Try again later.
Articles 1–20