Author of the publication

A Correctness Verification Method for C Programs Based on VCC.

, , , , , and . CSCloud, page 172-177. IEEE Computer Society, (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 Profile Clustering Based Event Logs Repairing Approach for Process Mining., and . IEEE Access, (2019)IFTS: A Location Privacy Protection Method Based on Initial and Final Trajectory Segments., , , , , and . IEEE Access, (2021)A Blockchain Dynamic Sharding Scheme Based on Hidden Markov Model in Collaborative IoT., , , , , , and . IEEE Internet Things J., 10 (16): 14896-14907 (August 2023)Service Discovery Using Ontology Encoding Enhanced by Similarity of Information Content., , , and . SERVICES, page 209-214. IEEE Computer Society, (2013)Online Detection of Feature Interactions of CPL Services., , and . ICFI, page 19-33. IOS Press, (2009)Optimal Offloading Decision Strategies and Their Influence Analysis of Mobile Edge Computing., , and . Sensors, 19 (14): 3231 (2019)FPSA-SMS: first price sealed auction-based service migration strategy in mobile edge computing., and . J. Supercomput., 79 (6): 5920-5938 (April 2023)Concept drift detection and localization framework based on behavior replacement., , and . Appl. Intell., 53 (13): 16776-16796 (July 2023)A Method of Building Domain Knowledge Base from XML Based on Semantic Views., and . SKG, page 207-210. IEEE Computer Society, (2011)A Method Based on the Combination of Laxity and Ant Colony System for Cloud-Fog Task Scheduling., , , and . IEEE Access, (2019)