Fang Yu

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