郁方
狀態 專任
姓名 郁方
電子郵件
聯絡電話 81113
職稱 副教授
研究專長 軟體安全、正規驗證、字串分析
授課領域 軟體安全、正規驗證、字串分析
系所單位 資訊管理學系
年度 論文名稱
2024 Yu-Chi Hu*;Fang Yu*, 2024.06, 'Controllable Robustness Training, ' Journal of Information Science and Engineering,.(SCIE, DBLP, SCOPUS)(*為通訊作者)(本論著未刊登但已被接受), vol. 128885, Jun. 2024
2022 ShihYi Chien*;ChengJun Yang;Fang Yu*, 2022.03, 'XFlag: Explainable Fake News Detection Model on Social Media, ' International Journal of Human–Computer Interaction, Vol.38, No.18-20, pp.1808-1827.(SCIE, DBLP, IEEE, SCI, SCOPUS)(*為通訊作者), vol. 435982, Mar. 2022
2018 Fang Yu*;Yat-Wah Wan;Rua-Huan Tsaih, 2018.07, 'Quantitative Quality Estimation of Cloud-based Streaming Services, ' Computer Communications, Vol.125, pp.pp. 24-37.(SCIE, ACM, DBLP, IEEE, SCI, SCOPUS)(*為通訊作者), vol. 418850, Jul. 2018
2015 郁方*, 2015.04, 'AppBeach: A Static Behavior Checker for iOS Mobile Applications, ' Communications of the CCISA, Vol.21, No.2, pp.41-51.(Airiti Library)(*為通訊作者), vol. 416447, Apr. 2015
2014 ShinYin Huang*;RuaHuan Tsaih;Fang Yu, 2014.02, 'Topological pattern discovery and feature extraction for fraudulent financial reporting, ' Expert System with Applications, Vol.41, No.9, pp.4360-4372.(SCIE, DBLP)(*為通訊作者), vol. 402788, Feb. 2014
2014 Fang Yu*;Muath Alkhalaf;Tevfik Bultan;Oscar H. Ibarra, 2014.01, 'Automata-Based Symbolic String Analysis for Vulnerability Detection, ' Formal Methods in System Design, Vol.44, No.1, pp.44-70.(ACM, DBLP, IEEE, SCI)(*為通訊作者), vol. 391128, Jan. 2014
2013 Gaiyun Liu;Daniel Yuh Chao;Fang Yu*, 2013.03, 'A Control Policy for a Subclass of Petri Nets without Reachability Analysis, ' IET Control Theory & Applications,.(SCI)(*為通訊作者)(本論著未刊登但已被接受), vol. 388028, Mar. 2013
2012 Fang Yu*;Shun-Ching Yan;Farn Wang;Guan-Cheng Chen;Che-Chang Chan, 2012.05, 'Symbolic Consistency Checking of OpenMP Parallel Programs, ' ACM SIGPLAN Notices, Vol.47, No.5, pp.139-148.(ACM, SCI)(*為通訊作者), vol. 395896, May. 2012
2012 Daniel Y. Chao;Jiun-Ting Chen*;Fang Yu, 2012.02, 'A novel liveness condition for S3PGR2, ' Transactions of the institute of measurement and control,.(SCIE)(*為通訊作者), vol. 364504, Feb. 2012
2011 Fang Yu*;Tevfik Bultan;Oscar H. Ibarra, 2011.05, 'Relational String Verification Using Multi-track Automata (Full Version), ' International Journal of Foundations of Computer Science,.(SCIE, ACM, DBLP, IEEE, CITESEEN, SCI)(*為通訊作者), vol. 347564, May. 2011
2008 Oscar H. Ibarra;Sara Woodworth;Fang Yu;Andri Paun, 2008.03, 'On Spiking Neural P Systems and Partially Blind Counter Machines, ' Natural Computing, Vol.7, No.1, pp.3-19.(SCIE, ACM, DBLP), vol. 316613, Mar. 2008
2006 Fang Yu;Bow-Yaw Wang, 2006.08, 'SAT-based Model Checking for Region Automata, ' International Journal of Foundations of Computer Science, Vol.17, No.4, pp.775-795.(SCIE, DBLP), vol. 316615, Aug. 2006
2006 Farn Wang;Geng-Dian Huang;Fang Yu, 2006.07, 'TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering, ' IEEE Transactions on Software Engineering, Vol.32, No.7, pp.510-526.(ACM, IEEE, SCI), vol. 316829, Jul. 2006
計畫類別 年度 計畫名稱 參與人 職稱/擔任之工作 計畫期間 補助/委託或合作機構
科技部 113 神經網路模型的自動化測試:工具開發與應用推廣(2/2) 郁方 計畫主持人 2025.08 ~ 2026.07 國科會
科技部 113 神經網路模型的自動化測試:工具開發與應用推廣(1/2) 郁方 計畫主持人 2024.08 ~ 2026.07 國科會
科技部 113 金融科技應用中的前瞻資安技術開發(2/2) 左瑞麟,左瑞麟,曾一凡,陳恭,郁方,蕭舜文,紀博文,黃思皓,楊明豪,羅嘉寧 共同主持人 2024.06 ~ 2025.05 國科會
非科技部 113 貸款案件信用評分模型(Application Score Card) 郁方,陳琬萍 計畫主持人 2024.06 ~ 2025.05 亞太普惠金融科技股份有限公司
科技部 112 人工智慧模型的軟體驗證與資訊安全 郁方,陳郁方 計畫主持人 2023.08 ~ 2024.10 國科會
非科技部 112 金融AI雲生態系概念驗證委託研究案 蔡瑞煌,周行一,姜堯民,莊弘鈺,蔡子傑,張欣綠,林怡伶,郁方,洪智鐸,臧正運 共同主持人 2023.07 ~ 2024.06 中華電信股份有限公司企業客戶分公司
科技部 112 金融科技應用中的前瞻資安技術開發(1/2) 左瑞麟,曾一凡,陳恭,郁方,蕭舜文,紀博文,黃思皓,楊明豪,羅嘉寧 共同主持人 2023.06 ~ 2024.05 國科會
科技部 109 資安威脅與攻擊意圖大數據分析實作與整合平台-結合動靜態分析的Python程式特徵化與自動攻擊生成技術研究(3/3) 郁方 計畫主持人 2022.08 ~ 2023.07 國科會
科技部 109 資安威脅與攻擊意圖大數據分析實作與整合平台-結合動靜態分析的Python程式特徵化與自動攻擊生成技術研究(2/3) 郁方 計畫主持人 2021.08 ~ 2023.07 國科會
科技部 109 資安威脅與攻擊意圖大數據分析實作與整合平台-結合動靜態分析的Python程式特徵化與自動攻擊生成技術研究(1/3) 郁方 計畫主持人 2020.08 ~ 2023.07 國科會
非科技部 109 輔導執行健保醫療資訊雲端查詢系統批次下載之醫事機構將批次下載作業流程導入資安認證 郁方 計畫主持人 2020.05 ~ 2020.11 勤業眾信聯合會計師事務所
非科技部 109 智慧創新跨域人才培育聯盟計畫-新型態智能合約在保險的應用 郁方 計畫主持人 2020.02 ~ 2021.01 教育部
科技部 107 物聯網設備全面向資安檢測與智能化深度分析-子計畫三:物聯網軟體驗證與資訊安全的靜態分析技術(2/2) 郁方 計畫主持人 2019.08 ~ 2020.12 國科會
非科技部 108 智慧創新跨域人才培育聯盟計畫-新型態智能合約在保險的應用 郁方 計畫主持人 2019.03 ~ 2020.01 教育部
科技部 107 物聯網設備全面向資安檢測與智能化深度分析-子計畫三:物聯網軟體驗證與資訊安全的靜態分析技術(1/2) 郁方 計畫主持人 2018.08 ~ 2020.12 國科會
非科技部 107 零知識證明技術結合智能合約的模擬驗證 郁方,江介宏 計畫主持人 2018.03 ~ 2018.11 財團法人資訊工業策進會
科技部 106 雲端與端點應用之連續資安防禦與分析系統-子計畫三:行動資安:應用程式的控制流程與字串分析技術研發與安全軟體開發策略違背偵測技術之研究 郁方,郁方 計畫主持人 2017.08 ~ 2018.07 國科會
科技部 103 雲端服務之整體資安防禦系 統一開源碼雲端虛擬安全監測與人工智慧系統之研究(3/3) 郁方 計畫主持人 2016.08 ~ 2017.07 國科會
非科技部 105 商管自適應社群創新服務平臺計畫 郁方 計畫主持人 2016.03 ~ 2017.02 財團法人溫世仁文教基金會
科技部 104 雲端串流服務品質之量化分析─以故宮iPalace頻道服務為例 蔡瑞煌,郁方,溫日華,李正國 共同主持人 2015.08 ~ 2016.07 國科會
科技部 103 雲端服務之整體資安防禦系 統一開源碼雲端虛擬安全監測與人工智慧系統之研究(2/3) 郁方 計畫主持人 2015.08 ~ 2016.07 國科會
非科技部 104 智慧綠能光合齋行動應用與控制系統之可行性研究與實作計畫 郁方 計畫主持人 2015.06 ~ 2017.06 驊陞科技股份有限公司
非科技部 103 服務科學推動辦公室規劃專案委託服務 楊建民,郁方,徐敏珠 共同主持人 2014.11 ~ 2015.06 財團法人溫世仁文教基金會
科技部 103 雲端服務之整體資安防禦系 統一開源碼雲端虛擬安全監測與人工智慧系統之研究(1/3) 郁方 計畫主持人 2014.08 ~ 2015.07 國科會
科技部 102 行動應用程式的靜態二元分析 郁方,陳郁方 計畫主持人 2013.08 ~ 2014.07 國科會
科技部 99 符號式字串驗證:對網路應用程式自動化弱點掃描與補正的正規方法研究與工具開發(3/3) 郁方 計畫主持人 2012.08 ~ 2013.07 國科會
科技部 99 符號式字串驗證:對網路應用程式自動化弱點掃描與補正的正規方法研究與工具開發(2/3) 郁方 計畫主持人 2011.08 ~ 2012.07 國科會
科技部 99 符號式字串驗證:對網路應用程式自動化弱點掃描與補正的正規方法研究與工具開發(1/3) 郁方 計畫主持人 2010.11 ~ 2011.07 國科會
非科技部 99 An SRM Information Retrieval Subsystem Based on Text Mining and Cloud Computing Techniques 管郁君,郁方,劉文卿 協同主持人 2010.10 ~ 2011.09 台灣積體電路製造股份有限公司
國家 學校名稱 系所 學位 期間
美國 加州大學聖塔芭芭拉分校 電腦科學系 博士 2005.09 ~ 2010.06
台灣,中華民國 國立臺灣大學 資訊管理學系 碩士 1998.09 ~ 2000.06
台灣,中華民國 國立臺灣大學 資訊管理學系 學士 1994.09 ~ 1998.06
經歷類別 服務機關名稱 單位 職務 期間
校內本職 政治大學 資訊管理學系 副教授 2016.12 ~ 迄今
校內本職 政治大學 資訊管理學系 副教授 2014.03 ~ 2016.07
校內本職 政治大學 資訊管理學系 助理教授 2013.01 ~ 2014.03
校內本職 政治大學 資訊管理學系 助理教授 2010.08 ~ 2013.01
類別 年度 獎項名稱 頒獎單位
校內 109 資深優良教師(10年) 國立政治大學
校內 108 國科會研究獎勵 科技部(國科會)
年度 論文名稱
2024 Ming-I Huang*;Fang Yu*;Chih-Duo Huang, 2024.07, 'Concolic Testing on Individual Fairness of Neural Network Models, ' The 20th Taiwan Software Engineering Conference, 臺北科技大學資訊工程系.(*為通訊作者), Jul. 2024
2024 Shang-Jung Wen;Jia-Ming Chang*;Fang Yu*, 2024.07, 'scGHSOM: Hierarchical clustering and visualization of single-cell and CRISPR data using growing hierarchical SOM, ' 23rd International Workshop on Data Mining in Bioinformatics (In conjuction with ACM KDD 2024), ACM.(ACM, DBLP, IEEE)(*為通訊作者), Jul. 2024
2024 Shang-Jung Wen;Jia-Ming Change*;Fang Yu*, 2024.07, 'scGHSOM: Hierarchical clustering and visualization of single-cell and CRISPR data using growing hierarchical SOM, ' 23rd International Workshop on Data Mining in Bioinformatics (BIOKDD) in conjuction with ACM KDD 2024, ACM.(*為通訊作者), Jul. 2024
2024 Yin-Hsuan Sung*;Shih-Yi Chien*;Fang Yu*, 2024.01, 'Preliminary Validation of Explainable AI Interfaces across Heuristics and Information Transparency, ' The 4th IEEE International Conference on Human-Machine Systems (ICHMS), IEEE.(DBLP, IEEE)(*為通訊作者), Jan. 2024
2024 Cheng-Yao Guo;Fang Yu*, 2024.01, 'Sugar-coated poison defense on deepfake face-swapping attacks, ' The 5th ACM/IEEE International Conference on Automation of Software Test (AST@ICSE 2024) co located with the 46th International Conference on Software Engineering, ACM/IEEE.(ACM, DBLP, IEEE)(*為通訊作者), Jan. 2024
2023 Donald Jasper Su*;Chia Cheng Lin;Fang Yu*, 2023.12, 'Facial Nerve Disorder Rehabilitation via Generative Adversarial Network, ' the 28th International Conference on Technologies and Applications of Artificial Intelligence (TAAI), TAAI.(DBLP)(*為通訊作者), Dec. 2023
2023 Cheng-Yao Guo*;Fang Yu*, 2023.04, 'On Searching Information Leakage of Python Model Execution to Detect Adversarial Examples, ' The 18th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS 2023), ACM.(ACM, DBLP, IEEE, SCOPUS)(*為通訊作者), Apr. 2023
2023 YiChing Lin*;Fang Yu*, 2023.03, 'DeepSHAP Summary for Adversarial Example Detection, ' The 2023 IEEE/ACM International Workshop on Testing for Deep Learning and Deep Learning for Testing with the 45th the IEEE/ACM International Conference on Software Engineering (DeepTest@ICSE2023), IEEE/ACM.(ACM, DBLP, IEEE, SCOPUS)(*為通訊作者), Mar. 2023
2021 郁方*, 2021.10, 'PyCT: A Python Concolic Tester, '.(*為通訊作者), Oct. 2021
2020 Lin, WeiTing;Hsiao, ShunWen*;Yu, Fang*, 2020.10, 'Runtime Hook on Blockchain and Smart Contract Systems, ' The Eighth International Workshop on Security in Blockchain and Cloud Computing (SBC) To be held in conjunction with the 15th ACM Asia Conference on Computer and Communications Security (ASIACCS), ACM.(ACM, DBLP)(*為通訊作者), Oct. 2020
2020 郁方*, 2020.06, 'Symbolic Gas Vulnerability Detection and Attack Synrthesis, '.(*為通訊作者), Jun. 2020
2019 Yun-Chieh Tien;Chen-Min Hsu;Fang Yu*, 2019.09, 'HiSeqGAN: Hierarchical Sequence Synthesis and Prediction, ' Artificial Neural Networks and Machine Learning – ICANN 2019: Text and Time Series, LNTCS, volume 11730, Helmholtz Zentrum München, pp.pp 621-638.(EI, DBLP, IEEE, SCOPUS)(*為通訊作者), Sep. 2019
2018 Chi-Feng Liu;Shun-Wen Hsiao*;Fang Yu*, 2018.12, 'Malware Family Characterization with Recurrent Neural Network and GHSOM using System Calls, ' the 10th IEEE International Conference on Cloud Computing Technology and Science (IEEE CloudCom 2018), IEEE Computer Society.(DBLP, IEEE, CITESEEN)(*為通訊作者), Dec. 2018
2018 Hung-En Wang;Shih-Yu Chen;Fang Yu*;Jie-Hong R. Jiang*, 2018.07, 'A Symbolic Model Checking Approach to the Analysis of String and Length Constraints, ' The 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE ’18), ACM SIGSOFT.(ACM, DBLP, IEEE, CITESEEN)(*為通訊作者), Jul. 2018
2018 Abdulbaki Aydin*;William Eiers;Lucas Bang;Tegan Brennan;Miroslav Gavrilov;Tevfik Bultan*;Fang Yu, 2018.07, 'Parameterized Model Counting for String and Numeric Constraints, ' The 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), ACM SIGSOFT.(ACM, DBLP, IEEE, CITESEEN)(*為通訊作者), Jul. 2018
2018 TengYung Lin*;Chun-Hao Howard Chuang;Fang Yu*, 2018.07, 'Tracking Supply Chain Process Variability with Unsupervised Cluster Traversal, ' The 4th IEEE Intl Conf on Big Data Intelligence and Computing (DataCom'2018) (IEEE-DataCom'2018, IEEE Computer Society and ACM SIGSOFT.(DBLP, IEEE, CITESEEN)(*為通訊作者), Jul. 2018
2018 Chia-Lun Lee*;Shun-Wen Hsiao;Fang Yu*, 2018.04, 'Biparti Majority Learning with Tensors, ' IEEE BigData Congress 2018, IEEE.(ACM, DBLP, IEEE)(*為通訊作者), Apr. 2018
2018 Chun-Han Lin;Fang Yu*;Jie-Hong Jiang;Tevfik Bultan, 2018.01, 'Static Detection of API Call Vulnerabilities in iOS Executables, ' The 40th International Conference on Software Engineering (ICSE 2018), IEEE Computer Society and ACM SIGSOFT.(ACM, DBLP, IEEE, CITESEEN)(*為通訊作者), Jan. 2018
2017 Shin-Yin Huang*;Ya-Yun Prng;Fang Yu, 2017.09, 'A Parallel Majority Learning Algorithm for Anomaly Detection, ' the 3rd IEEE International Conference on Big Data Intelligence and Computing (IEEE DataCom 2017), IEEE Computer Society.(DBLP, IEEE, CITESEEN)(*為通訊作者), Sep. 2017
2017 Chun-chi Hsu*;Yuan-ting Fang;Fang Yu*, 2017.05, 'Content-sensitive Data Compression for IoT Streaming Services, ' 2nd IEEE International Congress on Internet of Things, IEEE Computer Society's Technical Committee on Services Computing.(DBLP, IEEE)(*為通訊作者), May. 2017
2017 Chiao-Yi Cheng*;Yao-Hung Lin;Fang Yu*, 2017.05, 'Adaptive Social Network Services: The Practice of 9EMBA.COM, ' IEEE Proceedings of the 1st IEEE International Conference on Edge Computing, IEEE Computer Society's Technical Committee on Services Computing.(DBLP, IEEE)(*為通訊作者), May. 2017
2017 Chui-Hui Chiu*;Jin-Jie Chen;Fang Yu*, 2017.05, 'An Effective Distributed GHSOM Algorithm for Unsupervised Clustering on Big Data, ' The 6th 2017 IEEE International Congress on Big Data (BigData Congress 2017), IEEE Computer Society's Technical Committee on Services Computing.(DBLP, IEEE)(*為通訊作者), May. 2017
2016 Hsuan-Kai Chu*;Wan-Ping Chen;Fang Yu*, 2016.05, 'Simulating Time-Varying Demand Services with Queuing Models, ' the 13th IEEE International Conference on Services Computing, IEEE Service Society.(DBLP, IEEE, CITESEEN)(*為通訊作者), May. 2016
2016 Hung-En Wang;Tzung-Lin Tsai;Chun-Han Lin;Fang Yu;Jie-Hong Jiang, 2016.04, 'String Analysis via Automata Manipulation with Logic Circuit Representation, ' the 28th International Conference on Computer Aided Verification, University of Toronto.(ACM, DBLP, IEEE), Apr. 2016
2016 Zih-Ruei Fang*;Shu-Wei Huang;Fang Yu*, 2016.04, 'AppReco: Behavior-aware Recommendation for iOS Mobile Applications, ' the 23rd IEEE International Conference on Web Services, IEEE Service Society.(ACM, DBLP, IEEE)(*為通訊作者), Apr. 2016
2016 Jin-jie Chen*;Fang Yu*, 2016.04, 'Gnafuy: A Framework for Ubiquitous Mobile Computation, ' the 9th IEEE International Conference on Cloud Computing, IEEE Service Society.(ACM, DBLP, IEEE)(*為通訊作者), Apr. 2016
2016 Fang Yu*;Ching-Yuan Shueh;Chun-Han Lin;Yu-Fang Chen;Bow-Yaw Wang;Tevfik Bultan, 2016.04, 'Optimal Sanitization Synthesis for Web Application Vulnerability Repair, ' ACM SIGSOFT the 2016 International Symposium on Software Testing and Analysis, ACM SIGSOFT.(SCIE, ACM, DBLP, IEEE)(*為通訊作者), Apr. 2016
2015 Yen-Han Li;Yeu-Ruey Tzeng;Fang Yu*, 2015.09, 'VISO: Characterizing Malicious Behaviors of Virtual Machines With Unsupervised Clustering, ' IEEE the 7th International Conference on Cloud Computing Technology and Science (IEEE CloudCom), Institute of Electrical and Electronics Engineers (IEEE), the Cloud Computing Association.(ACM, DBLP, IEEE, CITESEEN)(*為通訊作者), Sep. 2015
2015 Chun-Han Lin*;Pei-Yu Sun;Fang Yu*, 2015.05, 'Space Connection: A New 3D Tele-Immersion Platform for Web-based Gesture-collaborative Games and Services, ' 4th International Workshop on Games and Software Engineering in conduction with the 37th International Conference on Software Engineering, IEEE Computer Society and ACM SIGSOFT.(ACM, DBLP, IEEE)(*為通訊作者), May. 2015
2013 Fang Yu*;Sheng-Wei Lee, 2013.09, 'Securing KVM-based Cloud Systems via Virtualization Introspection, ' HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES (HICSS 47), University of Hawai''i at Manoa.(DBLP, IEEE)(*為通訊作者), Sep. 2013
2013 Fang Yu*;Yi-Young Toung, 2013.09, 'Patcher: An Online Service for Detecting, Viewing and Patching Web Application Vulnerabilities, ' Hawaii International Conference on System Sciences (HICSS), University of Hawaii.(*為通訊作者), Sep. 2013
2013 Wenhui Wu;Daniel Yuh Chao;Fang Yu*, 2013.05, 'A Control Policy for Gamma-Nets without Reachability Analysis and Siphon Enumeration, ' The 9th annual IEEE International Conference on Automation Science and Engineering (IEEE CASE 2013), IEEE Robotics and Automation Society (RAS).(*為通訊作者), May. 2013
2013 Fang Yu*;Yuan-Chieh Lee;Steven Tai;Wei-Shao Tang, 2013.05, 'AppBeach: Characterizing App Behaviors via Static Binary Analysis, ' IEEE 2nd International Conference on Mobile Services, IEEE Computer Society''s Technical Committee on Services Computing.(*為通訊作者), May. 2013
2013 Fang Yu*;Hsin-YinHuang;Li-Ching Chiou;Rua-Huan Tsaih, 2013.04, 'Clustering iOS executable using self-organizing maps, ' The 2013 International Joint Conference on Neural Networks, International Neural Network Society (INNS).(*為通訊作者), Apr. 2013
2013 Fang Yu*;Yat-Wah Wan;Rua-Huan Tsaih, 2013.04, 'Quantitative Analysis of Cloud-based Streaming Services, ' 10th International Conference on Services Computing, IEEE Computer Society''s Technical Committee on Services Computing.(*為通訊作者), Apr. 2013
2012 Hsin-Yin Huang;Rua-Huan Tsaih*;Fang Yu, 2012.11, 'The Dual Approach for Decision Making, ' The 2012 DSI Annual Meeting, Decision Science Institute (DSI).(DSI proceedings)(*為通訊作者), Nov. 2012
2012 Daniel Y. Chao;Jiun-Ting Chen;Fang Yu*, 2012.05, 'Enumeration of Reachable and Other States of Simple Version of Systems of Simple Sequential Processes with Resources (S3PR), ' The 21th IEEE International Symposium on Industrial Electronics, IEEE.(DBLP, IEEE)(*為通訊作者), May. 2012
2011 Daniel Y. Chao*;Fang Yu, 2011.11, 'Number of Reachable States for Simple classes of Petri Nets, ' IECON 2011 - 37th Annual Conference on IEEE Industrial Electronics Society, IEEE IES, pp.3788-3791.(IEEE)(*為通訊作者), Nov. 2011
2011 Farn Wang*;Chung-Hao Huang;Fang Yu, 2011.09, 'A Temporal Logic for the Interaction of Strategies, ' the 22nd International Conference on Concurrency Theory.(ACM, DBLP, IEEE, CITESEEN)(*為通訊作者), Sep. 2011
2011 Fang Yu*;Tevfik Bultan;Ben Hardekopf, 2011.07, 'String Abstractions for String Verification, ' LNCS.(DBLP)(*為通訊作者), Jul. 2011
2011 Fang Yu*;Muath Alkhalaf;Tevfik Bultan, 2011.05, 'Patching Vulnerabilities with Sanitization Synthesis, ' The 33rd International Conference on Software Engineering (ICSE), ACM SIGSOFT.(ACM, DBLP, IEEE)(*為通訊作者), May. 2011
2010 Tevfik Bultan;Fang Yu;Aysu Betin Can, 2010.08, 'Modular Verification of Synchronization with Reentrant Locks, ' the IEEE/ACM 8th International Conference on Formal Methods and Models for Codesign.(ACM, IEEE), Aug. 2010
2010 Fang Yu*;Tevfik Bultan;Oscar H. Ibarra, 2010.08, 'Relational String Verification Using Multi-track Automata, ' 15th International Conference on Implementation and Application of Automata.(DBLP, LNCS)(*為通訊作者), Aug. 2010
2010 Fang Yu*;Muath Alkhalaf;Tevfik Bultan, 2010.03, 'Stranger: An Automata-based String Analysis Tool for PHP, ' the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, The European Joint Conferences on Theory and Practice of Software (ETAPS).(ACM, DBLP, IEEE)(*為通訊作者), Mar. 2010
2009 Fang Yu*;Muath Alkhalaf;Tevfik Bultan, 2009.11, 'Generating Vulnerability Signatures for String Manipulating Programs Using Automata-based Forward and Backward Symbolic Analyses, ' the 24th IEEE/ACM International Conference on Automated Software Engineering.(ACM, IEEE)(*為通訊作者), Nov. 2009
2009 Fang Yu*;Tevfik Bultan;Oscar H. Ibarra, 2009.03, 'Symbolic String Verification: Combining String Analysis and Size Analysis, ' the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.(ACM, DBLP, IEEE)(*為通訊作者), Mar. 2009
2008 Fang Yu*;Chao Wang;Aarti Gupta;Tevfik Bultan, 2008.11, 'Modular Verification of Web Services Using Efficient Symbolic Encoding and Summarization, ' the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, ACM SIGSOFT.(ACM, DBLP, IEEE)(*為通訊作者), Nov. 2008
2008 Fang Yu*;Tevfik Bultan;Oscar H. Ibarra, 2008.08, 'Symbolic String Verification: An Automata-based Approach, ' the 15th International SPIN Workshop on Model Checking of Software, UCLA.(DBLP)(*為通訊作者), Aug. 2008
2007 Fang Yu*;Tevfik Bultan;Erik Peterson, 2007.09, 'Automated Size Analysis for OCL, ' the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, ACM SIGSOFT, pp.331-340.(ACM, DBLP)(*為通訊作者), Sep. 2007