Georg Weissenbacher

First name

Georg

Last name

Weissenbacher

Vizel, Yakir, Georg Weissenbacher, and Sharad Malik. 2015. “Boolean Satisfiability Solvers and Their Applications in Model Checking”. Proceedings of the IEEE 103 (11). IEEE: 2021–2035.

Reference Link
Zhu, Charlie Shucheng, Georg Weissenbacher, and Sharad Malik. 2014. “Silicon Fault Diagnosis Using Sequence Interpolation With Backbones”. In Proceedings of the 2014 IEEE ACM International Conference on Computer-Aided Design, 348–355. IEEE Press.

Reference Link
Bloem, Roderick, Sharad Malik, Matthias Schlaipfer, and Georg Weissenbacher. 2014. “Reduction of Resolution Refutations and Interpolants via Subsumption.”. In Haifa Verification Conference, 188–203.

Reference Link
Weissenbacher, Georg, Pramod Subramanyan, and Sharad Malik. 2014. “Boolean Satisfiability: Solvers and Extensions.”. Software Systems Safety 36: 223.

Reference Link
Zhu, Charlie Shucheng, Georg Weissenbacher, and Sharad Malik. 2012. “Coverage-Based Trace Signal Selection for Fault Localisation in Post-Silicon Validation”. In Haifa Verification Conference, 132–147. Springer Berlin Heidelberg.

Reference Link
Schwartz-Narbonne, Daniel, Georg Weissenbacher, and Sharad Malik. 2012. “Parallel Assertions for Architectures With Weak Memory Models”. In International Symposium on Automated Technology for Verification and Analysis, 254–268. Springer Berlin Heidelberg.

Reference Link
Weissenbacher, Georg, Daniel Kroening, and Sharad Malik. 2012. “WOLVERINE: Battling Bugs With Interpolants”. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 556–558. Springer Berlin Heidelberg.

Reference Link
Weissenbacher, Georg, and Sharad Malik. 2012. “Boolean Satisfiability Solvers: Techniques and Extensions..”

Reference Link
Malik, Sharad, and Georg Weissenbacher. 2012. “Boolean Satisfiability Solvers: Techniques and Extensions”. Software Safety and Security-Tools for Analysis and Verification, NATO Science for Peace and Security Series.

Reference Link