Conference Papers
- Juncao Li, Fei Xie, Thomas Ball,
Vladimir Levin, and Con McGarvey. Formalizing HW/SW Interface Specifications. In Proc. of
IEEE/ACM International
Conference on Automated Software Engineering (ASE), 2011.
- Juncao Li, Fei Xie, Thomas Ball,
and Vladimir Levin. Model Checking Büchi Pushdown Systems. In Proc. of International
Conference on Foundational Approaches to Software Engineering (FASE), 2011.
- Juncao Li, Fei Xie, Thomas Ball, and
Vladimir Levin. Efficient Reachability Analysis of Büchi
Pushdown Systems for Hardware/Software Co-verification. In Proc. of International
Conference on Computer-Aided Verification (CAV), 2010.
- Juncao Li, Fei Xie, Thomas Ball,
Vladimir Levin, and Con McGarvey. An Automata-Theoretic Approach to
Hardware/Software Co-Verification. In Proc. of International
Conference on Foundational Approaches to Software Engineering (FASE), 2010.
- Kecheng Hao, Fei Xie, Sandip Ray, and
Jin Yang. Optimizing Equivalence Checking for Behavioral Synthesis. In Proc. of Design, Automation and Test
in Europe (DATE), 2010.
- Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, and Jin Yang. Formal Verification
for High-Assurance Behavioral Synthesis. In Proc. of 7th International
Symposium on Automated Technology for Verification and Analysis, 2009.
- 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.
- Kecheng Hao and Fei Xie.
Componentizing Hardware/Software Interface Design. In Proc. of Design, Automation
and Test in Europe (DATE), 2009.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Fei Xie and James C. Browne.
Verification of Component-Based Software
Application Families. In Proc. of
The 9th International SIGSOFT Symposium on Component-Based Software
Engineering (CBSE 2006), 2006.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
Journal Papers
- Guowu Yang, Fei Xie, Xiaoyu Song,
William H. N. Huang, and Marek A. Perkowski. Realization and Synthesis of
Reversible Functions. Theoretical Computer Science
Volume 412, Issue 17,
Pages 1606-1613, April 2011.
- Juncao Li, Nicholas T. Pilkington,
Fei Xie, and Qiang Liu. Embedded Architecture Description Language.
Journal of Systems and Software Volume
83, Issue 2, Pages 643-654, 2010.
- 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.
- 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.
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.
Technical Reports
-
Fei Xie and James C. Browne. Verified Systems by Composition
from Verified Components. UTCS Technique Report #TR-02-40, 2002.
- Fei Xie, Vladimir Levin, and James C. Browne. Model Checking
for an Executable
Subset of UML, UTCS Technique Report #TR-01-34,
2001.
- Fei Xie, Vladimir Levin, and James C. Browne. Integrating
Model Checking into Object-oriented Software
Development Processes, UTCS Technique Report
#TR-01-03, 2001.