Naiju Zeng

According to our database, Naiju Zeng authored at least 7 papers between 2011 and 2014.

Collaborative distances:

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

2014

Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation.

Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song

Comput. J., 2014

An Executable Semantics of SystemC Transaction Level Models and Its Applications with VERDS.

Naiju Zeng, Wenhui Zhang

Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

A Symbolic Partial Order Method for Verifying SystemC.

Naiju Zeng, Wenhui Zhang

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

A SystemC Semantics in Guarded Assignment Systems and Its Applications with VERDS.

Naiju Zeng, Wenhui Zhang

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2011

Exploring structural symmetry automatically in symbolic trajectory evaluation.

Yongjian Li, William N. N. Hung, Xiaoyu Song, Naiju Zeng

Formal Methods Syst. Des., 2011

Enhanced symbolic simulation of a round-robin arbiter.

Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song

Proceedings of the IEEE 29th International Conference on Computer Design, 2011

Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE.

Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song

Proceedings of the Hardware and Software: Verification and Testing, 2011