Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems. - Farn Wang; Geng-Dian Hwang; Fang Yu 001 (FORTE, 2003)

Symbolic Simulation of Real-Time Concurrent Systems. - Farn Wang; Geng-Dian Huang; Fang Yu 001 (RTCSA, 2003)

OVL Assertion-Checking of Embedded Software with Dense-Time Semantics. - Farn Wang; Fang Yu 001 (RTCSA, 2003)

TCTL Inevitability Analysis of Dense-Time Systems. - Farn Wang; Geng-Dian Hwang; Fang Yu 001 (CIAA, 2003)

Toward Unbounded Model Checking for Region Automata. - Fang Yu 001; Bow-Yaw Wang (ATVA, 2004)

Verifying Web Applications Using Bounded Model Checking. - Yao-Wen Huang; Fang Yu 001; Christian Hang; Chung-Hung Tsai; D. T. Lee; Sy-Yen Kuo (DSN, 2004)

Bounded Model Checking for Region Automata. - Fang Yu 001; Bow-Yaw Wang; Yao-Wen Huang (FORMATS/FTRTFT, 2004)

Securing web application code by static analysis and runtime protection. - Yao-Wen Huang; Fang Yu 001; Christian Hang; Chung-Hung Tsai; Der-Tsai Lee; Sy-Yen Kuo (WWW, 2004)

BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction. - Farn Wang; Karsten Schmidt 004; Fang Yu 001; Geng-Dian Huang; Bow-Yaw Wang (IEEE Trans. Software Eng., 2004)

Efficient Exact Spare Allocation via Boolean Satisfiability. - Fang Yu 001; Chung-Hung Tsai; Yao-Wen Huang; D. T. Lee; Hung-Yau Lin; Sy-Yen Kuo (DFT, 2005)

Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol. - Farn Wang; Geng-Dian Huang; Fang Yu 001 (J. Embed. Comput., 2005)

Sat-based Model Checking for Region Automata. - Fang Yu 001; Bow-Yaw Wang (Int. J. Found. Comput. Sci., 2006)

TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering. - Farn Wang; Geng-Dian Huang; Fang Yu 001 (IEEE Trans. Software Eng., 2006)

Automated size analysis for OCL. - Fang Yu 001; Tevfik Bultan; Erik Peterson (ESEC/SIGSOFT FSE, 2007)

Modular verification of web services using efficient symbolic encoding and summarization. - Fang Yu 001; Chao Wang 001; Aarti Gupta; Tevfik Bultan (SIGSOFT FSE, 2008)

Symbolic String Verification: An Automata-Based Approach. - Fang Yu 001; Tevfik Bultan; Marco Cova; Oscar H. Ibarra (SPIN, 2008)

On spiking neural P systems and partially blind counter machines. - Oscar H. Ibarra; Sara Woodworth; Fang Yu 001; Andrei Paun (Nat. Comput., 2008)

Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses. - Fang Yu 001; Muath Alkhalaf; Tevfik Bultan (ASE, 2009)

Symbolic String Verification: Combining String Analysis and Size Analysis. - Fang Yu 001; Tevfik Bultan; Oscar H. Ibarra (TACAS, 2009)

Modular verification of synchronization with reentrant locks. - Tevfik Bultan; Fang Yu 001; Aysu Betin-Can (MEMOCODE, 2010)

Stranger: An Automata-Based String Analysis Tool for PHP. - Fang Yu 001; Muath Alkhalaf; Tevfik Bultan (TACAS, 2010)

A Temporal Logic for the Interaction of Strategies. - Farn Wang; Chung-Hao Huang; Fang Yu 001 (CONCUR, 2011)

Patching vulnerabilities with sanitization synthesis. - Fang Yu 001; Muath Alkhalaf; Tevfik Bultan (ICSE, 2011)

String Abstractions for String Verification. - Fang Yu 001; Tevfik Bultan; Ben Hardekopf (SPIN, 2011)

Relational String Verification Using Multi-Track Automata. - Fang Yu 001; Tevfik Bultan; Oscar H. Ibarra (Int. J. Found. Comput. Sci., 2011)

Enumeration of reachable and other states of simple version of Systems of Simple Sequential Processes with Resources (S3PR). - Daniel Yuh Chao; Hung-Yi Chen; Fang Yu 001 (ISIE, 2012)

Symbolic consistency checking of OpenMp parallel programs. - Fang Yu 001; Shun-Ching Yang; Farn Wang; Guan-Cheng Chen; Che-Chang Chan (LCTES, 2012)

