Author of the publication

Model based verification of dynamically evolvable service oriented systems.

, , , and . Sci. China Inf. Sci., 59 (3): 32101:1-32101:17 (2016)

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

A Dual-Token-Based Fault Tolerant Mutual Exclusion Algorithm for MANETs., , and . MSN, volume 4864 of Lecture Notes in Computer Science, page 572-583. Springer, (2007)Vehicular Named Data Networking Based on Efficient Incremental Route Update., , and . SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, page 1081-1086. IEEE, (2018)RSU Controlled Named Data Networking for Traffic Information Dissemination in Vehicular Networks., , , and . SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, page 804-811. IEEE, (2018)A dual re-authentication scheme for fast handoff in IEEE 802.11 wireless mesh networks., , , , and . WCNC, page 2186-2190. IEEE, (2009)Network Intrusion Detection Framework Based on Embedded Tree Model., , , and . ICA3PP (2), volume 11945 of Lecture Notes in Computer Science, page 410-417. Springer, (2019)PFL-MoE: Personalized Federated Learning Based on Mixture of Experts., , , , , and . CoRR, (2020)Self-Learning Based Computation Offloading for Internet of Vehicles: Model and Algorithm., , , , and . IEEE Trans. Wirel. Commun., 20 (9): 5913-5925 (2021)EGC: Entropy-based gradient compression for distributed deep learning., , , , , and . Inf. Sci., (2021)A Message Efficient Intersection Control Algorithm Based on VANETs., and . IOV, volume 8662 of Lecture Notes in Computer Science, page 31-41. Springer, (2014)Message from the Technical Program Chairs: MSN 2022., and . MSN, page xxvii-xxviii. IEEE, (2022)