Conference Papers

 

·      Bo Chen, Christopher Havlicek, Zhenkun Yang, Kai Cong, Raghudeep Kannavara and Fei Xie. CRETE: A Versatile Binary-Level Concolic Testing Framework. In Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE'18), Thessaloniki, Greece, April 2018.

·      Bin Lin, Kai Cong, Zhenkun Yang, Zhigang Liao, Tao Zhan, Christopher Havlicek, Fei Xie.. Concolic Testing of SystemC Designs. In Proceedings of the 19th International Symposium on Quality Electronic Design (ISQED'18), Santa Clara, CA, USA, March 2018.

·      Bin Lin and Fei Xie. SCBench: A Benchmark Design Suite for SystemC Verification and Validation. In Proceedings of the 23rd Asia and South Pacific Design Automation Conference (ASP-DAC'18), Jeju Island, Korea, January 2018.

·      Jinchao Chen, Chenlie Du, Fei Xie and Bin Lin. Allocation and Scheduling of Strictly Periodic Tasks in Multi-core Real-Time Systems. In Proc. of IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), pages 130-138, Daegu, South Korea, August 2016.

·      Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray and Fei Xie. Validating Scheduling Transformation for Behavioral Synthesis. In Proc. of Design, Automation & Test in Europe Conference & Exhibition (DATE), pages 1652-1657, Dresden, Germany, 2016.

·      Bin Lin, Zhenkun Yang, Kai Cong, and Fei Xie. Generating High Coverage Tests for SystemC Designs Using Symbolic Execution. In Proc. of 21st Asia and South Pacific Design Automation Conference (ASP-DAC), Macao, China, January 2016.

·      Raghudeep Kannavara, Christopher J Havlicek, Bo Chen, Mark R Tuttle, Kai Cong, Sandip Ray, and Fei Xie. Challenges and Opportunities with Concolic Testing. In Proc. of IEEE National Aerospace Conference / Ohio Innovation Summit & IEEE Symposium on Monitoring & Surveillance Research (NAECON-OIS 2015), Dayton, OH, 2015.

·      Kai Cong, Li Lei, Zhenkun Yang, Fei Xie. Automatic Fault Injection for Driver Robustness Testing. In Proc. of International Symposium on Software Testing and Analysis (ISSTA), July 2015.

o   Full Text [pdf]

·      Disha Puri, Sandip Ray, Kecheng Hao and Fei Xie. Mechanical Certification of Loop Pipelining Transformations: A Preview. In Proc. of International Conference on Interactive Theorem Proving. Vienna, Austria, July 2014.

o   Full Text [pdf]

·      Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, and Fei Xie. Scalable Certification Framework for Behavioral Synthesis Front-End. In Proc. of Design Automation Conference San Francisco, California, June 2014.

o   Full Text [pdf]

·      Kai Cong, Li Lei, Zhenkun Yang, and Fei Xie. Coverage Evaluation of Post-Silicon Validation Tests with Virtual Prototypes. In Proc. of Design, Automation and Test in Europe, Dresden, Germany, March 2014.

o   Full Text [pdf]

·      Kecheng Hao, Sandip Ray, and Fei Xie. Equivalence Checking for Function Pipelining in Behavioral Synthesis. In Proc. of Design, Automation and Test in Europe, Dresden, Germany, March 2014.

o   Full Text [pdf]

·      Kai Cong, Fei Xie, and Li Lei. Automatic Concolic Test Generation with Virtual Prototypes for Post-silicon Validation. In Proc. of IEEE/ACM International Conference on Computer-Aided Design (ICCAD), San Jose, CA, November 2013.

o   Full Text [pdf]

·      Lei Li, Kai Cong, and Fei Xie. Optimizing Post-silicon Conformance Checking. In Proc. of 31st IEEE International Conference on Computer Design (ICCD), 2013.

o   Full Text [pdf]

·      Zhenkun Yang, Kecheng Hao, Kai Cong, Sandip Ray, and Fei Xie. Equivalence Checking for Compiler Transformations in Behavioral Synthesis. In Proc. of 31st IEEE International Conference on Computer Design (ICCD), October 2013.

o   Full Text [pdf]

·      Kai Cong, Fei Xie, and Li Lei. Symbolic Execution of Virtual Devices. In Proc. of 13th International Conference on Quality Software (QSIC), 2013.

o   Full Text [pdf]

·      Yu Zhang, Fei Xie, Yunwei Dong, Xingshe Zhou, and Chunyan Ma. Cyber/Physical Co-Verification for Developing Reliable Cyber-Physical Systems. In Proc. of 37th Annual International Computer Software and Applications Conference (COMPSAC), 2013.

o   Full Text [pdf]

·      Li Lei, Fei Xie, and Kai Cong. Post-silicon Conformance Checking with Virtual Prototypes. In Proc. of 50th Design Automation Conference (DAC), 2013.

o   Full Text [pdf]

·      Zhenkun Yang, Kecheng Hao, Sandip Ray, and Fei Xie. Handling Design and Implementation Optimizations in Equivalence Checking for Behavioral Synthesis. In Proc. of 50th Design Automation Conference (DAC), 2013.

o   Full Text [pdf]

·      Kecheng Hao, Sandip Ray, and Fei Xie. Equivalence Checking for Behaviorally Synthesized Pipelines. In Proc. of 49 Design Automation Conference (DAC), 2012.

o   Full Text [pdf]

·      Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, and Con McGarvey. Formalizing HW/SW Interface Specifications. In Proc. of IEEE/ACM International Conference on Automated Software Engineering (ASE), 2011.

o   Full Text [pdf]

·      Juncao Li, Fei Xie, Thomas Ball, and Vladimir Levin. Model Checking Büchi Pushdown Systems. In Proc. of International Conference on Foundational Approaches to Software Engineering (FASE), 2011.

o   Full Text [pdf]

·      Juncao Li, Fei Xie, Thomas Ball, and Vladimir Levin. Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification. In Proc. of International Conference on Computer-Aided Verification  (CAV), 2010.

o   Full Text [pdf]

·      Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, and Con McGarvey. An Automata-Theoretic Approach to Hardware/Software Co-Verification. In Proc. of International Conference on Foundational Approaches to Software Engineering (FASE), 2010.

o   Full Text [pdf]

·      Kecheng Hao, Fei Xie, Sandip Ray, and Jin Yang. Optimizing Equivalence Checking for Behavioral Synthesis. In Proc. of Design, Automation and Test in Europe (DATE), 2010.

o   Full Text [pdf]

·      Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, and Jin Yang. Formal Verification for High-Assurance Behavioral Synthesis. In Proc. of 7th International Symposium on Automated Technology for Verification and Analysis, 2009.

o   Full Text [pdf]

·       Ella Atkins, Jeremy Green, Jianliang. Yi, Honguk Wu, James C. Browne, Aloysius K. Mok, and Fei Xie. The TableSat Platform and its Verifiable Control Software. In Proc. of  the Infotech@Aerospace Conference, AIAA, 2009.

o   Full Text [pdf]

·       Nicholas T. Pilkington, Juncao Li, and Fei Xie. ESIDE: An Integrated Development Environment for Component-Based Embedded Systems.  In Proc. of 33rd Annual International Computer Software and Applications Conference (COMPSAC), 2009.

o   Full Text [pdf]

·       Kecheng Hao and Fei Xie. Componentizing Hardware/Software Interface Design.  In Proc. of Design, Automation and Test in Europe (DATE), 2009.

o   Full Text [pdf]

·       Yan Chen, Fei Xie, and Jin Yang. Optimizing Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation.  In Proc. of 45th Design Automation Conference (DAC), 2008.

o   Full Text [pdf]

·       Juncao Li, Nicholas T. Pilkington, Fei Xie, and Qiang Liu. Embedded Architecture Description Language. In Proc. of 32st Annual International Computer Software and Applications Conference (COMPSAC), 2008.

o   Full Text [pdf]

·       Juncao Li, Xiuli Sun, Fei Xie, and Xiaoyu Song. Component-Based Abstraction and Refinement. In Proc. of 10th International Conference on Software Reuse (ICSR), 2008.

o   Full Text [pdf]

·       Jianliang Yi, Honguk Woo, James C. Browne, Aloysius K. Mok, Ella Atkins, and Fei Xie.  Design and Development Methodology for Resilient Cyber-Physical Systems. In Proc. of First International Workshop on Cyber-Physical Systems (WCPS),  2008.

·       Jianliang Yi,  Honguk Woo,  James C. Browne,  Aloysius K. Mok, Fei Xie, Ella Atkins, and Chun-Gun Lee. Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems. In Proc. of 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2008

·       Yan Chen, Yujing He, Fei Xie, and Jin Yang. Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation.  In Proc. of 7th International Conference on Formal Methods in Computer-Aided Design (FMCAD), 2007.

o   Full Text [pdf]

·       Juncao Li, Fei Xie, and Huaiyu Liu. Guiding Component-Based Hardware/Software Co-Verification with Patterns. In Proc. of 33rd EUROMICRO Conference on Software Engineering and Advanced Application (SEAA), 2007.

o   Full Text [pdf]

·       Ping Hang Cheung, Kecheng Hao, and Fei Xie. Component-Based Hardware/Software Co-Simulation. In Proc. of 10th EUROMICRO Conference on Digital System Design (DSD): Architectures, Methods and Tools, 2007.

o   Full Text [pdf]

·       Fei Xie and Huaiyu Liu. Unified Property Specification for Hardware/Software Co-Verification. In Proc. of 31st Annual International Computer Software and Applications Conference (COMPSAC), 2007.

o   Full Text [pdf]

·       Fei Xie, Guowu Yang, and Xiaoyu Song. Compositional Reasoning for Hardware/Software Co-Verification. In Proc. of Fourth International Symposium on Automated Technology for Verification and Analysis (ATVA), 2006.

o   Full Text [pdf]

·       Fei Xie, Guowu Yang, and Xiaoyu Song. Component-Based Hardware/Software Co-Verification. In Proc. of Fourth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), 2006.

