- Verification of Component-Based Software Application Families
- Model Checking Buchi Pushdown Systems , Thomas Ball2
- Efficient Reachability Analysis of Buchi Pushdown Systems for Hardware/Software Co-verification
- Formal Verification for High-Assurance Behavioral Sandip Ray1
- ESIDE: An Integrated Development Environment for Component-Based Embedded Systems
- Component-Based Hardware/Software Co-Simulation Ping Hang Cheung
- A Theoretical Upper Bound for IP-Based Floorplanning Guowu Yang1, Xiaoyu Song1, Hannah H. Yang2, and Fei Xie3
- Verified Systems by Composition from Verified Components
- Translation-Based Compositional Reasoning for Software Systems
- Process Selections Process StateResolution Phase
- Integrating Model Checking into Object-oriented Software Development Processes
- Optimizing Equivalence Checking for Behavioral Kecheng Hao and Fei Xie
- Component-Based Hardware/Software Co-Verification Dept. of Computer Science
- Embedded architecture description language Juncao Li a
- Group Theory Based Synthesis of Binary Reversible Circuits
- Component-based hardware/software co-verification for building trustworthy embedded systems q
- The Dissertation Committee for Fei Xie certifies that this is the approved version of the following dissertation
- Model Checking for an Executable Subset of UML Vladimir Levin
- User-driven State Space Reduction S/R Model S/R Query
- Component-Based Abstraction and Refinement , Xiuli Sun2
- Componentizing Hardware/Software Interface Kecheng Hao and Fei Xie
- Translating Software Designs for Model Checking Fei Xie, Vladimir Levin, Robert P. Kurshan, and James C. Browne
- Verified Systems by Composition from Verified Components Fei Xie and James C. Browne
- Embedded Architecture Description Language Juncao Li, Nicholas T. Pilkington, and Fei Xie
- Formal Methods in System Design, 25, 241270, 2004 c 2004 Kluwer Academic Publishers. Manufactured in The Netherlands.
- Automatic Creation of Environment Models via Thomas Ball1
- Maximal Models of Assertion Graph in GSTE Guowu Yang1
- Optimizing Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation
- Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation
- Formalizing Hardware/Software Interface Specifications
