|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 69 occurrences of 56 keywords
|
|
|
|
|
Results
Found 64 publication records. Showing 64 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Fang Yu, Tevfik Bultan, Oscar H. Ibarra |
Relational String Verification Using Multi-Track Automata.  |
Int. J. Found. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shailesh 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 |
Session reports for SIGCOMM 2010. |
Computer Communication Review |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, Chao Wang (eds.) |
Proceedings 13th International Workshop on Verification of Infinite-State Systems |
INFINITY |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, Haijun Jiang |
Global exponential synchronization of fuzzy cellular neural networks with delays and reaction-diffusion terms. |
Neurocomputing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang, Chung-Hao Huang, Fang Yu |
A Temporal Logic for the Interaction of Strategies. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, Vijay Gopalakrishnan, David Lee, K. K. Ramakrishnan |
Nemor: A congestion-aware protocol for anonymous peer-based content distribution. |
Peer-to-Peer Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. John, Fang Yu, Yinglian Xie, Arvind Krishnamurthy, Martín Abadi |
Heat-seeking honeypots: design and experience. |
WWW |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, Tevfik Bultan, Ben Hardekopf |
String Abstractions for String Verification. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. John, Fang Yu, Yinglian Xie, Arvind Krishnamurthy, Martín Abadi |
deSEO: Combating Search-Result Poisoning. |
USENIX Security Symposium |
2011 |
DBLP BibTeX RDF |
|
| 1 | Fang Yu, Muath Alkhalaf, Tevfik Bultan |
Patching vulnerabilities with sanitization synthesis. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiyun Qian, Zhuoqing Morley Mao, Yinglian Xie, Fang Yu |
Investigation of Triangular Spamming: A Stealthy and Efficient Spamming Technique. |
IEEE Symposium on Security and Privacy |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan, Fang Yu, Aysu Betin-Can |
Modular verification of synchronization with reentrant locks. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, Muath Alkhalaf, Tevfik Bultan |
Stranger: An Automata-Based String Analysis Tool for PHP. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Pitsillidis, Yinglian Xie, Fang Yu, Martín Abadi, Geoffrey M. Voelker, Stefan Savage |
How to tell an airport from a home: techniques and applications. |
HotNets |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. John, Fang Yu, Yinglian Xie, Martín Abadi, Arvind Krishnamurthy |
Searching the Searchers with SearchAudit. |
USENIX Security Symposium |
2010 |
DBLP BibTeX RDF |
|
| 1 | Fang Yu, Yinglian Xie, Qifa Ke |
SBotMiner: large scale search bot detection. |
WSDM |
2010 |
DBLP DOI BibTeX RDF |
botnet detection, search bot, search log analysis, web search, click fraud |
| 1 | Fang Yu, Tevfik Bultan, Oscar H. Ibarra |
Relational String Verification Using Multi-track Automata. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Qing Zhou, Fang Yu, Liming Cheng, Limin Chen |
A knowledge-based decision making tool in competitive environments. |
BIC-TA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiyun Qian, Zhuoqing Morley Mao, Yinglian Xie, Fang Yu |
On Network-level Clusters for Spam Detection. |
NDSS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yao Zhao, Yinglian Xie, Fang Yu, Qifa Ke, Yuan Yu, Yan Chen, Eliot Gillum |
BotGraph: Large Scale Spamming Botnet Detection. |
NSDI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Fang Yu, Tevfik Bultan, Oscar H. Ibarra |
Symbolic String Verification: Combining String Analysis and Size Analysis. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, Muath Alkhalaf, Tevfik Bultan |
Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
vulnerability signature, string analysis, finite automata, web security |
| 1 | Yinglian Xie, Fang Yu, Martín Abadi |
De-anonymizing the internet using unreliable IDs. |
SIGCOMM |
2009 |
DBLP DOI BibTeX RDF |
attack forensics, accountability, botnet, blacklist |
| 1 | Qing Zhou, Fang Yu, Binqiang Wang |
An Algorithm Evaluating System Stability to Process. |
ICA3PP |
2009 |
DBLP DOI BibTeX RDF |
algorithm, process, first-order logic, system stability |
| 1 | Vaneet Aggarwal, A. Robert Calderbank, Vijay Gopalakrishnan, Rittwik Jana, K. K. Ramakrishnan, Fang Yu |
The effectiveness of intelligent scheduling for multicast video-on-demand. |
ACM Multimedia |
2009 |
DBLP DOI BibTeX RDF |
scheduling, multicast, VoD, EDF |
| 1 | Oscar H. Ibarra, Sara Woodworth, Fang Yu, Andrei Paun |
On spiking neural P systems and partially blind counter machines. |
Natural Computing |
2008 |
DBLP DOI BibTeX RDF |
Sequential mode, Partially blind counter machine, Spiking neural P system |
| 1 | John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang |
Designing an Efficient Hardware Implication Accelerator for SAT Solving. |
SAT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang |
A practical reconfigurable hardware accelerator for Boolean satisfiability solvers. |
DAC |
2008 |
DBLP DOI BibTeX RDF |
BCP, FPGA, reconfigurable, SAT solver, co-processor |
| 1 | Fang Yu, Tevfik Bultan, Marco Cova, Oscar H. Ibarra |
Symbolic String Verification: An Automata-Based Approach. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yinglian Xie, Fang Yu, Kannan Achan, Rina Panigrahy, Geoff Hulten, Ivan Osipkov |
Spamming botnets: signatures and characteristics. |
SIGCOMM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Qing Zhou, Fang Yu |
Knowledge-Based Major Choosing Decision Making for Remote Students. |
CSSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guifang Shao, Yuhua Wen, Fang Yu, Zushu Li |
Target Localization for Autonomous Soccer Robot Based on Vision Perception. |
ISICA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan |
Modular verification of web services using efficient symbolic encoding and summarization. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
BPEL, summarization, modular verification |
| 1 | Yinglian Xie, Fang Yu, Kannan Achan, Eliot Gillum, Moisés Goldszmidt, Ted Wobber |
How dynamic are IP addresses? |
SIGCOMM |
2007 |
DBLP DOI BibTeX RDF |
IP volatility, dynamic IP addresses, entropy, spam detection, DHCP |
| 1 | Dongling Chen, Daling Wang, Ge Yu, Fang Yu |
A PLSA-Based Approach for Building User Profile and Implementing Personalized Recommendation. |
APWeb/WAIM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, Tevfik Bultan, Erik Peterson |
Automated size analysis for OCL. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
size abstraction, size analysis, OCL |
| 1 | Farn Wang, Geng-Dian Huang, Fang Yu |
TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
inevitability, non-Zeno, greatest fixpoint, real-time systems, model-checking, abstraction, TCTL |
| 1 | Fang Yu, Bow-Yaw Wang |
Sat-based Model Checking for Region Automata. |
Int. J. Found. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, T. V. Lakshman, Martin Austin Motoyama, Randy H. Katz |
Efficient Multimatch Packet Classification for Network Security Applications. |
IEEE Journal on Selected Areas in Communications |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuyao Luo, Fang Yu, Jun Zhang 0003 |
Study of Parametric Relation in Ant Colony Optimization Approach to Traveling Salesman Problem. |
ICIC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
deep packet, intrusion detection, inspection, regular expressions, DFA |
| 1 | Sailesh Kumar, Sarang Dharmapurikar, Fang Yu, Patrick Crowley, Jonathan S. Turner |
Algorithms to accelerate multiple regular expressions matching for deep packet inspection. |
SIGCOMM |
2006 |
DBLP DOI BibTeX RDF |
regular expressions, DFA, deep packet inspection |
| 1 | Oscar H. Ibarra, Sara Woodworth, Fang Yu, Andrei Paun |
On Spiking Neural P Systems and Partially Blind Counter Machines. |
UC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang, Geng-Dian Huang, Fang Yu |
Symbolic simulation of industrial real-time and embedded systems -experiments with the bluetooth baseband communication protocol. |
J. Embedded Computing |
2005 |
DBLP BibTeX RDF |
|
| 1 | Fang Yu, Randy H. Katz, T. V. Lakshman |
Efficient Multimatch Packet Classification and Lookup with TCAM. |
IEEE Micro |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, T. V. Lakshman, Martin Austin Motoyama, Randy H. Katz |
SSA: a power and memory efficient scheme to multi-match packet classification. |
ANCS |
2005 |
DBLP DOI BibTeX RDF |
multiple-match, packet classification, TCAM, energy-efficient design |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang, Karsten Schmidt 0004, 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. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, Bow-Yaw Wang, Yao-Wen Huang |
Bounded Model Checking for Region Automata. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
program security, verification, type systems, information flow, noninterference, web application security, security vulnerabilities |
| 1 | Fang Yu, Bow-Yaw Wang |
Toward Unbounded Model Checking for Region Automata. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
Region automata, Real-time systems, Model checking, Verification, Induction, BMC |
| 1 | Sylvia Ratnasamy, Brad Karp, Scott Shenker, Deborah Estrin, Ramesh Govindan, Li Yin, Fang Yu |
Data-Centric Storage in Sensornets with GHT, a Geographic Hash Table. |
MONET |
2003 |
DBLP DOI BibTeX RDF |
sensor networks, performance, distributed systems, algorithms |
| 1 | Farn Wang, Geng-Dian Hwang, Fang Yu |
TCTL Inevitability Analysis of Dense-time Systems |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Farn Wang, Geng-Dian Hwang, Fang Yu |
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Fang Yu, Qian Zhang, Wenwu Zhu, Ya-Qin Zhang |
QoS-adaptive proxy caching for multimedia streaming over the Internet. |
IEEE Trans. Circuits Syst. Video Techn. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang, Geng-Dian Hwang, Fang Yu |
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
verification, real-time, coverage, symbolic simulation |
| 1 | Farn Wang, Fang Yu |
OVL Assertion-Checking of Embedded Software with Dense-Time Semantics. |
RTCSA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang, Geng-Dian Huang, Fang Yu |
Symbolic Simulation of Real-Time Concurrent Systems. |
RTCSA |
2003 |
DBLP DOI BibTeX RDF |
state-based, model-checking, verification, specification, Assertions, event-driven |
| 1 | Farn Wang, Geng-Dian Hwang, Fang Yu |
TCTL Inevitability Analysis of Dense-Time Systems. |
CIAA |
2003 |
DBLP DOI BibTeX RDF |
Branching temporal logics, inevitability, greatest fixpoint, real-time systems, model-checking, abstraction, TCTL |
| 1 | Sylvia Ratnasamy, Brad Karp, Li Yin, Fang Yu, Deborah Estrin, Ramesh Govindan, Scott Shenker |
GHT: a geographic hash table for data-centric storage. |
WSNA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, Qian Zhang, Wenwu Zhu, Ya-Qin Zhang |
Network-Adaptive Cache Management Schemes for Mixed Media. |
IEEE Pacific Rim Conference on Multimedia |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuigeng Zhou, Ye Fan, Jiangtao Hu, Fang Yu, Yunfa Hu |
Hierachically Classifying Chinese Web Documents without Dictionary Support and Segmentation Procedure. |
Web-Age Information Management |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang Yu, Wen Jin |
An Effective Approach to Mining Exeption Class Association Rules. |
Web-Age Information Management |
2000 |
DBLP BibTeX RDF |
|
Displaying result #1 - #64 of 64 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")