o   Full Text [pdf]

·      Fei Xie and James C. Browne. Verification of Component-Based Software Application Families. In Proc. of The 9th International SIGSOFT Symposium on Component-Based Software Engineering (CBSE 2006), 2006.

o   Full Text [pdf]

·       Guowu Yang, Xiaoyu Song, William N. N. Hung, Fei Xie, and Marek A. Perkowski. Group Theory Based Synthesis of Binary Reversible Circuits. In Proc. of Third International Conference Theory and Applications of Models of Computation (TAMC), 2006.

o   Full Text [pdf]

·       Guowu Yang, Jin Yang, Xiaoyu Song, and Fei Xie. Maximal Models of Assertion Graph in GSTE.  In Proc. of Third International Conference Theory and Applications of Models of Computation (TAMC), 2006.

o   Full Text [pdf]

·       Guowu Yang, Fei Xie, Xiaoyu Song, William Hung and Marek Perkowski . A Constructive Algorithm for Reversible Logic Synthesis. In Proc. of 2006 IEEE Congress on Evolutionary Computation (CEC 2006), 2006.

o   Full Text [pdf]

·       Fei Xie, Xiaoyu Song, Haera Chung, Ranajoy Nandi. Translation-Based Co-Verification. In Proc. of 3rd ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), 2005.

