Fei Xie

Fei Xie

Portland State University - Portland / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1435476
person_outline Fei Xie's MOST POPULAR ARTICLES
1-) Verified systems by composition from verified componentsF Xie, JC BrowneProceedings of the 9th European software engineering conference held jointly …, 2003612003
2-) Schedulability analysis of non-preemptive strictly periodic tasks in multi-core real-time systemsJ Chen, C Du, F Xie, Z YangReal-Time Systems 52, 239-271, 2016622016
3-) Scheduling non-preemptive tasks with strict periods in multi-core real-time systemsJ Chen, C Du, F Xie, B LinJournal of Systems Architecture 90, 72-84, 2018612018
4-) Group theory based synthesis of binary reversible circuitsG Yang, X Song, W Hung, F Xie, M PerkowskiTheory and Applications of Models of Computation, 365-374, 2006582006
5-) Component-based hardware/software co-verification for building trustworthy embedded systemsF Xie, G Yang, X SongJournal of Systems and Software 80 (5), 643-654, 2007572007