×

zbMATH — the first resource for mathematics

Weissenbacher, Georg

Compute Distance To:
Author ID: weissenbacher.georg Recent zbMATH articles by "Weissenbacher, Georg"
Published as: Weissenbacher, Georg
External Links: ORCID
Documents Indexed: 18 Publications since 2010, including 2 Books

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 25 times in 25 Documents Cited by Year
Interpolant strength. Zbl 1273.68225
D’Silva, Vijay; Kroening, Daniel; Purandare, Mitra; Weissenbacher, Georg
16
2010
Advanced SAT techniques for abstract argumentation. Zbl 1401.68312
Wallner, Johannes Peter; Weissenbacher, Georg; Woltran, Stefan
3
2013
Under-approximating loops in C programs for fast counterexample detection. Zbl 1322.68054
Kroening, Daniel; Lewis, Matt; Weissenbacher, Georg
3
2015
Interpolant strength revisited. Zbl 1273.03051
Weissenbacher, Georg
1
2012
Verification and falsification of programs with loops using predicate abstraction. Zbl 1215.68130
Kroening, Daniel; Weissenbacher, Georg
1
2010
Abstraction and mining of traces to explain concurrency bugs. Zbl 1380.68107
Tabaei Befrouei, Mitra; Wang, Chao; Weissenbacher, Georg
1
2016
Abstraction and mining of traces to explain concurrency bugs. Zbl 1380.68107
Tabaei Befrouei, Mitra; Wang, Chao; Weissenbacher, Georg
1
2016
Under-approximating loops in C programs for fast counterexample detection. Zbl 1322.68054
Kroening, Daniel; Lewis, Matt; Weissenbacher, Georg
3
2015
Advanced SAT techniques for abstract argumentation. Zbl 1401.68312
Wallner, Johannes Peter; Weissenbacher, Georg; Woltran, Stefan
3
2013
Interpolant strength revisited. Zbl 1273.03051
Weissenbacher, Georg
1
2012
Interpolant strength. Zbl 1273.68225
D’Silva, Vijay; Kroening, Daniel; Purandare, Mitra; Weissenbacher, Georg
16
2010
Verification and falsification of programs with loops using predicate abstraction. Zbl 1215.68130
Kroening, Daniel; Weissenbacher, Georg
1
2010

Citations by Year