Juncao Li

Publication Activity (10 Years)

Years Active: 2006-2011
Publications (10 Years): 0

Publications

Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin
Model Checking Büchi Pushdown Systems. FASE (2011)
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey
Formalizing hardware/software interface specifications. ASE (2011)
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey
An Automata-Theoretic Approach to Hardware/Software Co-verification. FASE (2010)
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin
Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification. CAV (2010)
Juncao Li, Nicholas T. Pilkington, Fei Xie, Qiang Liu
Embedded architecture description language. J. Syst. Softw. 83 (2) (2010)
Nicholas T. Pilkington, Juncao Li, Fei Xie
ESIDE: An Integrated Development Environment for Component-Based Embedded Systems. COMPSAC (1) (2009)
Juncao Li, Xiuli Sun, Fei Xie, Xiaoyu Song
Component-Based Abstraction and Refinement. ICSR (2008)
Juncao Li, Nicholas T. Pilkington, Fei Xie, Qiang Liu
Embedded Architecture Description Language. COMPSAC (2008)
Juncao Li, Fei Xie, Huaiyu Liu
Guiding Component-Based Hardware/Software Co-Verification with Patterns. EUROMICRO-SEAA (2007)
Juncao Li, Yong Zhang, Wenhai Kong, Xiamu Niu
Fingerprint Identification Based on Frequency Texture Analysis. ICICIC (2) (2006)
Yong Zhang, Xiamu Niu, Juncao Li, Chun-ming Li
Research on a Novel Hashing Stream Cipher. CIS (2006)
Yong Zhang, Xiamu Niu, Dongning Zhao, Juncao Li, Siming Liu
Relational Databases Watermark Technique Based on Content Characteristic. ICICIC (3) (2006)