Подписаться
Yifei Yuan
Yifei Yuan
Подтвержден адрес электронной почты в домене cis.upenn.edu
Название
Процитировано
Процитировано
Год
Scalable influence maximization in social networks under the linear threshold model
W Chen, Y Yuan, L Zhang
2010 IEEE international conference on data mining, 88-97, 2010
11592010
Influence maximization in social networks when negative opinions may emerge and propagate
W Chen, A Collins, R Cummings, T Ke, Z Liu, D Rincon, X Sun, Y Wang, ...
Proceedings of the 2011 siam international conference on data mining, 379-390, 2011
4602011
Regular functions and cost register automata
R Alur, L DAntoni, J Deshmukh, M Raghothaman, Y Yuan
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 13-22, 2013
1042013
Quantitative network monitoring with netqre
Y Yuan, D Lin, A Mishra, S Marwaha, R Alur, BT Loo
Proceedings of the conference of the ACM special interest group on data …, 2017
792017
NetEgg: Programming network policies by examples
Y Yuan, R Alur, BT Loo
Proceedings of the 13th ACM Workshop on Hot Topics in Networks, 1-7, 2014
572014
An adaptable rule placement for software-defined networks
S Zhang, F Ivancic, C Lumezanu, Y Yuan, A Gupta, S Malik
2014 44th annual IEEE/IFIP international conference on dependable systems …, 2014
502014
Scenario-based programming for SDN policies
Y Yuan, D Lin, R Alur, BT Loo
Proceedings of the 11th ACM Conference on Emerging Networking Experiments …, 2015
412015
{NetSMC}: A Custom Symbolic Model Checker for Stateful Network Verification
Y Yuan, SJ Moon, S Uppal, L Jia, V Sekar
17th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2020
402020
Alembic: Automated model inference for stateful network functions
SJ Moon, J Helt, Y Yuan, Y Bieri, S Banerjee, V Sekar, W Wu, ...
16th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2019
382019
Accurately Measuring Global Risk of Amplification Attacks using {AmpMap}
SJ Moon, Y Yin, RA Sharma, Y Yuan, JM Spring, V Sekar
30th USENIX Security Symposium (USENIX Security 21), 3881-3898, 2021
212021
Methods, systems, and computer readable media for generating software defined networking (SDN) policies
BT Loo, Y Yuan, R Alur
US Patent 9,729,582, 2017
132017
Efficient and correct test scheduling for ensembles of network policies
Y Yuan, S Chandrasekaran, L Jia, V Sekar
15th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2018
92018
Regular functions, cost register automata, and generalized min-cost problems
R Alur, L D'Antoni, JV Deshmukh, M Raghothaman, Y Yuan
arXiv preprint arXiv:1111.0670, 2011
92011
Generating consistent updates for software-defined network configurations
Y Yuan, F Ivančić, C Lumezanu, S Zhang, A Gupta
Proceedings of the third workshop on Hot topics in Software Defined …, 2014
82014
On the feasibility of automation for bandwidth allocation problems in data centers
Y Yuan, A Wang, R Alur, BT Loo
2013 Formal Methods in Computer-Aided Design, 42-45, 2013
82013
NetEgg: A scenario-based programming toolkit for SDN policies
Y Yuan, D Lin, S Anil, H Verma, A Chelluri, R Alur, BT Loo
IEEE/ACM Transactions on Networking 26 (5), 2104-2117, 2018
42018
High-level abstractions for programming network policies
Y Yuan
University of Pennsylvania, 2016
12016
Relational Network Verification
X Xu, Y Yuan, Z Kincaid, A Krishnamurthy, R Mahajan, D Walker, E Zhai
arXiv preprint arXiv:2403.17277, 2024
2024
Reasoning about Network Traffic Load Property at Production Scale
R Li, F Ye, Y Yuan, R Yang, B Tian, T Guo, H Wu, X Zhu, Z Guan, Q Ma, ...
21st USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2024
2024
Accurately Measuring Global Risk of Amplification Attacks using AmpMap (CMU-CyLab-19-004)
S Moon, Y Yin, R Sharma, Y Yuan, J Spring, V Sekar
Carnegie Mellon University, 2020
2020
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20