Juncao Li

According to our database, Juncao Li authored at least 11 papers between 2006 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

Formalizing hardware/software interface specifications.

Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Model Checking Büchi Pushdown Systems.

Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin

Proceedings of the Fundamental Approaches to Software Engineering, 2011

2010

Embedded architecture description language.

Juncao Li, Nicholas T. Pilkington, Fei Xie, Qiang Liu

J. Syst. Softw., 2010

An Automata-Theoretic Approach to Hardware/Software Co-verification.

Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey

Proceedings of the Fundamental Approaches to Software Engineering, 2010

Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification.

Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

ESIDE: An Integrated Development Environment for Component-Based Embedded Systems.

Nicholas T. Pilkington, Juncao Li, Fei Xie

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008

Component-Based Abstraction and Refinement.

Juncao Li, Xiuli Sun, Fei Xie, Xiaoyu Song

Proceedings of the High Confidence Software Reuse in Large Systems, 2008

2007

Guiding Component-Based Hardware/Software Co-Verification with Patterns.

Juncao Li, Fei Xie, Huaiyu Liu

Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), 2007

2006

Relational Databases Watermark Technique Based on Content Characteristic.

Yong Zhang, Xiamu Niu, Dongning Zhao, Juncao Li, Siming Liu

Proceedings of the First International Conference on Innovative Computing, Information and Control (ICICIC 2006), 30 August, 2006

Fingerprint Identification Based on Frequency Texture Analysis.

Juncao Li, Yong Zhang, Wenhai Kong, Xiamu Niu

Proceedings of the First International Conference on Innovative Computing, Information and Control (ICICIC 2006), 30 August, 2006

Research on a Novel Hashing Stream Cipher.

Yong Zhang, Xiamu Niu, Juncao Li, Chun-ming Li

Proceedings of the Computational Intelligence and Security, International Conference, 2006