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 | 2862 | 1995 |
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 | 1896 | 1991 |
HyTech: A model checker for hybrid systems TA Henzinger, PH Ho, H Wong-Toi Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997 | 1755 | 1997 |
Automatic symbolic verification of embedded systems R Alur, TA Henzinger, PH Ho IEEE Transactions on Software Engineering 22 (3), 181-201, 1996 | 949 | 1996 |
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 | 440 | 1995 |
Algorithmic analysis of nonlinear hybrid systems TA Henzinger, PH Ho, H Wong-Toi IEEE transactions on automatic control 43 (4), 540-554, 1998 | 370 | 1998 |
HyTech: the next generation TA Henzinger, PH Ho, H Wong-Toi Proceedings 16th IEEE Real-Time Systems Symposium, 56-65, 1995 | 339 | 1995 |
Hytech: The cornell hybrid technology tool TA Henzinger, PH Ho International Hybrid Systems Workshop, 265-293, 1994 | 320 | 1994 |
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 | 200 | 1999 |
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 | 173 | 2000 |
Algorithmic analysis of nonlinear hybrid systems TA Henzinger, PH Ho Computer Aided Verification: 7th International Conference, CAV'95 Liège …, 1995 | 171 | 1995 |
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 | 166 | 2010 |
Power-aware placement Y Cheon, PH Ho, AB Kahng, S Reda, Q Wang Proceedings of the 42nd annual Design Automation Conference, 795-800, 2005 | 166 | 2005 |
Automated analysis of an audio control protocol PH Ho, H Wong-Toi Computer Aided Verification: 7th International Conference, CAV'95 Liège …, 1995 | 144 | 1995 |
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 | 110 | 2017 |
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 | 106 | 2001 |
A note on abstract interpretation strategies for hybrid automata TA Henzinger, PH Ho International Hybrid Systems Workshop, 252-264, 1994 | 103 | 1994 |
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 | 81 | 1996 |
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 | 80 | 2009 |
Automatic analysis of hybrid systems PH Ho Cornell University, 1995 | 79* | 1995 |