Παρακολούθηση
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
19932004
Decision procedures
D Kroening, O Strichman
Springer, 2008
861*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
6292008
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
623*2020
CBMC–C Bounded Model Checker: (Competition Contribution)
D Kroening, M Tautschnig
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
5092014
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
4332003
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
3942018
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
3612018
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
2312006
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
2202013
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
2022007
Completeness and complexity of bounded model checking
E Clarke, D Kroening, J Ouaknine, O Strichman
International Workshop on Verification, Model Checking, and Abstract …, 2004
1942004
Efficient computation of recurrence diameters
D Kroening, O Strichman
International Workshop on Verification, Model Checking, and Abstract …, 2002
1902002
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
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
1512019
Dynamic cutoff detection in parameterized concurrent programs
A Kaiser, D Kroening, T Wahl
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
1512010
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20