Search the dblp DataBase
Fei Xie :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Fei Xie , Guowu Yang , Xiaoyu Song Compositional Reasoning for Hardware/Software Co-verification. [Citation Graph (0, 0)][DBLP ] ATVA, 2006, pp:154-169 [Conf ] 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 ] Fei Xie , James C. Browne Verification of Component-Based Software Application Families. [Citation Graph (0, 0)][DBLP ] CBSE, 2006, pp:50-66 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Fei Xie , Xiaoyu Song , Haera Chung , Ranajoy Nandi Translation-based co-verification. [Citation Graph (0, 0)][DBLP ] MEMOCODE, 2005, pp:111-120 [Conf ] 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 ] 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 ] Thomas Ball , Vladimir Levin , Fei Xie Automatic Creation of Environment Models via Training. [Citation Graph (0, 0)][DBLP ] TACAS, 2004, pp:93-107 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Fei Xie , Huaiyu Liu Unified Property Specification for Hardware/Software Co-Verification. [Citation Graph (0, 0)][DBLP ] COMPSAC (1), 2007, pp:483-490 [Conf ] 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 ] Fei Xie , Guowu Yang , Xiaoyu Song Component-based hardware/software co-verification. [Citation Graph (0, 0)][DBLP ] MEMOCODE, 2006, pp:27-36 [Conf ] 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 ] A Service-Oriented Approach to Storage Backup. [Citation Graph (, )][DBLP ] Formal Verification for High-Assurance Behavioral Synthesis. [Citation Graph (, )][DBLP ] Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification. [Citation Graph (, )][DBLP ] Embedded Architecture Description Language. [Citation Graph (, )][DBLP ] ESIDE: An Integrated Development Environment for Component-Based Embedded Systems. [Citation Graph (, )][DBLP ] Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation. [Citation Graph (, )][DBLP ] Componentizing hardware/software interface design. [Citation Graph (, )][DBLP ] Optimizing equivalence checking for behavioral synthesis. [Citation Graph (, )][DBLP ] Component-Based Hardware/Software Co-Simulation. [Citation Graph (, )][DBLP ] An Automata-Theoretic Approach to Hardware/Software Co-verification. [Citation Graph (, )][DBLP ] Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation. [Citation Graph (, )][DBLP ] Design and Development Methodology for Resilient Cyber-Physical Systems. [Citation Graph (, )][DBLP ] Keyword Extraction Based on Lexical Chains and Word Co-occurrence for Chinese News Web Pages. [Citation Graph (, )][DBLP ] Component-Based Abstraction and Refinement. [Citation Graph (, )][DBLP ] Keyphrase Extraction from Chinese News Web Pages Based on Semantic Relations. [Citation Graph (, )][DBLP ] Achieving True Video-on-Demand Service in Multi-Hop WiMax Mesh Networks. [Citation Graph (, )][DBLP ] Semi-Split TCP: Maintaining End-to-End Semantics for Split TCP. [Citation Graph (, )][DBLP ] Routing Performance in CDMA-based Sensor Networks for Different Energy Metrics. [Citation Graph (, )][DBLP ] On Reducing Communication Cost for Distributed Moving Query Monitoring Systems. [Citation Graph (, )][DBLP ] Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems. [Citation Graph (, )][DBLP ] Dynamic Route Diversion in Connectionless Mobile Ad Hoc Networks. [Citation Graph (, )][DBLP ] Pattern Matching with Flexible Wildcards and Recurring Characters. [Citation Graph (, )][DBLP ] TOPO: Routing in Large Scale Vehicular Networks. [Citation Graph (, )][DBLP ] Performance Study of Live Video Streaming Over Highway Vehicular Ad Hoc Networks. [Citation Graph (, )][DBLP ] Mining Frequent Patterns with Gaps and One-Off Condition. [Citation Graph (, )][DBLP ] Method for Joining Intersected Contour Lines Intelligently. [Citation Graph (, )][DBLP ] A cross-layer framework for video-on-demand service in multi-hop WiMax mesh networks. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.305secs