郁 方
專任
姓名 郁 方
電子郵件 yuf@nccu.edu.tw
聯絡電話 81113
研究專長 軟體安全、正規驗證、字串分析
授課領域 軟體安全、正規驗證、字串分析
學歷 加州大學聖塔芭芭拉分校 電腦科學系 博士
職稱 副教授
年度 論文名稱
2015 郁方*, 2015.04, 'AppBeach: A Static Behavior Checker for iOS Mobile Applications, '.(*為通訊作者), 416447
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)(*為通訊作者), 402788
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)(*為通訊作者), 391128
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)(*為通訊作者), 388028
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)(*為通訊作者), 395896
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)(*為通訊作者), 364504
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)(*為通訊作者), 347564
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), 316613
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), 316615
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), 316829
年度 論文名稱
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)(*為通訊作者)
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)(*為通訊作者)
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)(*為通訊作者)
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)(*為通訊作者)
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)(*為通訊作者)
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)
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)(*為通訊作者)
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)(*為通訊作者)
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)(*為通訊作者)
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)(*為通訊作者)
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)(*為通訊作者)
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.(*為通訊作者)
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)(*為通訊作者)
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.(*為通訊作者)
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).(*為通訊作者)
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.(*為通訊作者)
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).(*為通訊作者)
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)(*為通訊作者)
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)(*為通訊作者)
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)(*為通訊作者)
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)(*為通訊作者)
2011 Fang Yu*;Tevfik Bultan;Ben Hardekopf, 2011.07, 'String Abstractions for String Verification, ' LNCS.(DBLP)(*為通訊作者)
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)(*為通訊作者)
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)(*為通訊作者)
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)
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)(*為通訊作者)
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)(*為通訊作者)
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)(*為通訊作者)
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)(*為通訊作者)
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)(*為通訊作者)
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)(*為通訊作者)
國家 學校名稱 系所 學位 期間
美國 加州大學聖塔芭芭拉分校 電腦科學系 博士 2005.09 ~ 2010.06
台灣,中華民國 國立臺灣大學 資訊管理學系 碩士 1998.09 ~ 2000.06
台灣,中華民國 國立臺灣大學 資訊管理學系 學士 1994.09 ~ 1998.06
經歷類別 單位 職務
校內本職 資訊管理學系 副教授
校內本職 資訊管理學系 副教授
校內本職 資訊管理學系 助理教授
校內本職 資訊管理學系 助理教授