Fei Xie's Publications

Conference Papers

Ella Atkins, Jeremy Green, Jianliang. Yi, Honguk Wu, James C. Browne, Aloysius K. Mok, and Fei Xie. The TableSat Platform and its Verifiable Control Software. In Proc. of the Infotech@Aerospace Conference, AIAA, 2009.
Nicholas T. Pilkington, Juncao Li, and Fei Xie. ESIDE: An Integrated Development Environment for Component-Based Embedded Systems. In Proc. of 33rd Annual International Computer Software and Applications Conference (COMPSAC), 2009.
- Full Text [pdf]
Kecheng Hao and Fei Xie. Componentizing Hardware/Software Interface Design. In Proc. of Design, Automation and Test in Europe (DATE), 2009.
- Full Text [pdf]
Yan Chen, Fei Xie, and Jin Yang. Optimizing Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation. In Proc. of 45th Design Automation Conference (DAC), 2008.
- Full Text [pdf]

Juncao Li, Nicholas T. Pilkington, Fei Xie, and Qiang Liu. Embedded Architecture Description Language. In Proc. of 32st Annual International Computer Software and Applications Conference (COMPSAC), 2008.
- Full Text [pdf]

Juncao Li, Xiuli Sun, Fei Xie, and Xiaoyu Song. Component-Based Abstraction and Refinement. In Proc. of 10th International Conference on Software Reuse (ICSR), 2008.
- Full Text [pdf]

Jianliang Yi, Honguk Woo, James C. Browne, Aloysius K. Mok, Ella Atkins, and Fei Xie. Design and Development Methodology for Resilient Cyber-Physical Systems. In Proc. of First International Workshop on Cyber-Physical Systems (WCPS), 2008.

Jianliang Yi, Honguk Woo, James C. Browne, Aloysius K. Mok, Fei Xie, Ella Atkins, and Chun-Gun Lee. Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems. In Proc. of 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2008

Yan Chen, Yujing He, Fei Xie, and Jin Yang. Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation. In Proc. of 7th International Conference on Formal Methods in Computer-Aided Design (FMCAD), 2007.
- Full Text [pdf]

Juncao Li, Fei Xie, and Huaiyu Liu. Guiding Component-Based Hardware/Software Co-Verification with Patterns. In Proc. of 33rd EUROMICRO Conference on Software Engineering and Advanced Application (SEAA), 2007.
- Full Text [pdf]

Ping Hang Cheung, Kecheng Hao, and Fei Xie. Component-Based Hardware/Software Co-Simulation. In Proc. of 10th EUROMICRO Conference on Digital System Design (DSD): Architectures, Methods and Tools, 2007.
- Full Text [pdf]

Fei Xie and Huaiyu Liu. Unified Property Specification for Hardware/Software Co-Verification. In Proc. of 31st Annual International Computer Software and Applications Conference (COMPSAC), 2007.
- Full Text [pdf]

Fei Xie, Guowu Yang, and Xiaoyu Song. Compositional Reasoning for Hardware/Software Co-Verification. In Proc. of Fourth International Symposium on Automated Technology for Verification and Analysis (ATVA), 2006.
- Full Text [pdf]

Fei Xie, Guowu Yang, and Xiaoyu Song. Component-Based Hardware/Software Co-Verification. In Proc. of Fourth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), 2006.
- Full Text [pdf]

Fei Xie and James C. Browne. Verification of Component-Based Software Application Families. In Proc. of The 9^th International SIGSOFT Symposium on Component-Based Software Engineering (CBSE 2006), 2006.
- Full Text [pdf]

Guowu Yang, Xiaoyu Song, William N. N. Hung, Fei Xie, and Marek A. Perkowski. Group Theory Based Synthesis of Binary Reversible Circuits. In Proc. of Third International Conference Theory and Applications of Models of Computation (TAMC), 2006.
- Full Text [pdf]

Guowu Yang, Jin Yang, Xiaoyu Song, and Fei Xie. Maximal Models of Assertion Graph in GSTE. In Proc. of Third International Conference Theory and Applications of Models of Computation (TAMC), 2006.
- Full Text [pdf]

