See How Your Research Aligns
Create a free account to analyze your research alignment,
identify potential research gaps, and generate personalized
application documents for this professor.
Create Free Account
Fei Xie
Embedded Systems Reliability
Formal Methods For Software Safety
Secure Software Systems
Software Engineering (SE)
About
Fei Xie is a Professor of Computer Science in the Maseeh College of Engineering and Computer Science at Portland State University. His research focuses on embedded systems, software engineering, and formal methods, with an emphasis on building safe, secure, and reliable software systems. He earned his Ph.D. in Computer Science from The University of Texas at Austin and teaches courses in software engineering and related areas.
Research Performance Summary
2001-2025
Active Research Span
First Recorded Paper
Model checking for an executable subset of UML
Year:
2001
Citations:
47
Venue:
Proceedings 16th Annual International Conference on Automated Software
Latest Recorded Paper
Enhancing Translation Validation of Compiler Transformations with Large Language Models
Year:
2025
Citations:
0
Venue:
International Journal of Software Engineering and Knowledge Engineering 35
Last 10 Years Publication Activity
This timeline shows the professor's yearly publication activity.
Publication Venues and Collaboration
Journal, Conference, and Book Publication Breakdown
Top Coauthors
Xie
Yang
Cong
Research Impact by Period
Papers
1
Citations
0
Avg. Citations / Paper
0
H-Index
0
Papers
17
Citations
67
Avg. Citations / Paper
3.9
H-Index
6
Papers
17
Citations
430
Avg. Citations / Paper
25.3
H-Index
11
Papers
24
Citations
432
Avg. Citations / Paper
18
H-Index
14
Papers
24
Citations
414
Avg. Citations / Paper
17.2
H-Index
13
Papers
11
Citations
224
Avg. Citations / Paper
20.4
H-Index
7
Contact and Professional Links
Detected Research Keywords
Hardware Software Co
Software Co Verification
Component Hardware Software
Cyber Physical Systems
Object Oriented Software
Core Real Time
Real Time Systems
Model Checking Executable
Executable Object Oriented
Oriented Software System