 | 2009 |
|---|
| 12 |       | Emmanuel Filiot,
Naiyong Jin,
Jean-François Raskin:
An Antichain Algorithm for LTL Realizability.
CAV 2009: 263-277 |
| 2008 |
|---|
| 11 | | Jian Guo,
Jungang Han,
Naiyong Jin:
Witness and Counter-Example on 3-Valued Model Checking.
FSKD (2) 2008: 633-637 |
| 10 | | Naiyong Jin,
Juan Zhou,
Taoyong Ni:
iPSL: An Environment for IP-Based PSL Specification.
ICECCS 2008: 46-55 |
| 9 | | Naiyong Jin,
Huibiao Zhu:
ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions.
ISoLA 2008: 237-251 |
| 8 | | 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 | | Naiyong Jin,
Taoyong Ni:
Interface Specification Assurance Methods.
ISQED 2007: 269-274 |
| 6 | | Naiyong Jin,
Chengjie Shen:
Dynamic Verifying The Properties of The Simple Subset of PSL.
TASE 2007: 229-240 |
| 2006 |
|---|
| 5 | | Xiaoqing Peng,
Huibiao Zhu,
Jifeng He,
Naiyong Jin:
An Operational Semantics of an Event-Driven System-Level Simulator.
SEW 2006: 190-202 |
| 2005 |
|---|
| 4 | | Naiyong Jin,
Jifeng He:
Towards A Truly Concurrent Model for Processes Sharing Resources.
SEFM 2005: 231-239 |
| 2004 |
|---|
| 3 | | Jifeng He,
Naiyong Jin:
Integrating Variants of DC.
ICTAC 2004: 14-34 |
| 2 | | 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 |
