Juncao Li

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