Author of the publication

KLEEF: Symbolic Execution Engine (Competition Contribution).

, , , , , , and . FASE, volume 14573 of Lecture Notes in Computer Science, page 314-319. Springer, (2024)

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

CT-Based COVID-19 triage: Deep multitask learning improves joint identification and severity quantification., , , , , , , , , and 1 other author(s). Medical Image Anal., (2021)Interpretable Vertebral Fracture Quantification via Anchor-Free Landmarks Localization., , , , , , and . CoRR, (2022)A Comparative Analysis of Delay Based PUF Implementations on FPGA., , and . IACR Cryptol. ePrint Arch., (2009)Interpretable vertebral fracture quantification via anchor-free landmarks localization., , , , , , and . Medical Image Anal., (2023)UnitTestBot: Automated Unit Test Generation for C Code in Integrated Development Environments., , , , , , , , , and 7 other author(s). ICSE Companion, page 380-384. IEEE, (2023)System integration of Elliptic Curve Cryptography on an OMAP platform., , and . SASP, page 52-57. IEEE Computer Society, (2011)Accelerating 3D Medical Image Segmentation by Adaptive Small-Scale Target Localization., , , , , , , , and . J. Imaging, 7 (2): 35 (2021)Management of Complex Product Data Using Incremental Semantic Validation., , , and . TE, volume 7 of Advances in Transdisciplinary Engineering, page 956-965. IOS Press, (2018)Keypoints Localization for Joint Vertebra Detection and Fracture Severity Quantification., , , , , , and . MICCAI (6), volume 12266 of Lecture Notes in Computer Science, page 723-732. Springer, (2020)Changes in software as a medical device based on artificial intelligence technologies., , , , , , and . Int. J. Comput. Assist. Radiol. Surg., 17 (10): 1969-1977 (2022)