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

Service Discovery Using Ontology Encoding Enhanced by Similarity of Information Content., , , and . SERVICES, page 209-214. IEEE Computer Society, (2013)A Comprehensive Survey on Sharding in Blockchains., , , , , , and . Mob. Inf. Syst., (2021)A Profile Clustering Based Event Logs Repairing Approach for Process Mining., and . IEEE Access, (2019)Towards Heuristic Web Services Composition Using Immune Algorithm., and . ICWS, page 238-245. IEEE Computer Society, (2008)Web Services Feature Interaction Detection Based on Graph Transformation - A New Interaction Detection Method (work-in-progress paper)., and . ICFI, page 242-249. IOS Press, (2009)A Correctness Verification Method for C Programs Based on VCC., , , , , and . CSCloud, page 172-177. IEEE Computer Society, (2016)Increasing Energy Efficiency on Smartphones through Data Forecashing., , , , , and . IEEE MS, page 150-155. IEEE Computer Society, (2016)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)A Method of Building Domain Knowledge Base from XML Based on Semantic Views., and . SKG, page 207-210. IEEE Computer Society, (2011)