Papers in Referred Journals

• Oscar H. Ibarra, Sara Woodworth, Fang Yu, Andri Paun, "On Spiking Neural P Systems and Partially Blind Counter Machines." Natural Computing, Springer Netherlands, ISSN:1567-7818 (Print) 1572-9796 (Online), March 2008.

• Fang Yu and Bow-Yaw Wang, "SAT-based Model Checking for Region Automata," Proc. of the International Journal of Foundations of Computer Science (IJFCS), Vol. 17, No. 4, pp. 775-796, August 2006. [pdf]

• Farn Wang, Geng-Dian Huang, Fang Yu, "TCTL Inevitability Analysis of Dense-time Systems: from Theory to Engineering,"  IEEE Transactions on Software Engineering, Vol. 32, No. 7, pp.510-526. July 2006. ISSN: 0098-5589 2006. [pdf] [cdlib]

• Farn Wang, K. Schmidt, Fang Yu, Geng-Dian Huang, Bow-Yaw Wang.  "BDD-based Safety Analysis of Concurrent Software with Pointer Data Structures using Graph Automorphism Symmetry Reduction." IEEE Trans. on Software Eng. 30(6): pp. 403-417, 2004. [pdf]

• Farn Wang, Geng-Dian Huang, Fang Yu.  "Symbolic Simulation of Industrial Real-Time and Embedded Systems - Experiments with the Bluetooth baseband communication protocol." Proc. of the First Issue of the Journal of Embedded Computing (JEC), Cambridge International Science Publishing, 2004. [pdf]

Papers at Referred Conferences

• Fang Yu, Chao Wang, Aarti Gupta, and Tevfik Bultan. "Modular Verification of Web Services Using Efficient Symbolic Encoding and Summarization." To Appear In Proceedings of the Sixteenth ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE2008), Atlanta, GA, Nov. 2008. [pdf]

• Fang Yu, Tevfik Bultan, Marco Cova, Oscar H. Ibarra. "Symbolic String Verification: An Automata-based Approach," To Appear In Proceedings of the 15th International SPIN Workshop on Model Checking of Software (SPIN 2008), Los Angeles, CA, August 2008.[pdf] [slide]

• Fang Yu, Tevfik Bultan, Erik Peterson, "Automated Size Analysis for OCL," In Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007). pp. 331-340, Dubrovnik, Croatia, Sep. 2007. [pdf] [slide]

• Oscar H. Ibarra, Sara Woodworth, Fang Yu, Andri Paun. "On Spiking Neural P Systems and Partially Blind Counter Machines," In Proceedings of the 5th International Conference on Unconventional Computation (UC 2006), York, UK, Sep. 2006.

• Fang Yu, C.-H. Tsai, Y.-W. Huang, H.-Y. Lin,  D.T. Lee. and S.-Y. Kuo. "Efficient Exact Spare Allocation via Boolean Satisfiability," In: Proceedings of the 20th IEEE International Symposium of Defect and Fault Tolerance in VLSI Systems (DFT'05), pp. 361-370, Montery, CA, Oct. 2005. [pdf] [ppt]

• Fang Yu and Bow-Yaw Wang. "Toward Unbounded Model Checking for Region Automata." In: Proceedings of the 2nd International Symposium on Automated Technology for Verification and Analysis (ATVA'04), LNCS 3299, pp. 20-33, Taipei, Taiwan, November 2004.[pdf][ppt]

• Fang Yu, Bow-Yaw Wang and Yaw-Wen Huang. "Bounded Model Checking for Region Automata." In: Proceedings of the Joint Conference on Formal Modelling and Analysis of Timed Systems and Formal Techniques in Real-Time and Fault Tolerant System (FORMATS-FTRTFT2004), LNCS 3253, pages 246-262, Grenoble, France, Sep 2004. [pdf] [ppt]

• Yao-Wen Huang, Fang Yu, Christian Hang, Chung-Hung Tsai, Der-Tsai Lee, Sy-Yen Kuo. "Verifying Web Applications Using Bounded Model Checking." In: Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN2004), pages 199-208, Florence, Italy, Jun 28-Jul 1, 2004. [pdf] [ppt]

• Yao-Wen Huang, Fang Yu, Christian Hang, Chung-Hung Tsai, Der-Tsai Lee, Sy-Yen Kuo. "Securing Web Application Code by Static Analysis and Runtime Protection." In: Proceedings of the 13th International World Wide Web Conference (WWW2004), pages 40-52, New York, May 17-22, 2004. [pdf][ppt] (Best Paper Nominee)

• Farn Wang, Geng-Dian Huang, and Fang Yu. "Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems." In: Proceedings of the 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 03), LNCS 2767, October 2003.

• Farn Wang, Geng-Dian Huang, and Fang Yu. "TCTL Inevitability Analysis of Dense-time Systems." In: Proceedings of the 8th International Conference on Implementation and Application of Automata (CIAA 03), LNCS 2759, July 2003.

• Farn Wang and Fang Yu. "OVL Assertion Checking of Embedded Software with Dense-Time Semantics." In: Proceedings of the 9th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA 03), LNCS 2968, February 2003.

• Farn Wang, Geng-Dian Huang, and Fang Yu. "Symbolic Simulation of Real-Time Concurrent Systems." In: Proceedings of the 9th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA 03), LNCS 2968, February 2003.

Master Thesis

• Fang Yu, "A Multi-target Negotiation Model in An Option-based Electronic Marketplace," Jun. 2000.

• Committee: Seng-Cho T. Chou (Chair), Yih-Kuen Tsay and Lin-Lin Wu.