Daniel Kroening
Daniel Kroening
Professor of Computer Science, University of Oxford
Verified email at cs.ox.ac.uk - Homepage
Title
Cited by
Cited by
Year
Model checking
EM Clarke Jr, O Grumberg, D Kroening, D Peled, H Veith
MIT press, 2018
136652018
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
14782004
Decision procedures
D Kroening, O Strichman
Springer, 2008
579*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
4132008
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
3602005
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
3592003
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
2522004
CBMC–C bounded model checker
D Kroening, M Tautschnig
International Conference on Tools and Algorithms for the Construction and …, 2014
2232014
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
1812006
Efficient computation of recurrence diameters
D Kroening, O Strichman
International Workshop on Verification, Model Checking, and Abstract …, 2003
1632003
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
1592007
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
1562013
Completeness and complexity of bounded model checking
E Clarke, D Kroening, J Ouaknine, O Strichman
International Workshop on Verification, Model Checking, and Abstract …, 2004
1522004
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
1352007
Formal verification of SystemC by automatic hardware/software partitioning
D Kroening, N Sharygina
Proceedings. Second ACM and IEEE International Conference on Formal Methods …, 2005
1262005
Putting it all together–Formal verification of the VAMP
S Beyer, C Jacobi, D Kröning, D Leinenbach, WJ Paul
International Journal on Software Tools for Technology Transfer 8 (4-5), 411-430, 2006
1192006
Hardware verification using ANSI-C programs as a reference
E Clarke, D Kroening
Design Automation Conference, 2003. Proceedings of the ASP-DAC 2003. Asia …, 2003
1182003
Interpolant strength
V D’Silva, D Kroening, M Purandare, G Weissenbacher
International Workshop on Verification, Model Checking, and Abstract …, 2010
1152010
Software verification for weak memory via program transformation
J Alglave, D Kroening, V Nimal, M Tautschnig
European Symposium on Programming, 512-532, 2013
1132013
Dynamic cutoff detection in parameterized concurrent programs
A Kaiser, D Kroening, T Wahl
International Conference on Computer Aided Verification, 645-659, 2010
1082010
The system can't perform the operation now. Try again later.
Articles 1–20