A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability
2020 · Computer Science Review · 487 citations
https://doi.org/10.1016/j.cosrev.2020.100270
D
Daniel Kroening
Amazon (Germany)(DE)
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
438
Papers
11.2K
Citations
49
h-index
188
i10-index
Daniel Kroening is an academic researcher from Amazon (Germany). The author has contributed to research in topics: Formal Methods in Verification & Software Testing and Debugging Techniques & Software Reliability and Analysis Research. The author has an h-index of 49, co-authored 373 publications.
ORCID: 0000-0002-6681-5283Papers by this author
worksComponent-based design and verification in X-MAN
2012 · 29 citations
Model Checking Boot Code from AWS Data Centers
2018 · Lecture notes in computer science · 24 citations
https://doi.org/10.1007/978-3-319-96142-2_28
JBMC: Bounded Model Checking for Java Bytecode
2019 · Lecture notes in computer science · 21 citations
https://doi.org/10.1007/978-3-030-17502-3_17
Formal Verification of a Basic Circuits Library
2001 · 17 citations
Model checking boot code from AWS data centers
2020 · Formal Methods in System Design · 8 citations
https://doi.org/10.1007/s10703-020-00344-2
Research topics
topicsChat about Author
Papers
Chat
Click to start Chat