Quantitative Analysis of Cloud-Based Streaming Services. - Fang Yu 001; Yat-wah Wan; Rua-Huan Tsaih (IEEE SCC, 2013)

A control policy for γ-nets without reachability analysis and siphon enumeration. - Wenhui Wu; Daniel Yuh Chao; Fang Yu 001 (CASE, 2013)

Clustering iOS executable using self-organizing maps. - Fang Yu 001; Shin-Ying Huang; Li-ching Chiou; Rua-Huan Tsaih (IJCNN, 2013)

Patcher: An Online Service for Detecting, Viewing and Patching Web Application Vulnerabilities. - Fang Yu 001; Yi-Yang Tung (HICSS, 2014)

Resistant learning on the envelope bulk for identifying anomalous patterns. - Shin-Ying Huang; Fang Yu 001; Rua-Huan Tsaih; Yennun Huang (IJCNN, 2014)

Topological pattern discovery and feature extraction for fraudulent financial reporting. - Shin-Ying Huang; Rua-Huan Tsaih; Fang Yu 001 (Expert Syst. Appl., 2014)

Automata-based symbolic string analysis for vulnerability detection. - Fang Yu 001; Muath Alkhalaf; Tevfik Bultan; Oscar H. Ibarra (Formal Methods Syst. Des., 2014)

Space Connection: A New 3D Tele-immersion Platform for Web-Based Gesture-Collaborative Games and Services. - Chun-Han Lin; Pei-Yu Sun; Fang Yu 001 (GAS@ICSE, 2015)

Network-traffic anomaly detection with incremental majority learning. - Shin-Ying Huang; Fang Yu 001; Rua-Huan Tsaih; Yennun Huang (IJCNN, 2015)

String Analysis via Automata Manipulation with Logic Circuit Representation. - Hung-En Wang; Tzung-Lin Tsai; Chun-Han Lin; Fang Yu 001; Jie-Hong R. Jiang (CAV (1), 2016)

Optimal sanitization synthesis for web application vulnerability repair. - Fang Yu 001; Ching-Yuan Shueh; Chun-Han Lin; Yu-Fang Chen 001; Bow-Yaw Wang; Tevfik Bultan (ISSTA, 2016)

String Analysis for Software Verification and Security. - Tevfik Bultan; Fang Yu 001; Muath Alkhalaf; Abdulbaki Aydin (Springer, 2017)

Content-Sensitive Data Compression for IoT Streaming Services. - Chun-Chi Hsu; Yuan-Ting Fang; Fang Yu 001 (ICIOT, 2017)

Static detection of API call vulnerabilities in iOS executables. - Chun-Han Lin; Fang Yu 001; Jie-Hong Roland Jiang; Tevfik Bultan (ICSE (Companion Volume), 2018)

A symbolic model checking approach to the analysis of string and length constraints. - Hung-En Wang; Shih-Yu Chen; Fang Yu 001; Jie-Hong R. Jiang (ASE, 2018)

Parameterized model counting for string and numeric constraints. - Abdulbaki Aydin; William Eiers; Lucas Bang; Tegan Brennan; Miroslav Gavrilov; Tevfik Bultan; Fang Yu 001 (ESEC/SIGSOFT FSE, 2018)

Quantitative quality estimation of cloud-based streaming services. - Fang Yu 001; Yat-wah Wan; Rua-Huan Tsaih (Comput. Commun., 2018)

HiSeqGAN: Hierarchical Sequence Synthesis and Prediction. - Yun-Chieh Tien; Chen-Min Hsu; Fang Yu 001 (ICANN (2), 2019)

Runtime Hook on Blockchain and Smart Contract Systems. - Wei-Ting Lin; Shun-Wen Hsiao; Fang Yu 001 (SBC@AsiaCCS, 2020)

Symbolic Gas Vulnerability Detection and Attack Synthesis. - Min Hao Peng; Fang Yu 001; Jie-Hong Roland Jiang (PACIS, 2020)

PyCT: A Python Concolic Tester. - Yu-Fang Chen 001; Wei-Lun Tsai; Wei-Cheng Wu; Di-De Yen; Fang Yu 001 (APLAS, 2021)

POSTER: On searching information leakage of Python model execution to detect adversarial examples. - Cheng-Yao Guo; Fang Yu 001 (AsiaCCS, 2023)

DeepSHAP Summary for Adversarial Example Detection. - Yi-Ching Lin; Fang Yu 001 (DeepTest, 2023)

Sugar-coated poison defense on deepfake face-swapping attacks. - Cheng-Yao Guo; Fang Yu 001 (AST@ICSE, 2024)