dblp.uni-trier.dewww.uni-trier.de

Pei-Hsin Ho Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
28EEJin Shi, Yici Cai, Wenting Hou, Liwei Ma, Sheldon X.-D. Tan, Pei-Hsin Ho, Xiaoyi Wang: GPU friendly fast Poisson solver for structured power grid network analysis. DAC 2009: 178-183
27EEWenting Hou, Dick Liu, Pei-Hsin Ho: Automatic register banking for low-power clock trees. ISQED 2009: 647-652
2007
26EEFreddy Y. C. Mang, Wenting Hou, Pei-Hsin Ho: Techniques for Effective Distributed Physical Synthesis. DAC 2007: 859-864
25EEYu-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. ISQED 2007: 344-349
2006
24EEFreddy Y. C. Mang, Pei-Hsin Ho: Controllability and Cooperativeness Analysis for Automatic Abstraction Refinement. Int. J. Found. Comput. Sci. 17(4): 763-774 (2006)
2005
23EEEduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma: Supporting sequential assumptions in hybrid verification. ASP-DAC 2005: 1035-1038
22EEYongseok Cheon, Pei-Hsin Ho, Andrew B. Kahng, Sherief Reda, Qinke Wang: Power-aware placement. DAC 2005: 795-800
2004
21EEPei-Hsin Ho: Abstraction Refinement. ATVA 2004: 7
20EEFreddy Y. C. Mang, Pei-Hsin Ho: Abstraction refinement by controllability and cooperativeness analysis. DAC 2004: 224-229
2001
19EEDong 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. DAC 2001: 35-40
2000
18 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. ICCAD 2000: 120-126
1999
17EEYatin Vasant Hoskote, Timothy Kam, Pei-Hsin Ho, Xudong Zhao: Coverage Estimation for Symbolic Model Checking. DAC 1999: 300-305
1998
16EEPei-Hsin Ho, Adrian J. Isles, Timothy Kam: Formal verification of pipeline control using controlled token nets and abstract interpretation. ICCAD 1998: 529-536
1997
15EEThomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi: HYTECH: A Model Checker for Hybrid Systems. CAV 1997: 460-463
14EEGerard J. Chang, Pei-Hsin Ho: The ß-assignment problem in general graphs. Computers & OR 24(8): 757-765 (1997)
13EEThomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi: HYTECH: A Model Checker for Hybrid Systems. STTT 1(1-2): 110-122 (1997)
1996
12 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. FMCAD 1996: 19-33
11EERajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho: Automatic Symbolic Verification of Embedded Systems. IEEE Trans. Software Eng. 22(3): 181-201 (1996)
1995
10EEThomas A. Henzinger, Pei-Hsin Ho: Algorithmic Analysis of Nonlinear Hybrid Systems. CAV 1995: 225-238
9EEPei-Hsin Ho, Howard Wong-Toi: Automated Analysis of an Audio Control Protocol. CAV 1995: 381-394
8 Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi: HyTech: The Next Generation. IEEE Real-Time Systems Symposium 1995: 56-65
7 Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi: A User Guide to HyTech. TACAS 1995: 41-71
6EERajeev 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. Theor. Comput. Sci. 138(1): 3-34 (1995)
1994
5 Thomas A. Henzinger, Pei-Hsin Ho: A Note on Abstract Interpretation Strategies for Hybrid Automata. Hybrid Systems 1994: 252-264
4 Thomas A. Henzinger, Pei-Hsin Ho: HYTECH: The Cornell HYbrid TECHnology Tool. Hybrid Systems 1994: 265-293
1993
3 Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho: Automatic Symbolic Verification of Embedded Systems. IEEE Real-Time Systems Symposium 1993: 2-11
1992
2 Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho: Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. Hybrid Systems 1992: 209-229
1990
1 Tung-Lin Lu, Pei-Hsin Ho, Gerard J. Chang: The Domatic Number Problem in Interval Graphs. SIAM J. Discrete Math. 3(4): 531-536 (1990)

Coauthor Index

1Rajeev Alur [2] [3] [6] [11]
2Valeria Bertacco [18]
3Yici Cai [28]
4Eduard Cerny [23]
5Gerard J. Chang [1] [14]
6Shih-Chieh Chang [25]
7Yirng-An Chen [12]
8Yongseok Cheon [22]
9Edmund M. Clarke [12]
10Costas Courcoubetis [2] [6]
11Robert F. Damiano [18] [19]
12Ashvin Dsouza [23]
13Nicolas Halbwachs [6]
14Kevin Harer [18] [23]
15Thomas A. Henzinger [2] [3] [4] [5] [6] [7] [8] [10] [11] [13] [15]
16Yatin Vasant Hoskote [12] [17]
17Wenting Hou [26] [27] [28]
18Adrian J. Isles [16]
19Andrew B. Kahng [22]
20Timothy Kam [12] [16] [17]
21Manpreet Khaira [12]
22James H. Kukula [18] [19]
23Yu-Min Kuo [25]
24Cheng-Hung Lin [25]
25Dick Liu [27]
26Jiang Long [18] [19]
27Tung-Lin Lu [1]
28Hi-Keung Tony Ma [19] [23]
29Liwei Ma [28]
30Freddy Y. C. Mang [20] [24] [26]
31Xavier Nicollin [6]
32John W. O'Leary [12]
33Alfredo Olivero [6]
34Sherief Reda [22]
35Jin Shi [28]
36Thomas R. Shiple [18]
37Joseph Sifakis [6]
38Sheldon X.-D. Tan (Xiang-Dong Tan) [28]
39Jerry Taylor [18]
40Chun-Yao Wang [25]
41Dong Wang [19]
42Qinke Wang [22]
43Xiaoyi Wang [28]
44Howard Wong-Toi [7] [8] [9] [13] [15]
45Sergio Yovine [6]
46Xudong Zhao [12] [17]
47Yunshan Zhu [19]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)