Georg Weissenbacher
Georg Weissenbacher
Professor of Computer Science, TU Wien
Bestätigte E-Mail-Adresse bei - Startseite
Zitiert von
Zitiert von
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
Model checking concurrent Linux device drivers
T Witkowski, N Blanc, D Kroening, G Weissenbacher
Proceedings of the twenty-second IEEE/ACM international conference on …, 2007
Interpolant strength
V D’Silva, D Kroening, M Purandare, G Weissenbacher
International Workshop on Verification, Model Checking, and Abstract …, 2010
Boolean satisfiability solvers and their applications in model checking
Y Vizel, G Weissenbacher, S Malik
Proceedings of the IEEE 103 (11), 2021-2035, 2015
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
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
Counterexample to induction-guided abstraction-refinement (CTIGAR)
J Birgmeier, AR Bradley, G Weissenbacher
International Conference on Computer Aided Verification, 831-848, 2014
Interpolation-Based Software Verification with Wolverine
D Kroening, G Weissenbacher
International Conference on Computer Aided Verification, 573-578, 2011
Under-approximating loops in C programs for fast counterexample detection
D Kroening, M Lewis, G Weissenbacher
Formal methods in system design 47 (1), 75-92, 2015
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
Advanced SAT techniques for abstract argumentation
JP Wallner, G Weissenbacher, S Woltran
International Workshop on Computational Logic in Multi-Agent Systems, 138-154, 2013
Lifting propositional interpolants to the word-level
D Kroening, G Weissenbacher
Formal Methods in Computer Aided Design (FMCAD'07), 85-89, 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
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
Counterexamples with loops for predicate abstraction
D Kroening, G Weissenbacher
International Conference on Computer Aided Verification, 152-165, 2006
Incremental bounded software model checking
H Günther, G Weissenbacher
Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014
Abstraction and mining of traces to explain concurrency bugs
M Tabaei Befrouei, C Wang, G Weissenbacher
Formal Methods in System Design 49 (1), 1-32, 2016
Vienna verification tool: IC3 for parallel software
H Günther, A Laarman, G Weissenbacher
International Conference on Tools and Algorithms for the Construction and …, 2016
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
Verification and falsification of programs with loops using predicate abstraction
D Kroening, G Weissenbacher
Formal Aspects of Computing 22 (2), 105-128, 2010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20