Daniel Kroening
Author
Alternate names K. Manish Daniel, Daniel Kroening, Danie Kroening, Kroening Daniel, D. Kroening
Institution Amazon (United States)
Past institutions Amazon (United States), Amazon (Germany), Amazon (United Kingdom), SRM Institute of Science and Technology, Northeast Catholic College +5 more
ORCID: Yes
H-index: 48
I10-index: 200
Works count: 454
Citations count: 11,200
A Tool for Checking ANSI-C Programs
2004 · Edmund M. Clarke, Daniel Kroening, et al. · Lecture notes in computer science
A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability
2020 · Xiaowei Huang, Daniel Kroening, et al. · Computer Science Review
A Survey of Automated Techniques for Formal Software Verification
2008 · Vijay D’Silva, Daniel Kroening, et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems