The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Fei Xie: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Fei Xie, Guowu Yang, Xiaoyu Song
    Compositional Reasoning for Hardware/Software Co-verification. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:154-169 [Conf]
  2. Fei Xie, Phillip C.-Y. Sheu, Arthur Lander, Vittorio Cristini
    Semantic Analysis and Synthesis of Complex Biological Systems. [Citation Graph (0, 0)][DBLP]
    BIBE, 2004, pp:600-610 [Conf]
  3. Fei Xie, James C. Browne
    Verification of Component-Based Software Application Families. [Citation Graph (0, 0)][DBLP]
    CBSE, 2006, pp:50-66 [Conf]
  4. Guowu Yang, Xiaoyu Song, Hannah Honghua Yang, Fei Xie
    A Theoretical Upper Bound for IP-Based Floorplanning. [Citation Graph (0, 0)][DBLP]
    COCOON, 2005, pp:411-419 [Conf]
  5. Fei Xie, James C. Browne
    Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:64-79 [Conf]
  6. Fei Xie, Vladimir Levin, James C. Browne
    ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:331-335 [Conf]
  7. Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne
    Translating Software Designs for Model Checking. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:324-338 [Conf]
  8. Fei Xie, James C. Browne, Robert P. Kurshan
    Translation-Based Compositional Reasoning for Software Systems. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:582-599 [Conf]
  9. 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. [Citation Graph (0, 0)][DBLP]
    ISM, 2006, pp:201-208 [Conf]
  10. Fei Xie, Vladimir Levin, James C. Browne
    Model Checking for an Executable Subset of UML. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:333-336 [Conf]
  11. Fei Xie, Xiaoyu Song, Haera Chung, Ranajoy Nandi
    Translation-based co-verification. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2005, pp:111-120 [Conf]
  12. George T. Wang, Fei Xie, F. Tsunoda, H. Maezawa, Akira K. Onoma
    Web Search with Personalization and Knowledge. [Citation Graph (0, 0)][DBLP]
    ISMSE, 2002, pp:90-97 [Conf]
  13. Fei Xie, James C. Browne
    Verified systems by composition from verified components. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2003, pp:277-286 [Conf]
  14. Thomas Ball, Vladimir Levin, Fei Xie
    Automatic Creation of Environment Models via Training. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:93-107 [Conf]
  15. Guowu Yang, Xiaoyu Song, William N. N. Hung, Fei Xie, Marek A. Perkowski
    Group Theory Based Synthesis of Binary Reversible Circuits. [Citation Graph (0, 0)][DBLP]
    TAMC, 2006, pp:365-374 [Conf]
  16. Guowu Yang, Jin Yang, Xiaoyu Song, Fei Xie
    Maximal Models of Assertion Graph in GSTE. [Citation Graph (0, 0)][DBLP]
    TAMC, 2006, pp:684-693 [Conf]
  17. Guowu Yang, Fei Xie, Xiaoyu Song, Marek A. Perkowski
    Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits. [Citation Graph (0, 0)][DBLP]
    CIAA, 2006, pp:279-280 [Conf]
  18. Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin
    Lessons Learned from Model Checking a NASA Robot Controller. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2004, v:25, n:2-3, pp:241-270 [Journal]
  19. Fei Xie, Phillip C.-Y. Sheu, Arthur Lander, Vittorio Cristini
    Semantic Analysis and Synthesis of Complex Biological Systems. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2005, v:15, n:3, pp:547-570 [Journal]
  20. Peng Bi, Fei Xie, Guangwen Yang, Dingxing Wang
    A multi-protocol cross-domain communication model for metacomputing systems. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 2002, v:36, n:2, pp:52-63 [Journal]
  21. Fei Xie, Huaiyu Liu
    Unified Property Specification for Hardware/Software Co-Verification. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2007, pp:483-490 [Conf]
  22. Juncao Li, Fei Xie, Huaiyu Liu
    Guiding Component-Based Hardware/Software Co-Verification with Patterns. [Citation Graph (0, 0)][DBLP]
    EUROMICRO-SEAA, 2007, pp:67-74 [Conf]
  23. Fei Xie, Guowu Yang, Xiaoyu Song
    Component-based hardware/software co-verification. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2006, pp:27-36 [Conf]
  24. Fei Xie, Guowu Yang, Xiaoyu Song
    Component-based hardware/software co-verification for building trustworthy embedded systems. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2007, v:80, n:5, pp:643-654 [Journal]

  25. A Service-Oriented Approach to Storage Backup. [Citation Graph (, )][DBLP]


  26. Formal Verification for High-Assurance Behavioral Synthesis. [Citation Graph (, )][DBLP]


  27. Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification. [Citation Graph (, )][DBLP]


  28. Embedded Architecture Description Language. [Citation Graph (, )][DBLP]


  29. ESIDE: An Integrated Development Environment for Component-Based Embedded Systems. [Citation Graph (, )][DBLP]


  30. Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation. [Citation Graph (, )][DBLP]


  31. Componentizing hardware/software interface design. [Citation Graph (, )][DBLP]


  32. Optimizing equivalence checking for behavioral synthesis. [Citation Graph (, )][DBLP]


  33. Component-Based Hardware/Software Co-Simulation. [Citation Graph (, )][DBLP]


  34. An Automata-Theoretic Approach to Hardware/Software Co-verification. [Citation Graph (, )][DBLP]


  35. Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation. [Citation Graph (, )][DBLP]


  36. Design and Development Methodology for Resilient Cyber-Physical Systems. [Citation Graph (, )][DBLP]


  37. Keyword Extraction Based on Lexical Chains and Word Co-occurrence for Chinese News Web Pages. [Citation Graph (, )][DBLP]


  38. Component-Based Abstraction and Refinement. [Citation Graph (, )][DBLP]


  39. Keyphrase Extraction from Chinese News Web Pages Based on Semantic Relations. [Citation Graph (, )][DBLP]


  40. Achieving True Video-on-Demand Service in Multi-Hop WiMax Mesh Networks. [Citation Graph (, )][DBLP]


  41. Semi-Split TCP: Maintaining End-to-End Semantics for Split TCP. [Citation Graph (, )][DBLP]


  42. Routing Performance in CDMA-based Sensor Networks for Different Energy Metrics. [Citation Graph (, )][DBLP]


  43. On Reducing Communication Cost for Distributed Moving Query Monitoring Systems. [Citation Graph (, )][DBLP]


  44. Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems. [Citation Graph (, )][DBLP]


  45. Dynamic Route Diversion in Connectionless Mobile Ad Hoc Networks. [Citation Graph (, )][DBLP]


  46. Pattern Matching with Flexible Wildcards and Recurring Characters. [Citation Graph (, )][DBLP]


  47. TOPO: Routing in Large Scale Vehicular Networks. [Citation Graph (, )][DBLP]


  48. Performance Study of Live Video Streaming Over Highway Vehicular Ad Hoc Networks. [Citation Graph (, )][DBLP]


  49. Mining Frequent Patterns with Gaps and One-Off Condition. [Citation Graph (, )][DBLP]


  50. Method for Joining Intersected Contour Lines Intelligently. [Citation Graph (, )][DBLP]


  51. A cross-layer framework for video-on-demand service in multi-hop WiMax mesh networks. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002