Fei Xie

	2009
47		Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang: Formal Verification for High-Assurance Behavioral Synthesis. ATVA 2009: 337-351
46		Kecheng Hao, Fei Xie: Componentizing hardware/software interface design. DATE 2009: 232-237
	2008
45		Juncao Li, Nicholas T. Pilkington, Fei Xie, Qiang Liu: Embedded Architecture Description Language. COMPSAC 2008: 36-43
44		Yan Chen, Fei Xie, Jin Yang: Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation. DAC 2008: 143-148
43		Honguk Woo, Jianliang Yi, James C. Browne, Aloysius K. Mok, Ella Atkins, Fei Xie: Design and Development Methodology for Resilient Cyber-Physical Systems. ICDCS Workshops 2008: 525-528
42		Xinghua Li, Xindong Wu, Xuegang Hu, Fei Xie, Zhaozhong Jiang: Keyword Extraction Based on Lexical Chains and Word Co-occurrence for Chinese News Web Pages. ICDM Workshops 2008: 744-751
41		Juncao Li, Xiuli Sun, Fei Xie, Xiaoyu Song: Component-Based Abstraction and Refinement. ICSR 2008: 39-51
40		Jianliang Yi, Honguk Woo, James C. Browne, Aloysius K. Mok, Fei Xie, Ella Atkins, Chan-Gun Lee: Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 137-146
39		Hao Cheng, Yao Hua Ho, Kien A. Hua, Danzhou Liu, Fei Xie, Ynn-Pyng Tsaur: A Service-Oriented Approach to Storage Backup. IEEE SCC (2) 2008: 413-421
38		Fei Xie, Xindong Wu, Xuegang Hu, Fei-Yue Wang: Keyphrase Extraction from Chinese News Web Pages Based on Semantic Relations. ISI Workshops 2008: 490-495
37		Fuyu Liu, Kien A. Hua, Fei Xie: On Reducing Communication Cost for Distributed Moving Query Monitoring Systems. MDM 2008: 156-164
36		Yao Hua Ho, Kien A. Hua, Ning Jiang, Fei Xie: Dynamic Route Diversion in Connectionless Mobile Ad Hoc Networks. NAS 2008: 53-61
35		Fei Xie, Kien A. Hua, Ning Jiang: A cross-layer framework for video-on-demand service in multi-hop WiMax mesh networks. Computer Communications 31(8): 1615-1626 (2008)
	2007
34		Fei Xie, Huaiyu Liu: Unified Property Specification for Hardware/Software Co-Verification. COMPSAC (1) 2007: 483-490
33		Ping Hang Cheung, Kecheng Hao, Fei Xie: Component-Based Hardware/Software Co-Simulation. DSD 2007: 265-270
32		Juncao Li, Fei Xie, Huaiyu Liu: Guiding Component-Based Hardware/Software Co-Verification with Patterns. EUROMICRO-SEAA 2007: 67-74
31		Yan Chen, Yujing He, Fei Xie, Jin Yang: Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation. FMCAD 2007: 111-118
30		Fei Xie, Kien A. Hua, Ning Jiang: Achieving True Video-on-Demand Service in Multi-Hop WiMax Mesh Networks. LCN 2007: 287-294
29		Fei Xie, Ning Jiang, Yao Hua Ho, Kien A. Hua: Semi-Split TCP: Maintaining End-to-End Semantics for Split TCP. LCN 2007: 303-314
28		Wenjing Wang, Fei Xie, Mainak Chatterjee: TOPO: Routing in Large Scale Vehicular Networks. VTC Fall 2007: 2106-2110
27		Fei Xie, Kien A. Hua, Wenjing Wang, Yao Hua Ho: Performance Study of Live Video Streaming Over Highway Vehicular Ad Hoc Networks. VTC Fall 2007: 2121-2125
26		Phillip C.-Y. Sheu, Atsushi Kitazawa, Chihiro Ishii, Kenichi Kaneko, Fei Xie: From Semanticobjects to Structured Natural Language. Int. J. Semantic Computing 1(3): 359-375 (2007)
25		Fei Xie, Guowu Yang, Xiaoyu Song: Component-based hardware/software co-verification for building trustworthy embedded systems. Journal of Systems and Software 80(5): 643-654 (2007)
	2006
24		Fei Xie, Guowu Yang, Xiaoyu Song: Compositional Reasoning for Hardware/Software Co-verification. ATVA 2006: 154-169
23		Fei Xie, James C. Browne: Verification of Component-Based Software Application Families. CBSE 2006: 50-66
22		Guowu Yang, Fei Xie, Xiaoyu Song, Marek A. Perkowski: Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits. CIAA 2006: 279-280
21		Fei Xie, Haitao Gong, Donghua Deng, Shu Wang, George T. Wang, Jicheng Hu, Phillip C.-Y. Sheu: Integrating Semantic Web Services for Declarative Accesses in Natural Language. ISM 2006: 201-208
20		Wenjing Wang, Fei Xie, Mainak Chatterjee: Routing Performance in CDMA-based Sensor Networks for Different Energy Metrics. LCN 2006: 664-671
19		Fei Xie, Guowu Yang, Xiaoyu Song: Component-based hardware/software co-verification. MEMOCODE 2006: 27-36
18		Guowu Yang, Xiaoyu Song, William N. N. Hung, Fei Xie, Marek A. Perkowski: Group Theory Based Synthesis of Binary Reversible Circuits. TAMC 2006: 365-374
17		Guowu Yang, Jin Yang, Xiaoyu Song, Fei Xie: Maximal Models of Assertion Graph in GSTE. TAMC 2006: 684-693
	2005
