SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

Pei-Hsin Ho: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

Eduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma
Supporting sequential assumptions in hybrid verification. [Citation Graph (0, 0)][DBLP]
ASP-DAC, 2005, pp:1035-1038 [Conf]
Pei-Hsin Ho
Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
ATVA, 2004, pp:7- [Conf]
Pei-Hsin Ho, Howard Wong-Toi
Automated Analysis of an Audio Control Protocol. [Citation Graph (0, 0)][DBLP]
CAV, 1995, pp:381-394 [Conf]
Thomas A. Henzinger, Pei-Hsin Ho
Algorithmic Analysis of Nonlinear Hybrid Systems. [Citation Graph (0, 0)][DBLP]
CAV, 1995, pp:225-238 [Conf]
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
HYTECH: A Model Checker for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
CAV, 1997, pp:460-463 [Conf]
Yongseok Cheon, Pei-Hsin Ho, Andrew B. Kahng, Sherief Reda, Qinke Wang
Power-aware placement. [Citation Graph (0, 0)][DBLP]
DAC, 2005, pp:795-800 [Conf]
Yatin Vasant Hoskote, Timothy Kam, Pei-Hsin Ho, Xudong Zhao
Coverage Estimation for Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
DAC, 1999, pp:300-305 [Conf]
Freddy Y. C. Mang, Pei-Hsin Ho
Abstraction refinement by controllability and cooperativeness analysis. [Citation Graph (0, 0)][DBLP]
DAC, 2004, pp:224-229 [Conf]
Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano
Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines. [Citation Graph (0, 0)][DBLP]
DAC, 2001, pp:35-40 [Conf]
Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao
Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking. [Citation Graph (0, 0)][DBLP]
FMCAD, 1996, pp:19-33 [Conf]
Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
Hybrid Systems, 1992, pp:209-229 [Conf]
Thomas A. Henzinger, Pei-Hsin Ho
A Note on Abstract Interpretation Strategies for Hybrid Automata. [Citation Graph (0, 0)][DBLP]
Hybrid Systems, 1994, pp:252-264 [Conf]
Thomas A. Henzinger, Pei-Hsin Ho
HYTECH: The Cornell HYbrid TECHnology Tool. [Citation Graph (0, 0)][DBLP]
Hybrid Systems, 1994, pp:265-293 [Conf]
Pei-Hsin Ho, Adrian J. Isles, Timothy Kam
Formal verification of pipeline control using controlled token nets and abstract interpretation. [Citation Graph (0, 0)][DBLP]
ICCAD, 1998, pp:529-536 [Conf]
Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James H. Kukula, Robert F. Damiano, Valeria Bertacco, Jerry Taylor, Jiang Long
Smart Simulation Using Collaborative Formal and Simulation Engines. [Citation Graph (0, 0)][DBLP]
ICCAD, 2000, pp:120-126 [Conf]
Yu-Min Kuo, Cheng-Hung Lin, Chun-Yao Wang, Shih-Chieh Chang, Pei-Hsin Ho
Intelligent Random Vector Generator Based on Probability Analysis of Circuit Structure. [Citation Graph (0, 0)][DBLP]
ISQED, 2007, pp:344-349 [Conf]
Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho
Automatic Symbolic Verification of Embedded Systems. [Citation Graph (0, 0)][DBLP]
IEEE Real-Time Systems Symposium, 1993, pp:2-11 [Conf]
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
HyTech: The Next Generation. [Citation Graph (0, 0)][DBLP]
IEEE Real-Time Systems Symposium, 1995, pp:56-65 [Conf]
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
A User Guide to HyTech. [Citation Graph (0, 0)][DBLP]
TACAS, 1995, pp:41-71 [Conf]
Gerard J. Chang, Pei-Hsin Ho
The ß-assignment problem in general graphs. [Citation Graph (0, 0)][DBLP]
Computers & OR, 1997, v:24, n:8, pp:757-765 [Journal]
Freddy Y. C. Mang, Pei-Hsin Ho
Controllability and Cooperativeness Analysis for Automatic Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:763-774 [Journal]
Tung-Lin Lu, Pei-Hsin Ho, Gerard J. Chang
The Domatic Number Problem in Interval Graphs. [Citation Graph (0, 0)][DBLP]
SIAM J. Discrete Math., 1990, v:3, n:4, pp:531-536 [Journal]
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
HYTECH: A Model Checker for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
STTT, 1997, v:1, n:1-2, pp:110-122 [Journal]
Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine
The Algorithmic Analysis of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1995, v:138, n:1, pp:3-34 [Journal]
Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho
Automatic Symbolic Verification of Embedded Systems. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Software Eng., 1996, v:22, n:3, pp:181-201 [Journal]
Freddy Y. C. Mang, Wenting Hou, Pei-Hsin Ho
Techniques for Effective Distributed Physical Synthesis. [Citation Graph (0, 0)][DBLP]
DAC, 2007, pp:859-864 [Conf]
GPU friendly fast Poisson solver for structured power grid network analysis. [Citation Graph (, )][DBLP]
Industrial clock design. [Citation Graph (, )][DBLP]
On improving optimization effectiveness in interconnect-driven physical synthesis. [Citation Graph (, )][DBLP]
Automatic register banking for low-power clock trees. [Citation Graph (, )][DBLP]

Search in 0.024secs, Finished in 0.026secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP