Seguir
Daniel Kroening
Daniel Kroening
Dirección de correo verificada de amazon.com - Página principal
Título
Citado por
Citado por
Año
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
20062004
Decision procedures
D Kroening, O Strichman
Springer, 2008
876*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
648*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
6322008
CBMC–C Bounded Model Checker: (Competition Contribution)
D Kroening, M Tautschnig
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
5252014
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
4352003
Testing deep neural networks
Y Sun, X Huang, D Kroening, J Sharp, M Hill, R Ashmore
arXiv preprint arXiv:1803.04792, 2018
4052018
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
4032005
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
3642018
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
2842004
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
2362006
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
2212013
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
2042007
Completeness and complexity of bounded model checking
E Clarke, D Kroening, J Ouaknine, O Strichman
International Workshop on Verification, Model Checking, and Abstract …, 2004
1952004
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
1572011
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
1552019
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
Dynamic cutoff detection in parameterized concurrent programs
A Kaiser, D Kroening, T Wahl
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
1522010
Formal verification of SystemC by automatic hardware/software partitioning
D Kroening, N Sharygina
Proceedings. Second ACM and IEEE International Conference on Formal Methods …, 2005
1512005
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20