| 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 | 1925 | 2004 |
| Decision procedures D Kroening, O Strichman Springer, 2008 | 831* | 2008 |
| 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 | 606 | 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 | 486 | 2020 |
| CBMC–C Bounded Model Checker: (Competition Contribution) D Kroening, M Tautschnig Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014 | 480 | 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 | 425 | 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 | 398 | 2005 |
| Testing deep neural networks Y Sun, X Huang, D Kroening, J Sharp, M Hill, R Ashmore arXiv preprint arXiv:1803.04792, 2018 | 361 | 2018 |
| 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 | 338 | 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 | 276 | 2004 |
| Error explanation with distance metrics A Groce, S Chaki, D Kroening, O Strichman International Journal on Software Tools for Technology Transfer 8, 229-247, 2006 | 226 | 2006 |
| Partial orders for efficient bounded model checking of concurrent software J Alglave, D Kroening, M Tautschnig Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 214 | 2013 |
| Deciding bit-vector arithmetic with abstraction RE Bryant, D Kroening, J Ouaknine, SA Seshia, O Strichman, B Brady Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007 | 197 | 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 | 188 | 2004 |
| Efficient computation of recurrence diameters D Kroening, O Strichman International Workshop on Verification, Model Checking, and Abstract …, 2002 | 187 | 2002 |
| Model checking concurrent Linux device drivers T Witkowski, N Blanc, D Kroening, G Weissenbacher Proceedings of the twenty-second IEEE/ACM international conference on …, 2007 | 153 | 2007 |
| Formal verification of SystemC by automatic hardware/software partitioning D Kroening, N Sharygina Proceedings. Second ACM and IEEE International Conference on Formal Methods …, 2005 | 149 | 2005 |
| Software Verification Using k-Induction AF Donaldson, L Haller, D Kroening, P Rümmer Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011 | 147 | 2011 |
| Software verification for weak memory via program transformation J Alglave, D Kroening, V Nimal, M Tautschnig European Symposium on Programming, 512-532, 2013 | 144 | 2013 |
| Dynamic cutoff detection in parameterized concurrent programs A Kaiser, D Kroening, T Wahl Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 144 | 2010 |
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon University在 cs.cmu.edu 的电子邮件经过验证
