Author of the publication

Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration.

, , , , and . TASE, page 113-120. IEEE, (2019)

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

Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs., , , , , and . DSA, page 25-36. IEEE, (2019)Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration., , , , and . TASE, page 113-120. IEEE, (2019)ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC., , , , , , , and . ICA, page 154-157. IEEE, (2016)A Dual Relaxation Method for Neural Network Verification., , , , and . Int. J. Softw. Eng. Knowl. Eng., 34 (8): 1199-1220 (August 2024)Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking., , , , and . ICPADS, page 844-851. IEEE, (2019)A Real-Time Fault Location Mechanism Combining CGP Code and Deep Learning., , , , , and . DSA, page 311-316. IEEE, (2019)Compromising Ad-Hoc Networks by Attacking Weakly Connected Dominating Set., , , , and . IMIS, page 213-220. IEEE Computer Society, (2015)A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features., , , , , , and . TASE, page 193-200. IEEE, (2020)Analysis of Interrupt Behavior Based on Probabilistic Model Checking., , , , , and . IIAI-AAI, page 86-91. IEEE, (2018)A Survey of Formal Techniques for Hardware/Software Co-verification., , , and . IIAI-AAI, page 125-128. IEEE, (2018)