Travelled to:1 × Belgium
1 × Denmark
1 × Israel
6 × USA
Collaborated with:T.A.Henzinger H.Wong-Toi F.Y.C.Mang W.Hou Y.V.Hoskote T.Kam X.Zhao Y.Cheon A.B.Kahng S.Reda Q.Wang J.Shi Y.Cai L.Ma S.X.Tan X.Wang D.Wang J.Long J.H.Kukula Y.Zhu H.T.Ma R.F.Damiano
Talks about:analysi (4) hybrid (3) abstract (2) control (2) system (2) formal (2) refin (2) power (2) model (2) placement (1)
Person: Pei-Hsin Ho
DBLP: Ho:Pei=Hsin
Contributed to:
200920072005200420011999
19971995
1995Wrote 10 papers:
- DAC-2009-ShiCHMTHW #analysis #gpu #grid #network #performance #power management
- GPU friendly fast Poisson solver for structured power grid network analysis (JS, YC, WH, LM, SXDT, PHH, XW), pp. 178–183.
- DAC-2007-MangHH #distributed #effectiveness #physics #synthesis
- Techniques for Effective Distributed Physical Synthesis (FYCM, WH, PHH), pp. 859–864.
- DAC-2005-CheonHKRW #power management
- Power-aware placement (YC, PHH, ABK, SR, QW), pp. 795–800.
- DAC-2004-MangH #abstraction #analysis #refinement
- Abstraction refinement by controllability and cooperativeness analysis (FYCM, PHH), pp. 224–229.
- DAC-2001-WangHLKZMD #abstraction #hybrid #refinement #simulation #verification
- Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines (DW, PHH, JL, JHK, YZ, HKTM, RFD), pp. 35–40.
- DAC-1999-HoskoteKHZ #estimation #model checking
- Coverage Estimation for Symbolic Model Checking (YVH, TK, PHH, XZ), pp. 300–305.
- CAV-1997-HenzingerHW #hybrid #model checking #named
- HYTECH: A Model Checker for Hybrid Systems (TAH, PHH, HWT), pp. 460–463.
- CAV-1995-HenzingerH #algorithm #analysis #hybrid
- Algorithmic Analysis of Nonlinear Hybrid Systems (TAH, PHH), pp. 225–238.
- CAV-1995-HoW #analysis #automation #protocol
- Automated Analysis of an Audio Control Protocol (PHH, HWT), pp. 381–394.
- TACAS-1995-HenzingerHW
- A User Guide to HyTech (TAH, PHH, HWT), pp. 41–71.