From post

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.

 

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

DeepFault: Fault Localization for Deep Neural Networks., , и . FASE, том 11424 из Lecture Notes in Computer Science, стр. 171-191. Springer, (2019)Temporal logic motion planning using POMDPs with parity objectives: case study paper., , , , , , и . HSCC, стр. 233-238. ACM, (2015)DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning., , и . AISafety@IJCAI, том 2640 из CEUR Workshop Proceedings, CEUR-WS.org, (2020)Testing service oriented architectures using stateful service visualization via machine learning., и . AST@ICSE, стр. 9-15. ACM, (2018)Automatically Testing Functional Properties of Code Translation Models., , и . AAAI, стр. 21055-21062. AAAI Press, (2024)Phish-Hook: Detecting Phishing Certificates Using Certificate Transparency Logs., , и . SecureComm (2), том 305 из Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, стр. 320-334. Springer, (2019)Automated Safety Verification of Programs Invoking Neural Networks., , , , , , , и . CAV (1), том 12759 из Lecture Notes in Computer Science, стр. 201-224. Springer, (2021)Towards Translating Real-World Code with LLMs: A Study of Translating to Rust., , , , , , , и . CoRR, (2024)Fancymock: creating virtual services from transactions., , и . SAC, стр. 1576-1578. ACM, (2018)RAID: Randomized Adversarial-Input Detection for Neural Networks., , и . CoRR, (2020)