| Verified systems by composition from verified components F Xie, JC Browne Proceedings of the 9th European software engineering conference held jointly …, 2003 | 67 | 2003 |
| 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 | 61 | 2018 |
| 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 | 61 | 2016 |
| 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 | 57 | 2006 |
| 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 | 56 | 2007 |
| Model checking for an executable subset of UML F Xie, V Levin, JC Browne Proceedings 16th Annual International Conference on Automated Software …, 2001 | 49 | 2001 |
| 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 | 45 | 2013 |
| 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 | 40 | 2010 |
| 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 | 36 | 2015 |
| Embedded Architecture Description Language J Li, NT Pilkington, F Xie, Q Liu Journal of Systems and Software 83 (2), 235-252, 2010 | 34 | 2010 |
| 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 | 34 | 2002 |
| 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 | 33 | 2015 |
| Symbolic execution of virtual devices K Cong, F Xie, L Lei 2013 13th International Conference on Quality Software, 1-10, 2013 | 32 | 2013 |
| 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 | 32 | 2008 |
| System and methods for generating and managing a virtual device F Xie, K Cong, L Lei US Patent 8,666,723, 2014 | 30 | 2014 |
| 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 | 29 | 2009 |
| Equivalence checking for behaviorally synthesized pipelines K Hao, S Ray, F Xie Proceedings of the 49th Annual Design Automation Conference, 344-349, 2012 | 28 | 2012 |
| 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 | 27 | 2006 |
| 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 | 26 | 2013 |
| 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 | 26 | 2010 |
Zhenkun YangPortland State University在 cs.pdx.edu 的电子邮件经过验证
