Naiyong Jin

	2011
15		Emmanuel Filiot, Naiyong Jin, Jean-François Raskin: Antichains and compositional algorithms for LTL synthesis. Formal Methods in System Design 39(3): 261-296 (2011)
	2010
14		Emmanuel Filiot, Naiyong Jin, Jean-François Raskin: Compositional Algorithms for LTL Synthesis. ATVA 2010: 112-127
	2009
13		Emmanuel Filiot, Naiyong Jin, Jean-François Raskin: An Antichain Algorithm for LTL Realizability. CAV 2009: 263-277
	2008
12		Jian Guo, Jungang Han, Naiyong Jin: Witness and Counter-Example on 3-Valued Model Checking. FSKD (2) 2008: 633-637
11		Naiyong Jin, Juan Zhou, Taoyong Ni: iPSL: An Environment for IP-Based PSL Specification. ICECCS 2008: 46-55
10		Naiyong Jin, Huibiao Zhu: ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions. ISoLA 2008: 237-251
9		Huibiao Zhu, Jifeng He, Xiaoqing Peng, Naiyong Jin: Denotational Approach to an Event-Driven System-Level Language. UTP 2008: 258-278
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

Coauthor Index

1	Jun Chen	[8]
2	Emmanuel Filiot	[13] [14] [15]
3	Jian Guo	[12]
4	Jungang Han	[12]
5	Jifeng He	[2] [3] [4] [5] [9]
6	Jie Meng	[1]
7	Taoyong Ni	[7] [8] [11]
8	Xiaoqing Peng	[5] [9]
9	Jean-François Raskin	[13] [14] [15]
10	Chengjie Shen	[6] [8]
11	Fuliang Weng	[1]
12	Juan Zhou	[11]
13	Huibiao Zhu	[5] [9] [10]
14	Yujia Zhu	[1]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page