Naiju Zeng

Publication Activity (10 Years)

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

Top Topics

Abstraction Levels

Evaluation Methods

Connectionist Learning

Top Venues

Publications

Naiju Zeng, Wenhui Zhang
A Symbolic Partial Order Method for Verifying SystemC. APSEC (1) (2014)
Naiju Zeng, Wenhui Zhang
An Executable Semantics of SystemC Transaction Level Models and Its Applications with VERDS. ICECCS (2014)
Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song
Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation. Comput. J. 57 (1) (2014)
Naiju Zeng, Wenhui Zhang
A SystemC Semantics in Guarded Assignment Systems and Its Applications with VERDS. APSEC (1) (2013)
Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song
Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE. Haifa Verification Conference (2011)
Yongjian Li, William N. N. Hung, Xiaoyu Song, Naiju Zeng
Exploring structural symmetry automatically in symbolic trajectory evaluation. Formal Methods Syst. Des. 39 (2) (2011)
Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song
Enhanced symbolic simulation of a round-robin arbiter. ICCD (2011)