Juncao Li
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2006–2011
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | FASE | Model Checking Bchi Pushdown Systems. | Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin |
| 2010 | CAV | Efficient Reachability Analysis of Bchi Pushdown Systems for Hardware/Software Co-verification. | Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin |
| 2010 | FASE | An Automata-Theoretic Approach to Hardware/Software Co-verification. | Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey |
| 2009 | COMPSAC | ESIDE: An Integrated Development Environment for Component-Based Embedded Systems. | Nicholas T. Pilkington, Juncao Li, Fei Xie |
| 2008 | COMPSAC | Embedded Architecture Description Language. | Juncao Li, Nicholas T. Pilkington, Fei Xie, Qiang Liu |
| 2008 | ICSR | Component-Based Abstraction and Refinement. | Juncao Li, Xiuli Sun, Fei Xie, Xiaoyu Song |
| 2006 | CIS | Research on a Novel Hashing Stream Cipher. | Yong Zhang, Xiamu Niu, Juncao Li, Chun-ming Li |