Interface Specification Assurance Methods. - Naiyong Jin; Taoyong Ni (ISQED, 2007)

Engineering of An Assertion-based PSLSimple-Verilog Dynamic Verifier by Alternating Automata. - Naiyong Jin; Chengjie Shen; Jun Chen; Taoyong Ni (TTSS, 2007)

iPSL: An Environment for IP-Based PSL Specification. - Naiyong Jin; Juan Zhou; Taoyong Ni (ICECCS, 2008)