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

Cost-Efficient Data Retrieval Based on Integration of VC and NDN., , and . IEEE Trans. Veh. Technol., 70 (1): 967-976 (2021)TEAP: Traffic Engineering and ALR policy based Power-aware solutions for green routing and planning problems in backbone networks., , , and . Comput. Commun., (2021)Mobility Management for Intro/Inter Domain Handover in Software-Defined Networks., , , , and . IEEE J. Sel. Areas Commun., 37 (8): 1739-1754 (2019)MOE-A framework integrating network performance monitoring, optimization and evaluation., , and . APNOMS, page 262-267. IEEE, (2015)Survey of Energy-Saving Protocols in Wireless Sensor Networks., , , and . RVSP, page 208-211. IEEE Computer Society, (2011)A New Recovery Escalation Algorithm with Load Balancing and Backup Resources Sharing in Path Protected WDM Optical Networks., , , , and . NCA, page 287-290. IEEE Computer Society, (2008)Design and Implementation of Data Management Center Based on Web Services., , , and . HIS (2), page 322-326. IEEE Computer Society, (2009)Content-Centric Community-Aware Mobile Social Network Routing Scheme., , , , and . MSN, page 55-60. IEEE, (2018)An Optimal Estimation of Origin-Destination Traffic in Large-Scale Backbone Network., , , , and . ICC, page 1-5. IEEE, (2011)An evolutionary game-based spectrum sharing scheme., , and . ICNC, page 996-1002. IEEE, (2014)