Georg Weißenbacher

A Survey of Automated Techniques for Formal Software Verification

Vijay D’Silva, Daniel Kroening, Georg Weißenbacher · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2008 · 369 citations

Software Maintenance, Program Checking, Engineering +20

Boolean Satisfiability Solvers and Their Applications in Model Checking

Yakir Vizel, Georg Weißenbacher, Sharad Malik · Proceedings of the IEEE · 2015 · 113 citations

Logic Synthesis, Bounded Model Checking, Engineering +15

Model checking concurrent linux device drivers

Thomas Witkowski, Nicolas Blanc, Daniel Kroening et al. · 2007 · 109 citations

Engineering, Hardware Verification Language, Predicate Abstraction Enables +19

Post-silicon fault localisation using maximum satisfiability and backbones

Charlie Shucheng Zhu, Georg Weißenbacher, Sharad Malik · Formal Methods in Computer-Aided Design · 2011 · 49 citations

Engineering, Hardware Verification Language, Trace Buffers +22

Randomized testing of distributed systems with probabilistic guarantees

Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic et al. · Proceedings of the ACM on Programming Languages · 2018 · 33 citations · Full text

Engineering, Distributed Algorithms, Verification +26