Guowu Yang, Fei Xie, Xiaoyu Song, William Hung and Marek Perkowski . A Constructive Algorithm for Reversible Logic Synthesis. In Proc. of 2006 IEEE Congress on Evolutionary Computation (CEC 2006), 2006.
- Full Text [pdf]

Fei Xie, Xiaoyu Song, Haera Chung, Ranajoy Nandi. Translation-Based Co-Verification. In Proc. of 3rd ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), 2005.
- Full Text [pdf]
Guowu Yang, Xiaoyu Song, Hannah H. Yang, and Fei Xie. A Theoretical Upper Bound for IP-Based Floorplanning. In Proc of 11th International Computing and Combinatorics Conference (COCOON), 2005.
- Full Text [pdf]
Fei Xie, Vladimir Levin, Robert P. Kurshan, and James C. Browne. Translating Software Designs for Model Checking. In Proc. of 7th International Conference Fundamental Approach to Software Engineering (FASE), 2004.
- Full Text [pdf]
Thomas Ball, Vladimir Levin, and Fei Xie. Automatic Creation of Environment Models via Training. In Proc. of 10th International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2004.
- Full Text [pdf]
Fei Xie and James C. Browne. Verified Systems by Composition from Verified Components. In Proc. of 4th Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on Foundations of Software Engineering (ESEC/FSE), 2003.
- Full Text [pdf]
- Presentation Slides [pps]
Fei Xie, James C. Browne, and Robert P. Kurshan. Translation-Based Compositional Reasoning for Software Systems. In Proc. of 12th International Formal Method Europe (FME) Symposium, 2003.
- Full Text [pdf]
- Presentation Slides [pps]
Fei Xie and James C. Browne. Integrated State Space Reduction for Model Checking Executable Object-oriented Software System Designs, In Proc. of 5th International Conference Fundamental Approach to Software Engineering (FASE), 2002.
- Full Text [pdf]
- Presentation Slides [pps]
Fei Xie, Vladimir Levin, and James C. Browne. ObjectCheck: A Model Checking Tool for Executable Object-oriented Software System Designs, In Proc. of 5th International Conference Fundamental Approach to Software Engineering (FASE), 2002.
- Full Text [pdf]
- Presentation Slides [pps]
Fei Xie, Vladimir Levin, and James C. Browne. Model Checking for an Executable Subset of UML. In Proc. of 16th International Conference on Automated Software Engineering (ASE), 2001.
- Full Text [pdf]
- Presentation Slides [pps]

Journal Papers

Fei Xie, Guowu Yang, and Xiaoyu Song. Component-Based Hardware/Software Co-Verification for Building Trustworthy Embedded Systems. Journal of Systems and Software Volume 80, Issue 5, Pages 643-654, 2007.
- Full Text [pdf]

Guowu Yang, Fei Xie, Xiaoyu Song, and Marek A. Perkowski. Universality of Two–Qudit Ternary Reversible Gates. Journal of Physics A: Mathematical and General, 2006.

Natasha Sharygina, James C. Browne, Fei Xie, Robert Kurshan, and Vladimir Levin. Lessons Learned from Model Checking a NASA Robot Controller. Journal of Formal Methods in System Design 25(2-3), 2004.
- Full Text [pdf]

Dissertation

Xie, Fei. Integration of Model Checking into Software Development Processes. The University of Texas at Austin, Department of Computer Sciences. Technical Report TR-04-29. August 2004. 163 pages.
- Full Text [pdf]
- Presentation Slides [pps]

Technical Reports

Fei Xie and James C. Browne. Verified Systems by Composition from Verified Components. UTCS Technique Report #TR-02-40, 2002.
- Full Text [pdf]
Fei Xie, Vladimir Levin, and James C. Browne. Model Checking for an Executable Subset of UML, UTCS Technique Report #TR-01-34, 2001.

Full Text [pdf]

Fei Xie, Vladimir Levin, and James C. Browne. Integrating Model Checking into Object-oriented Software Development Processes, UTCS Technique Report #TR-01-03, 2001.
- Full Text [pdf]