dblp.uni-trier.dewww.uni-trier.de

Fei Xie

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
42EEJuncao Li, Nicholas T. Pilkington, Fei Xie, Qiang Liu: Embedded Architecture Description Language. COMPSAC 2008: 36-43
41EEYan Chen, Fei Xie, Jin Yang: Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation. DAC 2008: 143-148
40EEHonguk 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
39EEXinghua 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
38EEJuncao Li, Xiuli Sun, Fei Xie, Xiaoyu Song: Component-Based Abstraction and Refinement. ICSR 2008: 39-51
37EEJianliang 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
36EEHao 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
35EEFei Xie, Xindong Wu, Xuegang Hu, Fei-Yue Wang: Keyphrase Extraction from Chinese News Web Pages Based on Semantic Relations. ISI Workshops 2008: 490-495
34EEFuyu Liu, Kien A. Hua, Fei Xie: On Reducing Communication Cost for Distributed Moving Query Monitoring Systems. MDM 2008: 156-164
33EEFei 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
32EEFei Xie, Huaiyu Liu: Unified Property Specification for Hardware/Software Co-Verification. COMPSAC (1) 2007: 483-490
31EEPing Hang Cheung, Kecheng Hao, Fei Xie: Component-Based Hardware/Software Co-Simulation. DSD 2007: 265-270
30EEJuncao Li, Fei Xie, Huaiyu Liu: Guiding Component-Based Hardware/Software Co-Verification with Patterns. EUROMICRO-SEAA 2007: 67-74
29EEYan Chen, Yujing He, Fei Xie, Jin Yang: Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation. FMCAD 2007: 111-118
28EEFei Xie, Kien A. Hua, Ning Jiang: Achieving True Video-on-Demand Service in Multi-Hop WiMax Mesh Networks. LCN 2007: 287-294
27EEFei Xie, Ning Jiang, Yao Hua Ho, Kien A. Hua: Semi-Split TCP: Maintaining End-to-End Semantics for Split TCP. LCN 2007: 303-314
26EEWenjing Wang, Fei Xie, Mainak Chatterjee: TOPO: Routing in Large Scale Vehicular Networks. VTC Fall 2007: 2106-2110
25EEFei 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
24EEPhillip 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)
23EEFei 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
22EEFei Xie, Guowu Yang, Xiaoyu Song: Compositional Reasoning for Hardware/Software Co-verification. ATVA 2006: 154-169
21EEFei Xie, James C. Browne: Verification of Component-Based Software Application Families. CBSE 2006: 50-66
20EEGuowu Yang, Fei Xie, Xiaoyu Song, Marek A. Perkowski: Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits. CIAA 2006: 279-280
19EEFei 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
18EEWenjing Wang, Fei Xie, Mainak Chatterjee: Routing Performance in CDMA-based Sensor Networks for Different Energy Metrics. LCN 2006: 664-671
17EEFei Xie, Guowu Yang, Xiaoyu Song: Component-based hardware/software co-verification. MEMOCODE 2006: 27-36
16EEGuowu Yang, Xiaoyu Song, William N. N. Hung, Fei Xie, Marek A. Perkowski: Group Theory Based Synthesis of Binary Reversible Circuits. TAMC 2006: 365-374
15EEGuowu Yang, Jin Yang, Xiaoyu Song, Fei Xie: Maximal Models of Assertion Graph in GSTE. TAMC 2006: 684-693
2005
14EEGuowu Yang, Xiaoyu Song, Hannah Honghua Yang, Fei Xie: A Theoretical Upper Bound for IP-Based Floorplanning. COCOON 2005: 411-419
13EEFei Xie, Xiaoyu Song, Haera Chung, Ranajoy Nandi: Translation-based co-verification. MEMOCODE 2005: 111-120
12EEFei 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
11EEFei Xie, Phillip C.-Y. Sheu, Arthur Lander, Vittorio Cristini: Semantic Analysis and Synthesis of Complex Biological Systems. BIBE 2004: 600-610
10EEFei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne: Translating Software Designs for Model Checking. FASE 2004: 324-338
9EEThomas Ball, Vladimir Levin, Fei Xie: Automatic Creation of Environment Models via Training. TACAS 2004: 93-107
8EENatasha 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
7EEFei Xie, James C. Browne: Verified systems by composition from verified components. ESEC / SIGSOFT FSE 2003: 277-286
6EEFei Xie, James C. Browne, Robert P. Kurshan: Translation-Based Compositional Reasoning for Software Systems. FME 2003: 582-599
2002
5EEFei Xie, Vladimir Levin, James C. Browne: ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs. FASE 2002: 331-335
4EEFei Xie, James C. Browne: Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs. FASE 2002: 64-79
3EEGeorge T. Wang, Fei Xie, F. Tsunoda, H. Maezawa, Akira K. Onoma: Web Search with Personalization and Knowledge. ISMSE 2002: 90-97
2EEPeng 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
1EEFei Xie, Vladimir Levin, James C. Browne: Model Checking for an Executable Subset of UML. ASE 2001: 333-336

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)