Harry Hsieh

	2009
31		Eric Cheung, Harry Hsieh, Felice Balarin: Partial order method for timed simulation of system-level MPSoC designs. ASP-DAC 2009: 149-154
30		Eric Cheung, Harry Hsieh, Felice Balarin: Fast and accurate performance simulation of embedded software for MPSoC. ASP-DAC 2009: 552-557
29		Eric Cheung, Harry Hsieh, Felice Balarin: Memory subsystem simulation in software TLM/T models. ASP-DAC 2009: 811-816
28		Eric Cheung, Xi Chen, Harry Hsieh, Abhijit Davare, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe: Runtime deadlock analysis for system level design. Design Autom. for Emb. Sys. 13(4): 287-310 (2009)
	2008
27		Eric Cheung, Harry Hsieh, Felice Balarin: Software optimization for MPSoC: a mpeg-2 decoder case study. CODES+ISSS 2008: 43-48
	2007
26		Jia Yu, Wei Wu, Xi Chen, Harry Hsieh, Jun Yang, Felice Balarin: Assertion-Based Design Exploration of DVS in Network Processor Architectures CoRR abs/0710.4714: (2007)
25		Ryan Mannion, Harry Hsieh, Susan Cotterell, Frank Vahid: System Synthesis for Networks of Programmable Blocks CoRR abs/0710.4798: (2007)
	2006
24		Guang Yang, Xi Chen, Felice Balarin, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli: Communication and co-simulation infrastructure for heterogeneous system integration. DATE 2006: 462-467
23		Xi Chen, Harry Hsieh, Felice Balarin: Verification Approach of Metropolis Design Framework for Embedded Systems. International Journal of Parallel Programming 34(1): 3-27 (2006)
	2005
22		Xi Chen, Abhijit Davare, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe: Simulation based deadlock analysis for system level designs. DAC 2005: 260-265
21		Ryan Mannion, Harry Hsieh, Susan Cotterell, Frank Vahid: System Synthesis for Networks of Programmable Blocks. DATE 2005: 888-893
20		Jia Yu, Wei Wu, Xi Chen, Harry Hsieh, Jun Yang, Felice Balarin: Assertion-Based Design Exploration of DVS in Network Processor Architectures. DATE 2005: 92-97
19		Susan Cotterell, Ryan Mannion, Frank Vahid, Harry Hsieh: eBlocks - an enabling technology for basic sensor based systems. IPSN 2005: 422-427
	2004
18		Xi Chen, Yan Luo, Harry Hsieh, Laxmi N. Bhuyan, Felice Balarin: Utilizing Formal Assertions for System Design of Network Processors. DATE 2004: 126-133
17		Xi Chen, Yan Luo, Harry Hsieh, Laxmi N. Bhuyan, Felice Balarin: Assertion Based Verification and Analysis of Network Processor Architectures. Design Autom. for Emb. Sys. 9(3): 163-176 (2004)
16		Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Watanabe: Logic of constraints: a quantitative performance and functional constraint formalism. IEEE Trans. on CAD of Integrated Circuits and Systems 23(8): 1243-1255 (2004)
	2003
15		Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Watanabe: Case Studies of Model Checking for Embedded System Designs. ACSD 2003: 20-28
14		Susan Cotterell, Frank Vahid, Walid A. Najjar, Harry Hsieh: First results with eBlocks: embedded systems building blocks. CODES+ISSS 2003: 168-175
13		Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Watanabe: Automatic trace analysis for logic of constraints. DAC 2003: 460-465
12		Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Watanabe: Automatic Generation of Simulation Monitors from Quantitative Constraint Formula. DATE 2003: 11174-11175
11		Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Watanabe: Formal Verification for Embedded System Designs. Design Autom. for Emb. Sys. 8(2-3): 139-153 (2003)
10		Felice Balarin, Yosinori Watanabe, Harry Hsieh, Luciano Lavagno, Claudio Passerone, Alberto L. Sangiovanni-Vincentelli: Metropolis: An Integrated Electronic System Design Environment. IEEE Computer 36(4): 45-52 (2003)
	2001
9		Harry Hsieh, Felice Balarin, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Synchronous approach to the functional equivalence of embeddedsystem implementations. IEEE Trans. on CAD of Integrated Circuits and Systems 20(8): 1016-1033 (2001)
	2000
8		Harry Hsieh, Felice Balarin, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Efficient methods for embedded system design space exploration. DAC 2000: 607-612
	1999
7		Harry Hsieh, Felice Balarin: Synchronous equivalence for embedded systems: a tool for design exploration. ICCAD 1999: 505-510
6		Felice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki: Synthesis of software programs for embedded control applications. IEEE Trans. on CAD of Integrated Circuits and Systems 18(6): 834-849 (1999)
	1997
5		Harry Hsieh, Alberto L. Sangiovanni-Vincentelli: Modeling micro-controller peripherals for high-level co-simulation and synthesis. CODES 1997: 127-134
	1996
4		Felice Balarin, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Formal Verification of Embedded Systems based on CFSM Networks. DAC 1996: 568-571
3		Massimiliano Chiodo, Daniel Engels, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli: A case study in computer-aided co-design of embedded controllers. Design Autom. for Emb. Sys. 1(1-2): 51-67 (1996)
	1995
2		Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Harry Hsieh, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich: Synthesis of Software Programs for Embedded Control Applications. DAC 1995: 587-592
	1994
1		Luciano Lavagno, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Harry Hsieh, S. Yee, Alberto L. Sangiovanni-Vincentelli, Kei Suzuki: A case study in computer-aided codesign of embedded controllers. CODES 1994: 220-224

Coauthor Index

1	Felice Balarin	[4] [6] [7] [8] [9] [10] [11] [12] [13] [15] [16] [17] [18] [20] [23] [24] [26] [27] [29] [30] [31]
2	Laxmi N. Bhuyan	[17] [18]
3	Xi Chen	[11] [12] [13] [15] [16] [17] [18] [20] [22] [23] [24] [26] [28]
4	Eric Cheung	[27] [28] [29] [30] [31]
5	Massimiliano Chiodo	[1] [2] [3] [6]
6	Susan Cotterell	[14] [19] [21] [25]
7	Abhijit Davare	[22] [28]
8	Daniel Engels	[3]
9	Paolo Giusto	[1] [2] [3] [6]
10	Attila Jurecska	[1] [2] [3] [4] [6]
11	Luciano Lavagno	[1] [2] [3] [4] [6] [8] [9] [10]
12	Yan Luo	[17] [18]
13	Ryan Mannion	[19] [21] [25]
14	Walid A. Najjar	[14]
15	Claudio Passerone	[10]
16	Alberto L. Sangiovanni-Vincentelli	[1] [2] [3] [4] [5] [6] [8] [9] [10] [22] [24] [28]
17	Ellen Sentovich (Ellen M. Sentovich)	[2] [6]
18	Kei Suzuki	[1] [2] [3] [6]
19	Frank Vahid	[14] [19] [21] [25]
20	Yosinori Watanabe	[10] [11] [12] [13] [15] [16] [22] [28]
21	Wei Wu	[20] [26]
22	Jun Yang	[20] [26]
23	Guang Yang	[24]
24	S. Yee	[1]
25	Jia Yu	[20] [26]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page