Author of the publication

Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective.

, , , , , , and . CoRR, (2022)

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

Modular Labelled Sequent Calculi for Abstract Separation Logics., , , and . CoRR, (2017)On embedding a hardware description language in Isabelle/HOL., , , and . Des. Autom. Embed. Syst., 23 (3-4): 123-151 (2019)N-PAT: A Nested Model-Checker - (System Description)., , , , , , and . IJCAR (2), volume 12167 of Lecture Notes in Computer Science, page 369-377. Springer, (2020)Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol., , , and . ICFEM, volume 14308 of Lecture Notes in Computer Science, page 249-254. Springer, (2023)A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Quantum Teleportation., , , , , and . CoRR, (2023)Geometric Theory for Program Testing., , , and . CoRR, (2022)An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model., , , , , and . J. Autom. Reason., 65 (4): 569-598 (2021)Sports Analytics Using Probabilistic Model Checking and Deep Learning., , , , , , , and . ICECCS, page 7-11. IEEE, (2023)The Burn-to-Claim cross-blockchain asset transfer protocol., , , and . ICECCS, page 119-124. IEEE, (2020)A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation., , , , , and . TACAS (2), volume 14571 of Lecture Notes in Computer Science, page 363-382. Springer, (2024)