| 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 | 620 | 2008 |
| Boolean satisfiability solvers and their applications in model checking Y Vizel, G Weissenbacher, S Malik Proceedings of the IEEE 103 (11), 2021-2035, 2015 | 170 | 2015 |
| Model checking concurrent Linux device drivers T Witkowski, N Blanc, D Kroening, G Weissenbacher Proceedings of the 22nd IEEE/ACM International Conference on Automated …, 2007 | 155 | 2007 |
| Interpolant strength V D’Silva, D Kroening, M Purandare, G Weissenbacher Verification, Model Checking, and Abstract Interpretation: 11th …, 2010 | 129 | 2010 |
| Mutation-based test case generation for simulink models A Brillout, N He, M Mazzucchi, D Kroening, M Purandare, P Rümmer, ... International Symposium on Formal Methods for Components and Objects, 208-227, 2009 | 95 | 2009 |
| Counterexample to induction-guided abstraction-refinement (CTIGAR) J Birgmeier, AR Bradley, G Weissenbacher Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 76 | 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 | 71 | 2011 |
| Interpolation-Based Software Verification with Wolverine D Kroening, G Weissenbacher Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 66 | 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 | 61 | 2015 |
| 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 | 51 | 2018 |
| 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 | 45 | 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 | 44 | 2019 |
| Advanced SAT techniques for abstract argumentation JP Wallner, G Weissenbacher, S Woltran Computational Logic in Multi-Agent Systems: 14th International Workshop …, 2013 | 40 | 2013 |
| Lifting propositional interpolants to the word-level D Kroening, G Weissenbacher Formal Methods in Computer Aided Design (FMCAD'07), 85-89, 2007 | 39 | 2007 |
| 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 | 37 | 2009 |
| Counterexamples with loops for predicate abstraction D Kroening, G Weissenbacher Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 31 | 2006 |
| Vienna Verification Tool: IC3 for Parallel Software: (Competition Contribution) H Günther, A Laarman, G Weissenbacher International Conference on Tools and Algorithms for the Construction and …, 2016 | 30 | 2016 |
| 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 | 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 |
| Model-based diagnosis with multiple observations A Ignatiev, A Morgado, G Weissenbacher, J Marques-Silva International Joint Conference on Artificial Intelligence 2019, 1108-1115, 2019 | 28 | 2019 |
Daniel KroeningAmazonVerified email at amazon.com
