| 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 | 1272 | 2010 |
| 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 | 487 | 2011 |
| 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 | 128 | 2013 |
| 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 | 90 | 2017 |
| 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 | 61 | 2014 |
| {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 | 54 | 2020 |
| 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 | 53 | 2014 |
| 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 | 44 | 2019 |
| 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 | 44 | 2015 |
| 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 | 25 | 2021 |
| 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 | 16 | 2017 |
| Relational Network Verification X Xu, Y Yuan, Z Kincaid, A Krishnamurthy, R Mahajan, D Walker, E Zhai Proceedings of the ACM SIGCOMM 2024 Conference, 213-227, 2024 | 11 | 2024 |
| 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 | 11 | 2011 |
| A general and efficient approach to verifying traffic load properties under arbitrary k failures R Li, Y Yuan, F Ye, M Liu, R Yang, Y Yu, T Guo, Q Ma, X Zeng, C Xu, ... Proceedings of the ACM SIGCOMM 2024 Conference, 228-243, 2024 | 8 | 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 | 8 | 2024 |
| 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 | 8 | 2018 |
| 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 | 8 | 2014 |
| 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 | 8 | 2013 |
| 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 | 4 | 2018 |
| High-level abstractions for programming network policies Y Yuan University of Pennsylvania, 2016 | 1 | 2016 |
