Fang Yu's Publications:
Papers at Refereed Conferences
Farn Wang, Chung-Hao Huang, Fang Yu. “A Temporal Logic for the Interaction of Strategies.” To appear in the Proceedings of the 22nd International Conference on Concurrency Theory (CONCUR 2011), Aachen, Germany, Sep. 2011.
Fang Yu, Tevfik Bultan, Ben HardKopf. “String Abstractions for String Verification.” To appear in the Proceedings of the 18th International SPIN Workshop on Model Checking of Software (SPIN 2011), Snowbird, U.S., July 2011.
Fang Yu, Muath Alkhalaf, Tevfik Bultan. “Patching Vulnerabilities with Sanitization Synthesis.” To appear in the Proceedings of the 33th International Conference on Software Engineering (ICSE 2011), Honolulu, U.S., May 2011.
Fang Yu, Tevfik Bultan, Oscar H. Ibarra. “Relational String Verification Using Multi-track Automata.” In the Proceedings of the 15th International Conference on Implementation and Application of Automata (CIAA 2010). [pdf]
Tevfik Bultan, Fang Yu, Aysu Betin Can. “Modular Verification of Symchronization with Reentrant Locks.” In the Proceedings of the 8th International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010). [pdf]
Fang Yu, Muath Alkhalaf, Tevfik Bultan. “Stranger: An Automata-based String Analysis Tool for PHP.” Tool paper. In the Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2010). [pdf]
Fang Yu, Muath Alkhalaf, Tevfik Bultan. “Generating Vulnerability Signatures for String Manipulating Programs Using Automata-based Forward and Backward Symbolic Analyses.” Short paper. In Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), Auckland, NZ, Nov. 2009. [pdf] [poster]
Fang Yu, Tevfik Bultan, and Oscar H. Ibarra. "Symbolic String Verification: Combining String Analysis and Size Analysis," In Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), York, UK, Mar. 2009. [pdf] [slide]
Fang Yu, Chao Wang, Aarti Gupta, and Tevfik Bultan. "Modular Verification of Web Services Using Efficient Symbolic Encoding and Summarization." In Proceedings of the 16th ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE2008), Atlanta, GA, Nov. 2008. [doi] [slide]
Fang Yu, Tevfik Bultan, Marco Cova, Oscar H. Ibarra. "Symbolic String Verification: An Automata-based Approach," 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, Chung-Hung Tsai, Yao-Wen Huang, Hung-Yau Lin, Der-Tsai Lee. and Sy-Yen 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.
Papers in Refereed Journals
Fang Yu, Tevfik Bultan, Oscar H. Ibarra. “Relational String Verification Using Multi-track Automata.” To appear in the International Journal of Foundation of Computer Science (IJFCS), special issue on selected papers from the 15th International Conference on Implementation and Application of Automata (CIAA 2010).
Oscar H. Ibarra, Sara Woodworth, Fang Yu, Andri Paun, "On Spiking Neural P Systems and Partially Blind Counter Machines." Natural Computing, Vol 7 (1), pp. 3-19, Springer Netherlands, ISSN:1567-7818 (Print) 1572-9796 (Online), March 2008. [doi]
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. [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]
Technical Report
Fang Yu, Tevfik Bultan, Oscar H. Ibarra. “Verification of String Manipulating Programs Using Multi-track Automata.” UCSB Technical Report 2009-14. [pdf]
Fang Yu, Muath Alkhalaf, Tevfik Bultan. “Generating Vulnerability Signatures for String Manipulating Programs Using Automata-based Forward and Backward Symbolic Analyses.” UCSB Technical Report 2009-11. [pdf]
Student Workshop Paper
Fang Yu, Tevfik Bultan and Oscar H. Ibarra. "Symbolic Encoding of String Lengths." In Proceedings of the 3rd Graduate Student Workshop on Computing, UCSB, Oct. 2008. [pdf] [slide] (Best Paper Award)
Master Thesis
Fang Yu, "A Multi-target Negotiation Model in An Option-based Electronic Marketplace," June 2000.
Committee: Seng-Cho T. Chou (Chair), Yih-Kuen Tsay and Lin-Lin Wu.
Patent
"Modular Verification of Web Services Using Efficient Symbolic Encoding and Summarization," with Chao Wang and Aarti Gupta. US Patent, Pending, Filed on Mar. 3, 2008, No. 61/033126
"Systems and Methods for Securing Web Application Code," with Yao-Wen Huang, Christian Hang, Chung-Hung Tsai, Der-Tsai Lee, Sy-Yen Kuo. US Patent, Application, No. 20070074188. Publication Date: Mar. 29, 2007