Fei Xie
Fei Xie
Department of Computer Science, Portland State University
Verified email at cs.pdx.edu
Title
Cited by
Cited by
Year
Verified systems by composition from verified components
F Xie, JC Browne
Proceedings of the 9th European software engineering conference held jointly …, 2003
632003
Component-based hardware/software co-verification for building trustworthy embedded systems
F Xie, G Yang, X Song
Journal of Systems and Software 80 (5), 643-654, 2007
522007
Group theory based synthesis of binary reversible circuits
G Yang, X Song, W Hung, F Xie, M Perkowski
Theory and Applications of Models of Computation, 365-374, 2006
512006
Model checking for an executable subset of UML
F Xie, V Levin, JC Browne
Proceedings 16th Annual International Conference on Automated Software …, 2001
462001
Schedulability analysis of non-preemptive strictly periodic tasks in multi-core real-time systems
J Chen, C Du, F Xie, Z Yang
Real-Time Systems 52 (3), 239-271, 2016
442016
Optimizing equivalence checking for behavioral synthesis
K Hao, F Xie, S Ray, J Yang
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010
352010
High fidelity virtualization of cyber-physical systems
Y Zhang, F Xie, Y Dong, G Yang, X Zhou
International journal of modeling, simulation, and scientific computing 4 …, 2013
332013
Scheduling non-preemptive tasks with strict periods in multi-core real-time systems
J Chen, C Du, F Xie, B Lin
Journal of Systems Architecture 90, 72-84, 2018
322018
Embedded Architecture Description Language
J Li, NT Pilkington, F Xie, Q Liu
Journal of Systems and Software 83 (2), 235-252, 2010
322010
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems
J Yi, H Woo, JC Browne, AK Mok, F Xie, E Atkins, CG Lee
Real-Time and Embedded Technology and Applications Symposium, 2008. RTAS'08 …, 2008
322008
Objectcheck: A model checking tool for executable object-oriented software system designs
F Xie, V Levin, J Browne
Fundamental Approaches to Software Engineering, 331-335, 2002
312002
Formal Verification for High-Assurance Behavioral Synthesis
S Ray, K Hao, Y Chen, F Xie, J Yang
Automated Technology for Verification and Analysis, 337-351, 2009
262009
Automatic fault injection for driver robustness testing
K Cong, L Lei, Z Yang, F Xie
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
252015
System and methods for generating and managing a virtual device
F Xie, K Cong, L Lei
US Patent 8,666,723, 2014
252014
A Constructive algorithm for reversible logic synthesis
G Yang, F Xie, X Song, WNN Hung, MA Perkowski
Evolutionary Computation, 2006. CEC 2006. IEEE Congress on, 2416-2421, 2006
252006
Symbolic execution of virtual devices
K Cong, F Xie, L Lei
2013 13th International Conference on Quality Software, 1-10, 2013
242013
Unified property specification for hardware/software co-verification
F Xie, H Liu
31st Annual International Computer Software and Applications Conference …, 2007
232007
Equivalence checking for behaviorally synthesized pipelines
K Hao, S Ray, F Xie
DAC Design Automation Conference 2012, 344-349, 2012
222012
An automata-theoretic approach to hardware/software co-verification
J Li, F Xie, T Ball, V Levin, C McGarvey
Fundamental Approaches to Software Engineering, 248-262, 2010
222010
Challenges and opportunities with concolic testing
R Kannavara, CJ Havlicek, B Chen, MR Tuttle, K Cong, S Ray, F Xie
2015 National Aerospace and Electronics Conference (NAECON), 374-378, 2015
212015
The system can't perform the operation now. Try again later.
Articles 1–20