Author of the publication

Verifying RISC-V Privilege Transition Integrity Through Symbolic Execution.

, , , , , and . ATS, page 1-6. IEEE, (2023)

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

Extracting fuzzy rules based on fusion of soft computing in oil exploration management., , , , and . Expert Syst. Appl., 36 (2): 2081-2087 (2009)Research on Association Rules Mining AlgorithmWith Item Constraints., , , and . CW, page 325-329. IEEE Computer Society, (2005)Cooperative Navigation and Positioning for Multi-AUVs Considering the Effect of Ocean Current., , , and . FSDM, volume 320 of Frontiers in Artificial Intelligence and Applications, page 805-813. IOS Press, (2019)Recovering Turbulence Details using Velocity Correction for SPH Fluids., , , , , and . SIGGRAPH Asia Technical Briefs, page 95-98. ACM, (2019)基于惯性导航的平面航迹推算的研究 (Research on Plane Dead Reckoning Based on Inertial Navigation System)., , and . 计算机科学, 44 (Z6): 582-586 (2017)Event-triggered Secure Estimation for Large-scale Interconnected Systems Based on Intermediate Estimator., , and . ICCA, page 1326-1331. IEEE, (2019)An Improved Onset Time Picking Method for Low SNR Acoustic Emission Signals., , , , , , and . IEEE Access, (2020)A Hybrid Analytical, Solid Modeler and Feature-Based Methodology for Extracting Tool-Workpiece Engagements in Turning., , and . J. Comput. Inf. Sci. Eng., 7 (3): 192-202 (2007)A Novel Contrastive Self-Supervised Learning Framework for Solving Data Imbalance in Solder Joint Defect Detection., , , , and . Entropy, 25 (2): 268 (February 2023)A modified variable neighborhood search algorithm for manufacturer selection and order acceptance in distributed virtual manufacturing network., , , , and . Optim. Lett., 16 (1): 117-135 (2022)