Author of the publication

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

Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration., , , , and . TASE, page 113-120. IEEE, (2019)A Real-Time Fault Location Mechanism Combining CGP Code and Deep Learning., , , , , and . DSA, page 311-316. IEEE, (2019)Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs., , , , , and . DSA, page 25-36. IEEE, (2019)ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC., , , , , , , and . ICA, page 154-157. IEEE, (2016)Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking., , , , and . ICPADS, page 844-851. IEEE, (2019)Accelerating Software Model Checking Based on Program Backbone., , , , , and . APPT, volume 8299 of Lecture Notes in Computer Science, page 347-358. Springer, (2013)D2D communication mode selection and resource allocation in 5G wireless networks., and . Comput. Commun., (2020)Software Reliability Test Based on Markov Usage Model., , , , and . J. Softw., 7 (9): 2061-2068 (2012)Parallel Computing Method for HRV Time-Domain Based on GPU., , and . ICA3PP (2), volume 9529 of Lecture Notes in Computer Science, page 434-443. Springer, (2015)From Local to Global Semantic Clone Detection., , , , , and . DSA, page 13-24. IEEE, (2019)