Author of the publication

NetDiceSyn: Multi-Property Probabilistic Verification of Network Configurations.

, , , , and . IWQoS, page 1-10. IEEE, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

When Multi-access Edge Computing Meets Multi-area Intelligent Reflecting Surface: A Multi-agent Reinforcement Learning Approach., , , , , and . IWQoS, page 1-10. IEEE, (2022)DEME: Decouple packet marking from enqueuing for multiple services in data center networks., and . ICNP, page 1-2. IEEE Computer Society, (2016)Efficient congestion control scheme based on caching strategy in NDN., , , , , and . J. Netw. Comput. Appl., (July 2023)A Recommendation Model Fusing Knowledge Graph Convolutional Networks and Social Relationships., , , and . CAIBDA, volume 373 of Frontiers in Artificial Intelligence and Applications, page 805-812. IOS Press, (2023)Energy Efficient Algorithms based on VM Consolidation for Cloud Computing: Comparisons and Evaluations., , , , , , and . CCGRID, page 489-498. IEEE, (2020)A Cloud Resource Allocation Mechanism Based on Mean-Variance Optimization and Double Multi-Attribution Auction., , and . NPC, volume 8147 of Lecture Notes in Computer Science, page 106-117. Springer, (2013)Bottleneck-Aware Non-Clairvoyant Coflow Scheduling With Fai., , , , , , and . IEEE Trans. Cloud Comput., 11 (1): 1011-1025 (January 2023)Bottleneck-Aware Coflow Scheduling Without Prior Knowledge., , , and . INFOCOM Workshops, page 50-55. IEEE, (2020)Distributed Program Deployment for Resource-Aware Programmable Switches., , , , , , and . IEEE Trans. Computers, 73 (5): 1357-1370 (May 2024)Optimizing Cache Accesses with Tensor Memory Format Search for Transformers in TVM., , , , and . CLOUD, volume 13731 of Lecture Notes in Computer Science, page 39-53. Springer, (2022)