Pei-Hsin Ho
TitleCited byYear
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
23571995
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
R Alur, C Courcoubetis, TA Henzinger, PH Ho
Hybrid systems, 209-229, 1992
15971992
HyTech: A model checker for hybrid systems
TA Henzinger, PH Ho, H Wong-Toi
International Conference on Computer Aided Verification, 460-463, 1997
14891997
Automatic symbolic verification of embedded systems
R Alur, TA Henzinger, PH Ho
IEEE Transactions on Software Engineering 22 (3), 181-201, 1996
8651996
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
4081995
Algorithmic analysis of nonlinear hybrid systems
TA Henzinger, PH Ho, H Wong-Toi
IEEE transactions on automatic control 43 (4), 540-554, 1998
3251998
HyTech: the next generation
TA Henzinger, PH Ho, H Wong-Toi
Proceedings 16th IEEE Real-Time Systems Symposium, 56-65, 1995
3041995
HyTech: The Cornell hybrid technology tool
TA Henzinger, PH Ho
International Hybrid Systems Workshop, 265-293, 1994
2731994
Coverage estimation for symbolic model checking
Y Hoskote, T Kam, PH Ho, X Zhao
Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361), 300-305, 1999
1741999
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
1632010
Smart simulation using collaborative formal and simulation engines
PH Ho, T Shiple, K Harer, J Kukula, R Damiano, V Bertacco, J Taylor, ...
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided …, 2000
1612000
Algorithmic analysis of nonlinear hybrid systems
TA Henzinger, PH Ho
International Conference on Computer Aided Verification, 225-238, 1995
1531995
Automated analysis of an audio control protocol
PH Ho, H Wong-Toi
International Conference on Computer Aided Verification, 381-394, 1995
1391995
Power-aware placement
Y Cheon, PH Ho, AB Kahng, S Reda, Q Wang
Proceedings. 42nd Design Automation Conference, 2005., 795-800, 2005
1372005
The algorithmic analysis of hybrid systems
R Alur, C Courcoubetis, T Henzinger, P Ho, X Nicollin, A Olivero, J Sifakis, ...
11th International Conference on Analysis and Optimization of Systems …, 1994
1031994
A note on abstract interpretation strategies for hybrid automata
TA Henzinger, PH Ho
International Hybrid Systems Workshop, 252-264, 1994
951994
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
922001
Automatic analysis of hybrid systems
PH Ho
Cornell University, 1995
73*1995
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
711996
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
602009
The system can't perform the operation now. Try again later.
Articles 1–20