16		Guowu Yang, Xiaoyu Song, Hannah Honghua Yang, Fei Xie: A Theoretical Upper Bound for IP-Based Floorplanning. COCOON 2005: 411-419
15		Fei Xie, Xiaoyu Song, Haera Chung, Ranajoy Nandi: Translation-based co-verification. MEMOCODE 2005: 111-120
14		Fei Xie, Phillip C.-Y. Sheu, Arthur Lander, Vittorio Cristini: Semantic Analysis and Synthesis of Complex Biological Systems. International Journal of Software Engineering and Knowledge Engineering 15(3): 547-570 (2005)
	2004
13		Fei Xie, Phillip C.-Y. Sheu, Arthur Lander, Vittorio Cristini: Semantic Analysis and Synthesis of Complex Biological Systems. BIBE 2004: 600-610
12		Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne: Translating Software Designs for Model Checking. FASE 2004: 324-338
11		Thomas Ball, Vladimir Levin, Fei Xie: Automatic Creation of Environment Models via Training. TACAS 2004: 93-107
10		Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin: Lessons Learned from Model Checking a NASA Robot Controller. Formal Methods in System Design 25(2-3): 241-270 (2004)
	2003
9		Fei Xie, James C. Browne: Verified systems by composition from verified components. ESEC / SIGSOFT FSE 2003: 277-286
8		Fei Xie, James C. Browne, Robert P. Kurshan: Translation-Based Compositional Reasoning for Software Systems. FME 2003: 582-599
	2002
7		Fei Xie, Vladimir Levin, James C. Browne: ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs. FASE 2002: 331-335
6		Fei Xie, James C. Browne: Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs. FASE 2002: 64-79
5		George T. Wang, Fei Xie, F. Tsunoda, H. Maezawa, Akira K. Onoma: Web Search with Personalization and Knowledge. ISMSE 2002: 90-97
4		Peng Bi, Fei Xie, Guangwen Yang, Dingxing Wang: A multi-protocol cross-domain communication model for metacomputing systems. Operating Systems Review 36(2): 52-63 (2002)
	2001
3		Fei Xie, Vladimir Levin, James C. Browne: Model Checking for an Executable Subset of UML. ASE 2001: 333-336
	1996
2		Fei Xie, Dirk Van Compernolle: Speech enhancement by spectral magnitude estimation - A unifying approach. Speech Communication 19(2): 89-104 (1996)
	1990
1		Dirk Van Compernolle, Weiye Ma, Fei Xie, Marc Van Diest: Speech recognition in noisy environments with the aid of microphone arrays. Speech Communication 9(5-6): 433-442 (1990)

Coauthor Index

1	Ella Atkins	[40] [43]
2	Thomas Ball	[11]
3	Peng Bi	[4]
4	James C. Browne	[3] [6] [7] [8] [9] [10] [12] [23] [40] [43]
5	Mainak Chatterjee	[20] [28]
6	Yan Chen	[31] [44] [47]
7	Hao Cheng	[39]
8	Ping Hang Cheung	[33]
9	Haera Chung	[15]
10	Dirk Van Compernolle	[1] [2]
11	Vittorio Cristini	[13] [14]
12	Donghua Deng	[21]
13	Marc Van Diest	[1]
14	Haitao Gong	[21]
15	Kecheng Hao	[33] [46] [47]
16	Yujing He	[31]
17	Yao Hua Ho	[27] [29] [36] [39]
18	Jicheng Hu	[21]
19	Xuegang Hu	[38] [42]
20	Kien A. Hua	[27] [29] [30] [35] [36] [37] [39]
21	William N. N. Hung	[18]
22	Chihiro Ishii	[26]
23	Ning Jiang	[29] [30] [35] [36]
24	Zhaozhong Jiang	[42]
25	Kenichi Kaneko	[26]
26	Atsushi Kitazawa	[26]
27	Robert P. Kurshan	[8] [10] [12]
28	Arthur Lander	[13] [14]
29	Chan-Gun Lee	[40]
30	Vladimir Levin	[3] [7] [10] [11] [12]
31	Juncao Li	[32] [41] [45]
32	Xinghua Li	[42]
33	Danzhou Liu	[39]
34	Fuyu Liu	[37]
35	Huaiyu Liu	[32] [34]
36	Qiang Liu	[45]
37	Weiye Ma	[1]
38	H. Maezawa	[5]
39	Aloysius K. Mok	[40] [43]
40	Ranajoy Nandi	[15]
41	Akira K. Onoma	[5]
42	Marek A. Perkowski	[18] [22]
43	Nicholas T. Pilkington	[45]
44	Sandip Ray	[47]
45	Natasha Sharygina	[10]
46	Phillip C.-Y. Sheu (Phillip Chen-Yu Sheu)	[13] [14] [21] [26]
47	Xiaoyu Song	[15] [16] [17] [18] [19] [22] [24] [25] [41]
48	Xiuli Sun	[41]
49	Ynn-Pyng Tsaur	[39]
50	F. Tsunoda	[5]
51	Dingxing Wang	[4]
52	Fei-Yue Wang	[38]
53	George T. Wang	[5] [21]
54	Shu Wang	[21]
55	Wenjing Wang	[20] [27] [28]
56	Honguk Woo	[40] [43]
57	Xindong Wu	[38] [42]
58	Guangwen Yang	[4]
59	Guowu Yang	[16] [17] [18] [19] [22] [24] [25]
60	Hannah Honghua Yang (Honghua Yang)	[16]
61	Jin Yang	[17] [31] [44] [47]
62	Jianliang Yi	[40] [43]

Colors in the list of coauthors