郁方 | 国立政治大学商学院

姓名	郁方
职称	副教授
系所单位	资讯管理学系
电子邮件
联络电话	81113
研究专长	软件安全、正规验证、字串分析
授课领域	软件安全、正规验证、字串分析

年度	论文名称
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

年度	书名
2017	Tevfik Bultan;Fang Yu;Muath Alkhalaf;Aydin Abdulbaki, 2017.12, 'String Analysis for Software Verification and Security, ' Springer International Publishing.(*为通讯作者), 418008, Dec. 2017
2016	Fang Yu, 2016.01, 'Investigating Security Mechanisms for ICT-enabled Services of the National Palace Museum, ' Managing Innovation and Cultural Management in the Digital Era: The Case of the National Palace Museum, Routledge, pp.200-221.(为通讯作者), 416446, Jan. 2016

计画类别	年度	计画名称	参与人	职称/担任之工作	计画期间	补助/委讬或合作机构
科技部	112	人工智能模型的软件验证与资讯安全	郁方,陈郁方	计画主持人	2023.08 ~ 2024.07	国科会
非科技部	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	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

国立政治大学商学院

浏览依据: /