( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ATPG Binning and SAT-Based Approach to Hardware Trojan Detection for Safety-Critical Systems.

, , и . NSS, том 11058 из Lecture Notes in Computer Science, стр. 391-410. Springer, (2018)

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.

Basak Akbel

Onur Basak

Denis Basak

Animesh Yadav

Animesh Das

 

Другие публикации лиц с тем же именем

GreyConE: Greybox Fuzzing + Concolic Execution Guided Test Generation for High Level Designs., , , и . ITC, стр. 494-498. IEEE, (2022)Fortifying RTL Locking Against Oracle-Less (Untrusted Foundry) and Oracle-Guided Attacks., , , , , , и . DAC, стр. 91-96. IEEE, (2021)ALMOST: Adversarial Learning to Mitigate Oracle-less ML Attacks via Synthesis Tuning., , , , , , , и . DAC, стр. 1-6. IEEE, (2023)Fault Coverage of a Test Set on Structure-Preserving Siblings of a Circuit-Under-Test., , , , и . ATS, стр. 25-30. IEEE, (2019)Special Session: Machine Learning for Semiconductor Test and Reliability., , , , , , , , , и . VTS, стр. 1-11. IEEE, (2021)Robust Deep Learning for IC Test Problems., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (1): 183-195 (2022)Towards the Imagenets of ML4EDA., , , , и . CoRR, (2023)Explaining and Interpreting Machine Learning CAD Decisions: An IC Testing Case Study., , , , и . MLCAD, стр. 129-134. ACM, (2020)VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution)., , , , , , , , и . TACAS (2), том 10806 из Lecture Notes in Computer Science, стр. 457-462. Springer, (2018)ATPG Binning and SAT-Based Approach to Hardware Trojan Detection for Safety-Critical Systems., , и . NSS, том 11058 из Lecture Notes in Computer Science, стр. 391-410. Springer, (2018)