o   Full Text [pdf]

·       Guowu Yang, Xiaoyu Song, Hannah H. Yang, and Fei Xie. A Theoretical Upper Bound for IP-Based Floorplanning. In Proc of 11th International Computing and Combinatorics Conference (COCOON), 2005.

o   Full Text [pdf]

·       Fei Xie, Vladimir Levin, Robert P. Kurshan, and James C. Browne. Translating Software Designs for Model Checking. In Proc. of 7th International Conference Fundamental Approach to Software Engineering (FASE), 2004.

o   Full Text [pdf]

·       Thomas Ball, Vladimir Levin, and Fei Xie. Automatic Creation of Environment Models via Training. In Proc. of 10th International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2004.

o   Full Text [pdf]

·       Fei Xie and James C. Browne. Verified Systems by Composition from Verified ComponentsIn Proc. of 4th Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on Foundations  of Software Engineering (ESEC/FSE), 2003. 

o   Full Text [pdf]

o   Presentation Slides [pps]

·       Fei Xie, James C. Browne, and Robert P. Kurshan. Translation-Based Compositional Reasoning for Software Systems. In Proc. of 12th International Formal Method Europe (FME) Symposium, 2003. 

o   Full Text [pdf]

o   Presentation Slides [pps]

·       Fei Xie and James C. Browne. Integrated State Space Reduction for Model Checking Executable Object-oriented Software System Designs, In Proc. of 5th International Conference Fundamental Approach to Software Engineering (FASE), 2002. 

