Concepedia

Daniel Kroening

DK

102

Publications

4.9K

Citations

34

H-Index

2001

Active since

Affiliations

University of Oxford(Current)

Carnegie Mellon University

University of Liverpool

University of California, Berkeley

Daniel Kroening is an author at University of Oxford specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationComputer EngineeringProgram AnalysisSoftware AnalysisAutomated ReasoningSoftware Testing

Publications per year

2001–2023

102

Publications

102

A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability

Xiaowei Huang, Daniel Kroening, Wenjie Ruan et al. · Computer Science Review · 2020 · 480 citations

Ai Reliability, Deep Neural Networks, Engineering +10

A Survey of Automated Techniques for Formal Software Verification

Vijay D’Silva, Daniel Kroening, Georg Weißenbacher · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2008 · 369 citations

Software Maintenance, Program Checking, Engineering +20

Concolic testing for deep neural networks

Youcheng Sun, Min Wu, Wenjie Ruan et al. · 2018 · 325 citations · Full text

Convolutional Neural Network, Engineering, Combines Program Execution +18

Behavioral consistency of C and verilog programs using bounded model checking

Edmund M. Clarke, Daniel Kroening, Karen Yorav · 2003 · 279 citations · Full text

Error explanation with distance metrics

Alex Groce, Sagar Chaki, Daniel Kroening et al. · International Journal on Software Tools for Technology Transfer · 2005 · 190 citations

Engineering, Geometry, Measurement +8

Rows per page

1–5 of 102