| 2008 |
|---|
| 10 | EE | Jian Guo,
Jungang Han,
Naiyong Jin:
Witness and Counter-Example on 3-Valued Model Checking.
FSKD (2) 2008: 633-637 |
| 9 | EE | Naiyong Jin,
Huibiao Zhu:
ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions.
ISoLA 2008: 237-251 |
| 8 | EE | 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 |
|---|
| 7 | EE | Naiyong Jin,
Taoyong Ni:
Interface Specification Assurance Methods.
ISQED 2007: 269-274 |
| 6 | EE | Naiyong Jin,
Chengjie Shen:
Dynamic Verifying The Properties of The Simple Subset of PSL.
TASE 2007: 229-240 |
| 2006 |
|---|
| 5 | EE | Xiaoqing Peng,
Huibiao Zhu,
Jifeng He,
Naiyong Jin:
An Operational Semantics of an Event-Driven System-Level Simulator.
SEW 2006: 190-202 |
| 2005 |
|---|
| 4 | EE | Naiyong Jin,
Jifeng He:
Towards A Truly Concurrent Model for Processes Sharing Resources.
SEFM 2005: 231-239 |
| 2004 |
|---|
| 3 | EE | Jifeng He,
Naiyong Jin:
Integrating Variants of DC.
ICTAC 2004: 14-34 |
| 2 | EE | Naiyong Jin,
Jifeng He:
Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language.
SEFM 2004: 132-141 |
| 2001 |
|---|
| 1 | | Fuliang Weng,
Naiyong Jin,
Jie Meng,
Yujia Zhu:
A Novel Probabilistic Model for Link Unification Grammar.
IWPT 2001 |
