| 2008 | ||
|---|---|---|
| 3 | Naiyong Jin, Juan Zhou, Taoyong Ni: iPSL: An Environment for IP-Based PSL Specification. ICECCS 2008: 46-55 | |
| 2 | Naiyong Jin, Chengjie Shen, Jun Chen, Taoyong Ni: Engineering of An Assertion-based PSLSimple-Verilog Dynamic Verifier by Alternating Automata. Electr. Notes Theor. Comput. Sci. 207: 153-169 (2008) | |
| 2007 | ||
| 1 | Naiyong Jin, Taoyong Ni: Interface Specification Assurance Methods. ISQED 2007: 269-274 | |
| 1 | Jun Chen | [2] |
| 2 | Naiyong Jin | [1] [2] [3] |
| 3 | Chengjie Shen | [2] |
| 4 | Juan Zhou | [3] |