Concepedia

Pei-Hsin Ho

PH

20

Publications

2.4K

Citations

17

H-Index

1967

Active since

Affiliations

Intel (United States)(Current)

Synopsys (United States)

Synopsys (Switzerland)

University of California, Berkeley

Advanced Technology Group (Czechia)

Pei-Hsin Ho is an author at Intel (United States) specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringComputer EngineeringVerificationFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationSoftware Testing

Publications per year

1967–2019

20

Publications

20

HYTECH: a model checker for hybrid systems

Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi · International Journal on Software Tools for Technology Transfer · 1997 · 771 citations

Engineering, Verification, Formal Methods +7

Automatic symbolic verification of embedded systems

Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho · IEEE Transactions on Software Engineering · 1996 · 489 citations

Engineering, Verification, Computer-aided Verification +21

HYTECH: the next generation

Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi · 2002 · 205 citations

New Hytech, New Implementation, Engineering +22

Algorithmic analysis of nonlinear hybrid systems

Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi · IEEE Transactions on Automatic Control · 1998 · 181 citations

Nonlinear Hybrid Systems, Nonlinear System Identification, Logical Automaton +10

Coverage estimation for symbolic model checking

Yatin Hoskote, Timothy Kam, Pei-Hsin Ho et al. · 1999 · 133 citations · Full text

Engineering, Verification, Computer-aided Verification +17

Rows per page

1–5 of 20