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)High Spectral Resolution Raman Measurements Using Light-Emitting Diode as Excitation Based on Weighted Spectral Reconstruction Method., , , , , , , and . IEEE Access, (2019)Managing bioethanol supply chain resiliency: a risk-sharing model to mitigate yield uncertainty risk., , , and . Ind. Manag. Data Syst., 118 (7): 1510-1527 (2018)Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC., , , , , and . J. Inf. Secur. Appl., (2016)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 Survey of Formal Techniques for Hardware/Software Co-verification., , , and . IIAI-AAI, page 125-128. IEEE, (2018)Analysis of Interrupt Behavior Based on Probabilistic Model Checking., , , , , and . IIAI-AAI, page 86-91. IEEE, (2018)