Pei-Hsin Ho - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Pei-Hsin Ho' as author, editor, or advisor:

A digital frottageHo. siggraph 1998: 27 [doi]
HyTech: The Next GenerationThomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi. rtss 1995: 56-65
Formal verification of pipeline control using controlled token nets and abstract interpretationPei-Hsin Ho, Adrian J. Isles, Timothy Kam. iccad 1998: 529-536 [doi]
Automatic Symbolic Verification of Embedded SystemsRajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho. TSE, 22(3):181-201, 1996. [doi]
Multi-mode redundancy removalStephen M. Plaza, Prashant Saxena, Thomas R. Shiple, Pei-Hsin Ho. isqed 2011: 791-799 [doi]
Sphinx: A Hybrid Boolean Processor-FPGA Hardware Emulation SystemRuiyao Pu, Yiwei Sun, Pei-Hsin Ho, Fan Yang 0001, Li Shang, Xuan Zeng 0001. iccad 2023: 1-9 [doi]
Algorithmic analysis of nonlinear hybrid systemsThomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi. tac, 43(4):540-554, 1998. [doi]
Smart Simulation Using Collaborative Formal and Simulation EnginesPei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James H. Kukula, Robert F. Damiano, Valeria Bertacco, Jerry Taylor, Jiang Long. iccad 2000: 120-126
A Note on Abstract Interpretation Strategies for Hybrid AutomataThomas A. Henzinger, Pei-Hsin Ho. hybrid 1995: 252-264
HYTECH: A Model Checker for Hybrid SystemsThomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi. STTT, 1(1-2):110-122, 1997. [doi]
Techniques for Effective Distributed Physical SynthesisFreddy Y. C. Mang, Wenting Hou, Pei-Hsin Ho. dac 2007: 859-864 [doi]
Supporting sequential assumptions in hybrid verificationEduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma. aspdac 2005: 1035-1038 [doi]
Industrial clock designPei-Hsin Ho. ispd 2009: 139-140 [doi]
The Algorithmic Analysis of Hybrid SystemsRajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine. TCS, 138(1):3-34, 1995. [doi]
Power-aware placementYongseok Cheon, Pei-Hsin Ho, Andrew B. Kahng, Sherief Reda, Qinke Wang. dac 2005: 795-800 [doi]
Routability Optimization for Industrial Designs at Sub-14nm Process Nodes Using Machine LearningWei-Ting Jonas Chan, Pei-Hsin Ho, Andrew B. Kahng, Prashant Saxena. ispd 2017: 15-21 [doi]
Automatic register banking for low-power clock treesWenting Hou, Dick Liu, Pei-Hsin Ho. isqed 2009: 647-652 [doi]
GPU friendly fast Poisson solver for structured power grid network analysisJin Shi, Yici Cai, Wenting Hou, Liwei Ma, Sheldon X.-D. Tan, Pei-Hsin Ho, Xiaoyi Wang. dac 2009: 178-183 [doi]
Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid EnginesDong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano. dac 2001: 35-40 [doi]
On improving optimization effectiveness in interconnect-driven physical synthesisPrashant Saxena, Vishal Khandelwal, Changge Qiao, Pei-Hsin Ho, J.-C. Lin, Mahesh A. Iyer. ispd 2009: 51-58 [doi]
Abstraction refinement by controllability and cooperativeness analysisFreddy Y. C. Mang, Pei-Hsin Ho. dac 2004: 224-229 [doi]
HYTECH: A Model Checker for Hybrid SystemsThomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi. cav 1997: 460-463
The Domatic Number Problem in Interval GraphsTung-Lin Lu, Pei-Hsin Ho, Gerard J. Chang. siamdm, 3(4):531-536, 1990.
Interesting Problems in Physical SynthesisPei-Hsin Ho. ispd 2017: 131 [doi]
HYTECH: The Cornell HYbrid TECHnology ToolThomas A. Henzinger, Pei-Hsin Ho. hybrid 1995: 265-293
Automated Analysis of an Audio Control ProtocolPei-Hsin Ho, Howard Wong-Toi. cav 1995: 381-394
Controllability and Cooperativeness Analysis for Automatic Abstraction RefinementFreddy Y. C. Mang, Pei-Hsin Ho. ijfcs, 17(4):763-774, 2006. [doi]
Automatic Symbolic Verification of Embedded SystemsRajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho. rtss 1993: 2-11
The ß-assignment problem in general graphsGerard J. Chang, Pei-Hsin Ho. cor, 24(8):757-765, 1997. [doi]
Verification of All Circuits in a Floating-Point Unit Using Word-Level Model CheckingYirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O Leary, Xudong Zhao. FMCAD 1996: 19-33
Algorithmic Analysis of Nonlinear Hybrid SystemsThomas A. Henzinger, Pei-Hsin Ho. cav 1995: 225-238
Automatic Analysis of Hybrid SystemsPei-Hsin Ho. PhD thesis, Cornell University, USA, 1995.
Abstraction RefinementPei-Hsin Ho. ATVA 2004: 7 [doi]
Intelligent Random Vector Generator Based on Probability Analysis of Circuit StructureYu-Min Kuo, Cheng-Hung Lin, Chun-Yao Wang, Shih-Chieh Chang, Pei-Hsin Ho. isqed 2007: 344-349 [doi]
A User Guide to HyTechThomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi. TACAS 1995: 41-71
Coverage Estimation for Symbolic Model CheckingYatin Vasant Hoskote, Timothy Kam, Pei-Hsin Ho, Xudong Zhao. dac 1999: 300-305 [doi]
2019 CAD Contest: System-level FPGA Routing with Timing Division Multiplexing TechniqueYu-Hsuan Su, Richard Sun, Pei-Hsin Ho. iccad 2019: 1-2 [doi]
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid SystemsRajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho. hybrid 1993: 209-229
Special Issue on Broadband Access NetworksN. Ansari, P.-H. Ho, V. Lau, D. H. K. Tsang. sj, 4(4):410-412, 2010. [doi]
Provably Secure Nested One-Time Secret Mechanisms for Fast Mutual Authentication and Key Exchange in Mobile CommunicationsC.-I. Fan, P.-H. Ho, R.-H. Hsu. ton, 18(3):996-1009, 2010. [doi]
A Study on the Design of Survivable Optical Virtual Private Networks (O-VPN)A. Haque, P.-H. Ho. tr, 55(3):516-524, 2006. [doi]
Modeling and fabrication of an RF MEMS variable capacitor with a fractal geometryAmro M. Elshurafa, Khaled N. Salama, P.-H. Ho. iscas 2013: 2711-2714 [doi]

runs on WebDSL