Author of the publication

An analytical model for source code distributability verification.

, , , and . J. Zhejiang Univ. Sci. C, 15 (2): 126-138 (2014)

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

Information leakage of multi-threaded programs., , and . Comput. Electr. Eng., (2019)Tiling and Scheduling of Three-level Perfectly Nested Loops with Dependencies on Heterogeneous Systems., , , and . Scalable Comput. Pract. Exp., 17 (4): 331-350 (2016)Channel Capacity of Concurrent Probabilistic Programs., , , and . Entropy, 21 (9): 885 (2019)Specifying a New Requirement Model for Secure Adaptive Systems., , and . Comput. J., 63 (8): 1148-1167 (2020)A Deep Fake Detection System Using Diffusion Model Based on Graph Based Image Segmentation., , and . MLIS, volume 374 of Frontiers in Artificial Intelligence and Applications, page 138-144. IOS Press, (2023)A New Method for Describing the Syntax and Semantics of VIEWCHARTS., , and . ISPA Workshops, volume 4743 of Lecture Notes in Computer Science, page 345-354. Springer, (2007)A New Formalism for Describing Concurrent Systems., , and . ISPA Workshops, volume 4743 of Lecture Notes in Computer Science, page 355-364. Springer, (2007)Improved Iterative Methods for Verifying Markov Decision Processes., , , and . FSEN, volume 9392 of Lecture Notes in Computer Science, page 207-214. Springer, (2015)Common lecturers timetabling among departments based on funnel-shape clustering algorithm., , and . Appl. Intell., 46 (2): 386-408 (2017)A survey of approaches for university course timetabling problem., , and . Comput. Ind. Eng., (2015)