Daniel Kroening
Amazon (Germany)(DE)
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Software Reliability and Analysis Research, Logic, programming, and type systems, Embedded Systems Design Techniques
Most-Cited Works
- → A Tool for Checking ANSI-C Programs(2004)1,368 cited
- → A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability(2020)486 cited
- → A Survey of Automated Techniques for Formal Software Verification(2008)369 cited
- → Concolic testing for deep neural networks(2018)327 cited
- → CBMC – C Bounded Model Checker(2014)303 cited
- → Decision Procedures: An Algorithmic Point of View(2008)293 cited
- → Behavioral consistency of C and verilog programs using bounded model checking(2003)279 cited
- → SATABS: SAT-Based Predicate Abstraction for ANSI-C(2005)276 cited
- → Error explanation with distance metrics(2005)190 cited
- → Predicate Abstraction of ANSI-C Programs Using SAT(2004)185 cited