| 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 | 560 | 2008 |
| 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 | 149 | 2007 |
| Interpolant strength V D’Silva, D Kroening, M Purandare, G Weissenbacher VMCAI 10, 129-145, 2010 | 130 | 2010 |
| Boolean satisfiability solvers and their applications in model checking Y Vizel, G Weissenbacher, S Malik Proceedings of the IEEE 103 (11), 2021-2035, 2015 | 125 | 2015 |
| Mutation-based test case generation for simulink models A Brillout, N He, M Mazzucchi, D Kroening, M Purandare, P Rümmer, ... Formal Methods for Components and Objects: 8th International Symposium, FMCO …, 2010 | 92 | 2010 |
| Counterexample to induction-guided abstraction-refinement (CTIGAR) J Birgmeier, AR Bradley, G Weissenbacher Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 69 | 2014 |
| Post-silicon fault localisation using maximum satisfiability and backbones CS Zhu, G Weissenbacher, S Malik 2011 Formal Methods in Computer-Aided Design (FMCAD), 63-66, 2011 | 67 | 2011 |
| Interpolation-Based Software Verification with Wolverine D Kroening, G Weissenbacher Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 63 | 2011 |
| Under-approximating loops in C programs for fast counterexample detection D Kroening, M Lewis, G Weissenbacher Formal methods in system design 47, 75-92, 2015 | 53 | 2015 |
| SAT-based techniques for determining backbones for post-silicon fault localisation CS Zhu, G Weissenbacher, D Sethi, S Malik 2011 IEEE International High Level Design Validation and Test Workshop, 84-91, 2011 | 40 | 2011 |
| Model-based, mutation-driven test-case generation via heuristic-guided branching search A Fellner, W Krenn, R Schlick, T Tarrach, G Weissenbacher ACM Transactions on Embedded Computing Systems (TECS) 18 (1), 1-28, 2019 | 38 | 2019 |
| A proposal for a theory of finite sets, lists, and maps for the SMT-LIB standard D Kröning, P Rümmer, G Weissenbacher Informal proceedings, 7th international workshop on satisfiability modulo …, 2009 | 38 | 2009 |
| Randomized testing of distributed systems with probabilistic guarantees BK Ozkan, R Majumdar, F Niksic, MT Befrouei, G Weissenbacher Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-28, 2018 | 36 | 2018 |
| Advanced SAT techniques for abstract argumentation JP Wallner, G Weissenbacher, S Woltran Computational Logic in Multi-Agent Systems: 14th International Workshop …, 2013 | 36 | 2013 |
| Lifting propositional interpolants to the word-level D Kroening, G Weissenbacher Formal Methods in Computer Aided Design (FMCAD'07), 85-89, 2007 | 36 | 2007 |
| Counterexamples with loops for predicate abstraction D Kroening, G Weissenbacher Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 32 | 2006 |
| Abstraction and mining of traces to explain concurrency bugs M Tabaei Befrouei, C Wang, G Weissenbacher Formal Methods in System Design 49, 1-32, 2016 | 30 | 2016 |
| Vienna Verification Tool: IC3 for Parallel Software: (Competition Contribution) H Günther, A Laarman, G Weissenbacher Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 29 | 2016 |
| Incremental bounded software model checking H Günther, G Weissenbacher Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014 | 29 | 2014 |
| SAT-based summarization for boolean programs G Basler, D Kroening, G Weissenbacher Model Checking Software: 14th International SPIN Workshop, Berlin, Germany …, 2007 | 22 | 2007 |
Daniel KroeningAmazonVerified email at amazon.com
