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

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)A Novel Color Image Watermarking Method Based on Genetic Algorithm and Neural Networks., , , , and . ICONIP (3), volume 4234 of Lecture Notes in Computer Science, page 225-233. Springer, (2006)A Novel Color Image Watermarking Method Based on Genetic Algorithm and Hybrid Neural Networks., , , , and . RSCTC, volume 4259 of Lecture Notes in Computer Science, page 806-814. Springer, (2006)Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets., , , , and . APPT, volume 8299 of Lecture Notes in Computer Science, page 62-76. Springer, (2013)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)