עקוב אחר
Daniel Kroening
Daniel Kroening
Amazon
כתובת אימייל מאומתת בדומיין amazon.com - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
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‏
19692004
Decision procedures‏
D Kroening, O Strichman‏
Springer, 2008‏
846*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‏
6192008
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‏
5272020
CBMC–C Bounded Model Checker: (Competition Contribution)‏
D Kroening, M Tautschnig‏
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014‏
4942014
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‏
4292003
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‏
4022005
Testing deep neural networks‏
Y Sun, X Huang, D Kroening, J Sharp, M Hill, R Ashmore‏
arXiv preprint arXiv:1803.04792, 2018‏
3792018
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‏
3562018
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‏
2822004
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‏
2302006
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‏
2162013
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‏
1992007
Completeness and complexity of bounded model checking‏
E Clarke, D Kroening, J Ouaknine, O Strichman‏
International Workshop on Verification, Model Checking, and Abstract …, 2004‏
1912004
Efficient computation of recurrence diameters‏
D Kroening, O Strichman‏
International Workshop on Verification, Model Checking, and Abstract …, 2002‏
1892002
Software Verification Using k-Induction‏
AF Donaldson, L Haller, D Kroening, P Rümmer‏
Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011‏
1552011
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‏
1552007
Formal verification of SystemC by automatic hardware/software partitioning‏
D Kroening, N Sharygina‏
Proceedings. Second ACM and IEEE International Conference on Formal Methods …, 2005‏
1522005
Dynamic cutoff detection in parameterized concurrent programs‏
A Kaiser, D Kroening, T Wahl‏
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010‏
1492010
Software verification for weak memory via program transformation‏
J Alglave, D Kroening, V Nimal, M Tautschnig‏
European Symposium on Programming, 512-532, 2013‏
1472013
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20