o   Full Text [pdf]

o   Presentation Slides [pps]

·       Fei Xie, Vladimir Levin, and James C. Browne. ObjectCheck: A Model Checking Tool for Executable Object-oriented Software System Designs, In Proc. of 5th International Conference Fundamental Approach to Software Engineering (FASE), 2002. 

o   Full Text [pdf]

o   Presentation Slides [pps]

·       Fei Xie, Vladimir Levin, and James C. Browne. Model Checking for an Executable Subset of UML. In Proc. of 16th International Conference on Automated Software Engineering (ASE), 2001. 

o   Full Text [pdf]

o   Presentation Slides [pps]

 Journal Papers

·       Jinchao Chen, Chenglie Du, Fei Xie, and Zhenkun Yang. Schedulability analysis of non-preemptive strictly periodic tasks in multi-core real-time systems. Real-Time Systems, May 2015.

o   Full Text [pdf]

·       Yu Zhang, Fei Xie, Yunwei Dong, Gang Yang, and Xingshe Zhou. High Fidelity Virtualization of Cyber-Physical Systems. International Journal of Modeling, Simulation, and Scientific Computing, 4(2), June 2013.

o   Full Text [pdf]

·       Guowu Yang, Fei Xie, Xiaoyu Song, William H. N. Huang, and Marek A. Perkowski. Realization and Synthesis of Reversible Functions. Theoretical Computer Science Volume 412, Issue 17, Pages 1606-1613, April 2011.

o   Full Text [pdf]

·       Juncao Li, Nicholas T. Pilkington, Fei Xie, and Qiang Liu. Embedded Architecture Description Language. Journal of Systems and Software  Volume 83, Issue 2, Pages 643-654, 2010.  

o   Full Text [pdf]

·       Fei Xie, Guowu Yang, and Xiaoyu Song. Component-Based Hardware/Software Co-Verification for Building Trustworthy Embedded Systems. Journal of Systems and Software  Volume 80, Issue 5, Pages 643-654, 2007.

o   Full Text [pdf]

·       Guowu Yang, Fei Xie, Xiaoyu Song, and Marek A. Perkowski. Universality of Two–Qudit Ternary Reversible Gates. Journal of Physics A: Mathematical and General, 2006.

·       Natasha Sharygina, James C. Browne, Fei Xie, Robert Kurshan, and Vladimir Levin. Lessons Learned from Model Checking a NASA Robot Controller. Journal of Formal Methods in System Design 25(2-3), 2004.

o   Full Text [pdf]

Dissertation

·       Xie, Fei. Integration of Model Checking into Software Development Processes. The University of Texas at Austin, Department of Computer Sciences. Technical Report TR-04-29. August 2004. 163 pages.

o   Full Text [pdf]

o   Presentation Slides [pps]

Technical Reports

·       Fei Xie and James C. Browne. Verified Systems by Composition from Verified Components. UTCS Technique Report #TR-02-40, 2002.

o   Full Text [pdf]

·       Fei Xie, Vladimir Levin, and James C. Browne. Model Checking for an Executable Subset of UML, UTCS Technique Report #TR-01-34, 2001.

o   Full Text [pdf]

·       Fei Xie, Vladimir Levin, and James C. Browne. Integrating Model Checking into Object-oriented Software Development Processes, UTCS Technique Report #TR-01-03, 2001.

o   Full Text [pdf]