Fang Yu

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 14

Top Topics

Pitman Yor Process

Streaming Services

Recursive Partitioning

Top Venues

ICSE (Companion Volume)

Publications

Cheng-Yao Guo, Fang Yu
Sugar-coated poison defense on deepfake face-swapping attacks. AST@ICSE (2024)
Yi-Ching Lin, Fang Yu
DeepSHAP Summary for Adversarial Example Detection. DeepTest (2023)
Cheng-Yao Guo, Fang Yu
POSTER: On searching information leakage of Python model execution to detect adversarial examples. AsiaCCS (2023)
Yu-Fang Chen, Wei-Lun Tsai, Wei-Cheng Wu, Di-De Yen, Fang Yu
PyCT: A Python Concolic Tester. APLAS (2021)
Min Hao Peng, Fang Yu, Jie-Hong Roland Jiang
Symbolic Gas Vulnerability Detection and Attack Synthesis. PACIS (2020)
Wei-Ting Lin, Shun-Wen Hsiao, Fang Yu
Runtime Hook on Blockchain and Smart Contract Systems. SBC@AsiaCCS (2020)
Yun-Chieh Tien, Chen-Min Hsu, Fang Yu
HiSeqGAN: Hierarchical Sequence Synthesis and Prediction. ICANN (2) (2019)
Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu
Parameterized model counting for string and numeric constraints. ESEC/SIGSOFT FSE (2018)
Chun-Han Lin, Fang Yu, Jie-Hong Roland Jiang, Tevfik Bultan
Static detection of API call vulnerabilities in iOS executables. ICSE (Companion Volume) (2018)
Fang Yu, Yat-wah Wan, Rua-Huan Tsaih
Quantitative quality estimation of cloud-based streaming services. Comput. Commun. 125 (2018)
Hung-En Wang, Shih-Yu Chen, Fang Yu, Jie-Hong R. Jiang
A symbolic model checking approach to the analysis of string and length constraints. ASE (2018)
Chun-Chi Hsu, Yuan-Ting Fang, Fang Yu
Content-Sensitive Data Compression for IoT Streaming Services. ICIOT (2017)
Hung-En Wang, Tzung-Lin Tsai, Chun-Han Lin, Fang Yu, Jie-Hong R. Jiang
String Analysis via Automata Manipulation with Logic Circuit Representation. CAV (1) (2016)
Fang Yu, Ching-Yuan Shueh, Chun-Han Lin, Yu-Fang Chen, Bow-Yaw Wang, Tevfik Bultan
Optimal sanitization synthesis for web application vulnerability repair. ISSTA (2016)
Chun-Han Lin, Pei-Yu Sun, Fang Yu
Space Connection: A New 3D Tele-immersion Platform for Web-Based Gesture-Collaborative Games and Services. GAS@ICSE (2015)
Shin-Ying Huang, Fang Yu, Rua-Huan Tsaih, Yennun Huang
Network-traffic anomaly detection with incremental majority learning. IJCNN (2015)
Shin-Ying Huang, Fang Yu, Rua-Huan Tsaih, Yennun Huang
Resistant learning on the envelope bulk for identifying anomalous patterns. IJCNN (2014)
Shin-Ying Huang, Rua-Huan Tsaih, Fang Yu
Topological pattern discovery and feature extraction for fraudulent financial reporting. Expert Syst. Appl. 41 (9) (2014)
Fang Yu, Muath Alkhalaf, Tevfik Bultan, Oscar H. Ibarra
Automata-based symbolic string analysis for vulnerability detection. Formal Methods Syst. Des. 44 (1) (2014)
Fang Yu, Yi-Yang Tung
Patcher: An Online Service for Detecting, Viewing and Patching Web Application Vulnerabilities. HICSS (2014)
Fang Yu, Shin-Ying Huang, Li-ching Chiou, Rua-Huan Tsaih
Clustering iOS executable using self-organizing maps. IJCNN (2013)
Fang Yu, Yat-wah Wan, Rua-Huan Tsaih
Quantitative Analysis of Cloud-Based Streaming Services. IEEE SCC (2013)
Wenhui Wu, Daniel Yuh Chao, Fang Yu
A control policy for γ-nets without reachability analysis and siphon enumeration. CASE (2013)
Fang Yu, Shun-Ching Yang, Farn Wang, Guan-Cheng Chen, Che-Chang Chan
Symbolic consistency checking of OpenMp parallel programs. LCTES (2012)
Daniel Yuh Chao, Hung-Yi Chen, Fang Yu
Enumeration of reachable and other states of simple version of Systems of Simple Sequential Processes with Resources (S3PR). ISIE (2012)
Fang Yu, Tevfik Bultan, Ben Hardekopf
String Abstractions for String Verification. SPIN (2011)
Fang Yu, Tevfik Bultan, Oscar H. Ibarra
Relational String Verification Using Multi-Track Automata. Int. J. Found. Comput. Sci. 22 (8) (2011)
Fang Yu, Muath Alkhalaf, Tevfik Bultan
Patching vulnerabilities with sanitization synthesis. ICSE (2011)
Farn Wang, Chung-Hao Huang, Fang Yu
A Temporal Logic for the Interaction of Strategies. CONCUR (2011)
Tevfik Bultan, Fang Yu, Aysu Betin-Can
Modular verification of synchronization with reentrant locks. MEMOCODE (2010)
Fang Yu, Muath Alkhalaf, Tevfik Bultan
Stranger: An Automata-Based String Analysis Tool for PHP. TACAS (2010)
Fang Yu, Tevfik Bultan, Oscar H. Ibarra
Relational String Verification Using Multi-track Automata. CIAA (2010)
Fang Yu, Muath Alkhalaf, Tevfik Bultan
Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses. ASE (2009)
Fang Yu, Tevfik Bultan, Oscar H. Ibarra
Symbolic String Verification: Combining String Analysis and Size Analysis. TACAS (2009)
Oscar H. Ibarra, Sara Woodworth, Fang Yu, Andrei Paun
On spiking neural P systems and partially blind counter machines. Nat. Comput. 7 (1) (2008)
Fang Yu, Tevfik Bultan, Marco Cova, Oscar H. Ibarra
Symbolic String Verification: An Automata-Based Approach. SPIN (2008)
Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan
Modular verification of web services using efficient symbolic encoding and summarization. SIGSOFT FSE (2008)
Fang Yu, Tevfik Bultan, Erik Peterson
Automated size analysis for OCL. ESEC/SIGSOFT FSE (2007)
Farn Wang, Geng-Dian Huang, Fang Yu
TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering. IEEE Trans. Software Eng. 32 (7) (2006)
Fang Yu, Zhifeng Chen, Yanlei Diao, T. V. Lakshman, Randy H. Katz
Fast and memory-efficient regular expression matching for deep packet inspection. ANCS (2006)
Oscar H. Ibarra, Sara Woodworth, Fang Yu, Andrei Paun
On Spiking Neural P Systems and Partially Blind Counter Machines. UC (2006)
Fang Yu, Bow-Yaw Wang
Sat-based Model Checking for Region Automata. Int. J. Found. Comput. Sci. 17 (4) (2006)
Farn Wang, Geng-Dian Huang, Fang Yu
Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol. J. Embed. Comput. 1 (1) (2005)
Fang Yu, Chung-Hung Tsai, Yao-Wen Huang, D. T. Lee, Hung-Yau Lin, Sy-Yen Kuo
Efficient Exact Spare Allocation via Boolean Satisfiability. DFT (2005)
Yao-Wen Huang, Fang Yu, Christian Hang, Chung-Hung Tsai, D. T. Lee, Sy-Yen Kuo
Verifying Web Applications Using Bounded Model Checking. DSN (2004)
Farn Wang, Karsten 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. Software Eng. 30 (6) (2004)
Fang Yu, Bow-Yaw Wang
Toward Unbounded Model Checking for Region Automata. ATVA (2004)
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. WWW (2004)
Fang Yu, Bow-Yaw Wang, Yao-Wen Huang
Bounded Model Checking for Region Automata. FORMATS/FTRTFT (2004)
Farn Wang, Geng-Dian Hwang, Fang Yu
TCTL Inevitability Analysis of Dense-time Systems CoRR (2003)
Farn Wang, Geng-Dian Hwang, Fang Yu
TCTL Inevitability Analysis of Dense-Time Systems. CIAA (2003)
Farn Wang, Geng-Dian Huang, Fang Yu
Symbolic Simulation of Real-Time Concurrent Systems. RTCSA (2003)
Farn Wang, Geng-Dian Hwang, Fang Yu
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems. FORTE (2003)
Farn Wang, Fang Yu
OVL Assertion-Checking of Embedded Software with Dense-Time Semantics. RTCSA (2003)
Farn Wang, Geng-Dian Hwang, Fang Yu
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems CoRR (2003)