Searching for authors named "Fei Xie" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
Unified property specification for hardware/software co-verification
- …Unified Property Specification for Hardware/Software Co-Verification ∗ Fei Xie Department…
- Cited by 4 (2 self) – Add To MetaCart
-
Integrated State Space Reduction for Model Checking Executable Object-oriented Software System Designs
- … Designs Fei Xie and James C. Browne Department of Computer Sciences, University of Texas at Austin…
- Cited by 6 (4 self) – Add To MetaCart
-
Component-based hardware/software co-verification
- …Guiding Component-Based Hardware/Software Co-Verification with Patterns ∗ Juncao Li and Fei Xie…
- Cited by 5 (3 self) – Add To MetaCart
-
Achieving True Video-on-Demand Service in Multi- Hop WiMax Mesh Networks
- …Achieving True Video-on-Demand Service in Multi- Hop WiMax Mesh Networks Fei Xie, Kien A. Hua…
- Add To MetaCart
-
Component-Based Abstraction and Refinement ⋆
- …Component-Based Abstraction and Refinement ⋆ Juncao Li 1 , Xiuli Sun 2 , Fei Xie 1 , and Xiaoyu…
- Add To MetaCart
-
Lessons learned from model checking a NASA robot controller
- … University, 5000 Forbes Ave., Pittsburgh, PA 15213, USA JAMES BROWNE browne@(email omitted); FEI XIE feixie…
- Cited by 2 (0 self) – Add To MetaCart
-
Compositional reasoning for hardware/software co-verification
- …Compositional Reasoning for Hardware/Software Co-Verification ⋆ Fei Xie 1 , Guowu Yang 1…
- Cited by 2 (2 self) – Add To MetaCart
-
Optimizing Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation
- …–13, 2008, Anaheim, California, USA. Copyright 2008 ACM ACM 978-1-60558-115-6/08/0006 ...$5.00. Fei Xie Dept…
- Add To MetaCart
-
Verified systems by composition from verified components
- …Verified Systems by Composition from Verified Components Fei Xie and James C. Browne Dept…
- Cited by 14 (5 self) – Add To MetaCart
-
Embedded Architecture Description Language
- …Embedded Architecture Description Language Juncao Li, Nicholas T. Pilkington, and Fei Xie…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
