| A tool for checking ANSI-C programs E Clarke, D Kroening, F Lerda Tools and Algorithms for the Construction and Analysis of Systems, 168-176, 2004 | 2084 | 2004 |
| Decision procedures D Kroening, O Strichman Springer, 2008 | 980* | 2008 |
| A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability X Huang, D Kroening, W Ruan, J Sharp, Y Sun, E Thamo, M Wu, X Yi Computer Science Review 37, 100270, 2020 | 799* | 2020 |
| A survey of automated techniques for formal software verification V D'silva, D Kroening, G Weissenbacher IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2008 | 672 | 2008 |
| CBMC–C Bounded Model Checker: (Competition Contribution) D Kroening, M Tautschnig International Conference on Tools and Algorithms for the Construction and …, 2014 | 598 | 2014 |
| Behavioral consistency of C and Verilog programs using bounded model checking E Clarke, D Kroening, K Yorav Design Automation Conference, 2003. Proceedings, 368-371, 2003 | 445 | 2003 |
| SATABS: SAT-based predicate abstraction for ANSI-C E Clarke, D Kroening, N Sharygina, K Yorav International Conference on Tools and Algorithms for the Construction and …, 2005 | 414 | 2005 |
| Concolic testing for deep neural networks Y Sun, M Wu, W Ruan, X Huang, M Kwiatkowska, D Kroening Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 382 | 2018 |
| Testing deep neural networks Y Sun, X Huang, D Kroening, J Sharp, M Hill, R Ashmore arXiv preprint arXiv:1803.04792, 2018 | 351 | 2018 |
| Predicate abstraction of ANSI-C programs using SAT E Clarke, D Kroening, N Sharygina, K Yorav Formal Methods in System Design 25 (2), 105-127, 2004 | 280 | 2004 |
| Error explanation with distance metrics A Groce, S Chaki, D Kroening, O Strichman International Journal on Software Tools for Technology Transfer 8 (3), 229-247, 2006 | 247 | 2006 |
| Partial orders for efficient bounded model checking of concurrent software J Alglave, D Kroening, M Tautschnig International Conference on Computer Aided Verification, 141-157, 2013 | 227 | 2013 |
| Deciding bit-vector arithmetic with abstraction RE Bryant, D Kroening, J Ouaknine, SA Seshia, O Strichman, B Brady International Conference on Tools and Algorithms for the Construction and …, 2007 | 206 | 2007 |
| Completeness and complexity of bounded model checking E Clarke, D Kroening, J Ouaknine, O Strichman International Workshop on Verification, Model Checking, and Abstract …, 2004 | 200 | 2004 |
| Efficient computation of recurrence diameters D Kroening, O Strichman International Workshop on Verification, Model Checking, and Abstract …, 2002 | 198 | 2002 |
| Reinforcement learning for temporal logic control synthesis with probabilistic satisfaction guarantees M Hasanbeig, Y Kantaros, A Abate, D Kroening, GJ Pappas, I Lee 2019 IEEE 58th conference on decision and control (CDC), 5338-5343, 2019 | 184 | 2019 |
| Software Verification Using k-Induction AF Donaldson, L Haller, D Kroening, P Rümmer International Static Analysis Symposium, 351-368, 2011 | 172 | 2011 |
| Dynamic cutoff detection in parameterized concurrent programs A Kaiser, D Kroening, T Wahl International Conference on Computer Aided Verification, 645-659, 2010 | 163 | 2010 |
| Structural test coverage criteria for deep neural networks Y Sun, X Huang, D Kroening, J Sharp, M Hill, R Ashmore ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-23, 2019 | 162 | 2019 |
| Global robustness evaluation of deep neural networks with provable guarantees for the hamming distance W Ruan, M Wu, Y Sun, X Huang, D Kroening, M Kwiatkowska IJCAI-19, 2019 | 161* | 2019 |
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
