Naiju Zeng
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2011–2014
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | APSEC | A Symbolic Partial Order Method for Verifying SystemC. | Naiju Zeng, Wenhui Zhang |
| 2014 | ICECCS | An Executable Semantics of SystemC Transaction Level Models and Its Applications with VERDS. | Naiju Zeng, Wenhui Zhang |
| 2013 | APSEC | A SystemC Semantics in Guarded Assignment Systems and Its Applications with VERDS. | Naiju Zeng, Wenhui Zhang |
| 2011 | ICCD | Enhanced symbolic simulation of a round-robin arbiter. | Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song |