☰

Harry C. Hsieh, Ph.D. - Publications

Affiliations: 
2000 University of California, Berkeley, Berkeley, CA, United States 
Area:
Design, Modeling and Analysis (DMA), Embedded System Design; Design methodologies and tools; Control, Intelligent Systems, and Robotics (CIR), Hybrid systems; Design methodologies and tools; Communications & Networking (COMNET), Wireless sensor network de
Tree Info Similar researchers PubMed Report error

5 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2006 Chen X, Hsieh H, Balarin F. Verification Approach of Metropolis Design Framework for Embedded Systems International Journal of Parallel Programming. 34: 3-27. DOI: 10.1007/S10766-005-0002-X  0.456
2005 Chen X, Luo Y, Hsieh H, Bhuyan L, Balarin F. Assertion based verification and analysis of network processor architectures Design Automation For Embedded Systems. 9: 163-176. DOI: 10.1007/S10617-005-1193-5  0.472
2003 Chen X, Hsieh H, Balarin F, Watanabe Y. Formal Verification for Embedded System Designs Design Automation For Embedded Systems. 8: 139-153. DOI: 10.1023/B:Daem.0000003959.60964.4D  0.489
1996 Chiodo M, Engels D, Giusto P, Hsieh H, Jurecska A, Lavagno L, Suzuki K, Sangiovanni-Vincentelli A. A case study in computer-aided co-design of embedded controllers Design Automation For Embedded Systems. 1: 51-67. DOI: 10.1007/Bf00134683  0.5
1994 Chiodo M, Giusto P, Jurecska A, Hsieh H, Sangiovanni-Vincentelli A, Lavagno L. Hardware-software codesign of embedded systems Ieee Micro. 14: 26-36. DOI: 10.1109/40.296155  0.491
Show low-probability matches.