Follow
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
672003
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, 239-271, 2016
622016
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
612018
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
582006
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
572007
Model checking for an executable subset of UML
F Xie, V Levin, JC Browne
Proceedings 16th Annual International Conference on Automated Software …, 2001
502001
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
472013
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
412010
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
402015
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
372015
Symbolic execution of virtual devices
K Cong, F Xie, L Lei
2013 13th International Conference on Quality Software, 1-10, 2013
342013
Embedded Architecture Description Language
J Li, NT Pilkington, F Xie, Q Liu
Journal of Systems and Software 83 (2), 235-252, 2010
342010
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
342002
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
332008
System and methods for generating and managing a virtual device
F Xie, K Cong, L Lei
US Patent 8,666,723, 2014
302014
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
302009
Equivalence checking for behaviorally synthesized pipelines
K Hao, S Ray, F Xie
Proceedings of the 49th Annual Design Automation Conference, 344-349, 2012
282012
CRETE: A versatile binary-level concolic testing framework
B Chen, C Havlicek, Z Yang, K Cong, R Kannavara, F Xie
International Conference on Fundamental Approaches to Software Engineering …, 2018
272018
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
272006
Automatic concolic test generation with virtual prototypes for post-silicon validation
K Cong, F Xie, L Lei
2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 303-310, 2013
262013
The system can't perform the operation now. Try again later.
Articles 1–20