Follow
Pei-Hsin Ho (贺培鑫)
Pei-Hsin Ho (贺培鑫)
UniVista Industrial Software (合见工软)
Verified email at univista-isg.com - Homepage
Title
Cited by
Cited by
Year
The algorithmic analysis of hybrid systems
R Alur, C Courcoubetis, N Halbwachs, TA Henzinger, PH Ho, X Nicollin, ...
Theoretical computer science 138 (1), 3-34, 1995
28501995
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
R Alur, C Courcoubetis, TA Henzinger, PH Ho
International Hybrid Systems Workshop, 209-229, 1991
18871991
HyTech: A model checker for hybrid systems
TA Henzinger, PH Ho, H Wong-Toi
Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997
17451997
Automatic symbolic verification of embedded systems
R Alur, TA Henzinger, PH Ho
IEEE Transactions on Software Engineering 22 (3), 181-201, 1996
9491996
A user guide to HyTech
T Henzinger, P Ho, H Wong-Toi
Tools and algorithms for the construction and analysis of systems, 41-71, 1995
4391995
Algorithmic analysis of nonlinear hybrid systems
TA Henzinger, PH Ho, H Wong-Toi
IEEE transactions on automatic control 43 (4), 540-554, 1998
3691998
HyTech: the next generation
TA Henzinger, PH Ho, H Wong-Toi
Proceedings 16th IEEE Real-Time Systems Symposium, 56-65, 1995
3391995
Hytech: The cornell hybrid technology tool
TA Henzinger, PH Ho
International Hybrid Systems Workshop, 265-293, 1994
3181994
Coverage estimation for symbolic model checking
Y Hoskote, T Kam, PH Ho, X Zhao
Proceedings of the 36th annual ACM/IEEE Design Automation Conference, 300-305, 1999
2001999
Smart simulation using collaborative formal and simulation engines
PH Ho, T Shiple, K Harer, J Kukula, R Damiano, V Bertacco, J Taylor, ...
Ieee/acm international conference on computer aided design. iccad-2000. ieee …, 2000
1732000
Algorithmic analysis of nonlinear hybrid systems
TA Henzinger, PH Ho
Computer Aided Verification: 7th International Conference, CAV'95 Liège …, 1995
1711995
Interconnect-driven physical synthesis using persistent virtual routing
P Saxena, V Khandelwal, C Qiao, PH Ho, JC Lin, MA Iyer
US Patent 7,853,915, 2010
1662010
Power-aware placement
Y Cheon, PH Ho, AB Kahng, S Reda, Q Wang
Proceedings of the 42nd annual Design Automation Conference, 795-800, 2005
1652005
Automated analysis of an audio control protocol
PH Ho, H Wong-Toi
Computer Aided Verification: 7th International Conference, CAV'95 Liège …, 1995
1441995
Formal property verification by abstraction refinement with formal, simulation and hybrid engines
D Wang, PH Jiang, J Kukula, Y Zhu, T Ma, R Damiano
Proceedings of the 38th annual Design Automation Conference, 35-40, 2001
1062001
Routability optimization for industrial designs at sub-14nm process nodes using machine learning
WTJ Chan, PH Ho, AB Kahng, P Saxena
Proceedings of the 2017 ACM on International Symposium on Physical Design, 15-21, 2017
1032017
A note on abstract interpretation strategies for hybrid automata
TA Henzinger, PH Ho
International Hybrid Systems Workshop, 252-264, 1994
1031994
Verification of all circuits in a floating-point unit using word-level model checking
YA Chen, E Clarke, PH Ho, Y Hoskote, T Kam, M Khaira, J O'Leary, ...
International Conference on Formal Methods in Computer-Aided Design, 19-33, 1996
811996
Automatic register banking for low-power clock trees
W Hou, D Liu, PH Ho
2009 10th International Symposium on Quality Electronic Design, 647-652, 2009
792009
Automatic analysis of hybrid systems
PH Ho
Cornell University, 1995
79*1995
The system can't perform the operation now. Try again later.
Articles 1–20