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), to appear, 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 forModel Checking Executable Object-oriented Software
System Designs. In Proc. of 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 Fundamental Approach to Software
Engineering, 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.
- Natasha Sharygina, James C. Browne and
Robert. P. Kurshan. Formal Object-Oriented
Analysis for Software Reliability Design for Verification. In Proc. of
the International Conference on Fundamental Approaches to Software Engineering
(FASE), Genoa, Italy, April 2-6, 2001.
- Natasha Sharygina and James C. Browne.
Model checking large-scale software via abstraction of loop
transitions. In Proc.of SAVE 02: Specification, Analysis and Validation for Emerging Technologies in Computational Logic
Workshop, pp.1-15, 2002.
Journal Papers:
- Natasha Sharygina, James C. Browne,
Fei Xie, Robert P. Kurshan, and Vladimir Levin. Lessons Learned from Model Checking Checking a NASA
Robot Controller. Formal Methods in System Designs,
to appear, 2003.
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 Checkinginto Object-oriented Software Development
Processes, UTCS Technique Report #TR-01-03, 2001.