Fang Yu - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Session reports for SIGCOMM 2010Shailesh Agrawal, Kavitha Athota, Pramod Bhatotia, Piyush Goyal, Phani Krisha, Kirtika Ruchandan, Nishanth Sastry, Gurmeet Singh, Sujesha Sudevalayam, Immanuel Ilavarasan Thomas, Arun Vishwanath, Tianyin Xu, Fang Yu. ccr, 41(1):66-83, 2011. [doi]

Heat-seeking honeypots: design and experienceJohn P. John, Fang Yu, Yinglian Xie, Arvind Krishnamurthy, Martín Abadi. WWW 2011: 207-216 [doi]

A Temporal Logic for the Interaction of StrategiesFarn Wang, Chung-Hao Huang, Fang Yu. concur 2011: 466-481 [doi]

Patching vulnerabilities with sanitization synthesisFang Yu, Muath Alkhalaf, Tevfik Bultan. ICSE 2011: 251-260 [doi]

String Abstractions for String VerificationFang Yu, Tevfik Bultan, Ben Hardekopf. spin 2011: 20-37 [doi]

Global exponential synchronization of fuzzy cellular neural networks with delays and reaction-diffusion termsFang Yu, Haijun Jiang. ijon, 74(4):509-515, 2011. [doi]

2010

Modular verification of synchronization with reentrant locksTevfik Bultan, Fang Yu, Aysu Betin-Can. memocode 2010: 59-68 [doi]

Searching the Searchers with SearchAuditJohn P. John, Fang Yu, Yinglian Xie, Martín Abadi, Arvind Krishnamurthy. uss 2010: 127-142 [doi]

How to tell an airport from a home: techniques and applicationsAndreas Pitsillidis, Yinglian Xie, Fang Yu, Martín Abadi, Geoffrey M. Voelker, Stefan Savage. hotnets 2010: 13 [doi]

Investigation of Triangular Spamming: A Stealthy and Efficient Spamming TechniqueZhiyun Qian, Zhuoqing Morley Mao, Yinglian Xie, Fang Yu. sp 2010: 207-222 [doi]

On Network-level Clusters for Spam DetectionZhiyun Qian, Zhuoqing Morley Mao, Yinglian Xie, Fang Yu. ndss 2010: [doi]

Relational String Verification Using Multi-track AutomataFang Yu, Tevfik Bultan, Oscar H. Ibarra. wia 2011: 290-299 [doi]

SBotMiner: large scale search bot detectionFang Yu, Yinglian Xie, Qifa Ke. wsdm 2010: 421-430 [doi]

Stranger: An Automata-Based String Analysis Tool for PHPFang Yu, Muath Alkhalaf, Tevfik Bultan. TACAS 2010: 154-157 [doi]

2009

The effectiveness of intelligent scheduling for multicast video-on-demandVaneet Aggarwal, A. Robert Calderbank, Vijay Gopalakrishnan, Rittwik Jana, K. K. Ramakrishnan, Fang Yu. mm 2009: 421-430 [doi]

De-anonymizing the internet using unreliable IDsYinglian Xie, Fang Yu, MartÃn Abadi. sigcomm 2009: 75-86 [doi]

Symbolic String Verification: Combining String Analysis and Size AnalysisFang Yu, Tevfik Bultan, Oscar H. Ibarra. TACAS 2009: 322-336 [doi]

Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic AnalysesFang Yu, Muath Alkhalaf, Tevfik Bultan. kbse 2009: 605-609 [doi]

BotGraph: Large Scale Spamming Botnet DetectionYao Zhao, Yinglian Xie, Fang Yu, Qifa Ke, Yuan Yu, Yan Chen, Eliot Gillum. nsdi 2009: 321-334 [doi]

An Algorithm Evaluating System Stability to ProcessQing Zhou, Fang Yu, Binqiang Wang. ica3pp 2009: 626-637 [doi]

2008

A practical reconfigurable hardware accelerator for Boolean satisfiability solversJohn D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang. dac 2008: 780-785 [doi]

Designing an Efficient Hardware Implication Accelerator for SAT SolvingJohn D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang. sat 2008: 48-62 [doi]

On spiking neural P systems and partially blind counter machinesOscar H. Ibarra, Sara Woodworth, Fang Yu, Andrei Paun. nc, 7(1):3-19, 2008. [doi]

Target Localization for Autonomous Soccer Robot Based on Vision PerceptionGuifang Shao, Yuhua Wen, Fang Yu, Zushu Li. isica 2008: 831-840 [doi]

Spamming botnets: signatures and characteristicsYinglian Xie, Fang Yu, Kannan Achan, Rina Panigrahy, Geoff Hulten, Ivan Osipkov. sigcomm 2008: 171-182 [doi]

Modular verification of web services using efficient symbolic encoding and summarizationFang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan. sigsoft 2008: 192-202 [doi]

Symbolic String Verification: An Automata-Based ApproachFang Yu, Tevfik Bultan, Marco Cova, Oscar H. Ibarra. spin 2008: 306-324 [doi]

Knowledge-Based Major Choosing Decision Making for Remote StudentsQing Zhou, Fang Yu. csse 2008: 474-478 [doi]

2007

2006

On Spiking Neural P Systems and Partially Blind Counter MachinesOscar H. Ibarra, Sara Woodworth, Fang Yu, Andrei Paun. uc 2006: 113-129 [doi]

Algorithms to accelerate multiple regular expressions matching for deep packet inspectionSailesh Kumar, Sarang Dharmapurikar, Fang Yu, Patrick Crowley, Jonathan S. Turner. sigcomm 2006: 339-350 [doi]

Study of Parametric Relation in Ant Colony Optimization Approach to Traveling Salesman ProblemXuyao Luo, Fang Yu, Jun Zhang. icic 2006: 22-32 [doi]

TCTL Inevitability Analysis of Dense-Time Systems: From Theory to EngineeringFarn Wang, Geng-Dian Huang, Fang Yu. TSE, 32(7):510-526, 2006. [doi]

Fast and memory-efficient regular expression matching for deep packet inspectionFang Yu, Zhifeng Chen, Yanlei Diao, T. V. Lakshman, Randy H. Katz. ancs 2006: 93-102 [doi]

Efficient Multimatch Packet Classification for Network Security ApplicationsFang Yu, T. V. Lakshman, Martin Austin Motoyama, Randy H. Katz. jsac, 24(10):1805-1816, 2006. [doi]

Sat-based Model Checking for Region AutomataFang Yu, Bow-Yaw Wang. ijfcs, 17(4):775-796, 2006. [doi]

2005

2004

2003

2002

GHT: a geographic hash table for data-centric storageSylvia Ratnasamy, Brad Karp, Li Yin, Fang Yu, Deborah Estrin, Ramesh Govindan, Scott Shenker. mobicom 2002: 78-87 [doi]

2001

Network-Adaptive Cache Management Schemes for Mixed MediaFang Yu, Qian Zhang, Wenwu Zhu, Ya-Qin Zhang. pcm 2001: 685-692 [doi]

2000

An Effective Approach to Mining Exeption Class Association RulesFang Yu, Wen Jin. waim 2000: 145-150 [doi]

Hierachically Classifying Chinese Web Documents without Dictionary Support and Segmentation ProcedureShuigeng Zhou, Ye Fan, Jiangtao Hu, Fang Yu, Yunfa Hu. waim 2000: 215-226 [doi]