Follow
Georg Weissenbacher
Georg Weissenbacher
Professor of Computer Science, TU Wien
Verified email at tuwien.ac.at - Homepage
Title
Cited by
Cited by
Year
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
6072008
Boolean satisfiability solvers and their applications in model checking
Y Vizel, G Weissenbacher, S Malik
Proceedings of the IEEE 103 (11), 2021-2035, 2015
1542015
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
1532007
Interpolant strength
V D’Silva, D Kroening, M Purandare, G Weissenbacher
Verification, Model Checking, and Abstract Interpretation: 11th …, 2010
1272010
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
952009
Counterexample to induction-guided abstraction-refinement (CTIGAR)
J Birgmeier, AR Bradley, G Weissenbacher
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
722014
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
692011
Interpolation-Based Software Verification with Wolverine
D Kroening, G Weissenbacher
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
662011
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
592015
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
442018
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
442011
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
422019
Lifting propositional interpolants to the word-level
D Kroening, G Weissenbacher
Formal Methods in Computer Aided Design (FMCAD'07), 85-89, 2007
392007
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
372009
Advanced SAT techniques for abstract argumentation
JP Wallner, G Weissenbacher, S Woltran
Computational Logic in Multi-Agent Systems: 14th International Workshop …, 2013
362013
Counterexamples with loops for predicate abstraction
D Kroening, G Weissenbacher
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
312006
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
302016
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
302016
Incremental bounded software model checking
H Günther, G Weissenbacher
Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014
282014
Verification and falsification of programs with loops using predicate abstraction
D Kroening, G Weissenbacher
Formal Aspects of Computing 22 (2), 105-128, 2010
232010
The system can't perform the operation now. Try again later.
Articles 1–20