Conference Papers
-
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 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 Model Checking for an Executable
Subset of UML. In Proc. of 16th International
Conference on Automated Software Engineering
(ASE), 2001.
Journal Papers
- 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, 2003.
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.