Juncao Li

	2011
12		Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey: Formalizing hardware/software interface specifications. ASE 2011: 143-152
11		Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin: Model Checking Büchi Pushdown Systems. FASE 2011: 141-155
	2010
10		Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin: Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification. CAV 2010: 339-353
9		Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey: An Automata-Theoretic Approach to Hardware/Software Co-verification. FASE 2010: 248-262
8		Juncao Li, Nicholas T. Pilkington, Fei Xie, Qiang Liu: Embedded architecture description language. Journal of Systems and Software 83(2): 235-252 (2010)
	2009
7		Nicholas T. Pilkington, Juncao Li, Fei Xie: ESIDE: An Integrated Development Environment for Component-Based Embedded Systems. COMPSAC (1) 2009: 305-314
	2008
6		Juncao Li, Nicholas T. Pilkington, Fei Xie, Qiang Liu: Embedded Architecture Description Language. COMPSAC 2008: 36-43
5		Juncao Li, Xiuli Sun, Fei Xie, Xiaoyu Song: Component-Based Abstraction and Refinement. ICSR 2008: 39-51
	2007
4		Juncao Li, Fei Xie, Huaiyu Liu: Guiding Component-Based Hardware/Software Co-Verification with Patterns. EUROMICRO-SEAA 2007: 67-74
	2006
3		Yong Zhang, Xiamu Niu, Juncao Li, Chun-ming Li: Research on a Novel Hashing Stream Cipher. CIS 2006: 481-490
2		Juncao Li, Yong Zhang, Wenhai Kong, Xiamu Niu: Fingerprint Identification Based on Frequency Texture Analysis. ICICIC (2) 2006: 121-125
1		Yong Zhang, Xiamu Niu, Dongning Zhao, Juncao Li, Siming Liu: Relational Databases Watermark Technique Based on Content Characteristic. ICICIC (3) 2006: 677-680

Coauthor Index

1	Thomas Ball	[9] [10] [11] [12]
2	Wenhai Kong	[2]
3	Vladimir Levin	[9] [10] [11] [12]
4	Chun-ming Li	[3]
5	Huaiyu Liu	[4]
6	Qiang Liu	[6] [8]
7	Siming Liu	[1]
8	Con McGarvey	[9] [12]
9	Xiamu Niu	[1] [2] [3]
10	Nicholas T. Pilkington	[6] [7] [8]
11	Xiaoyu Song	[5]
12	Xiuli Sun	[5]
13	Fei Xie	[4] [5] [6] [7] [8] [9] [10] [11] [12]
14	Yong Zhang	[1] [2] [3]
15	Dongning Zhao	[1]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page