Georg Weissenbacher
Georg Weissenbacher
Associate Professor, TU Wien
Bestätigte E-Mail-Adresse bei tuwien.ac.at - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
4432008
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
1392007
Interpolant strength
V D’Silva, D Kroening, M Purandare, G Weissenbacher
International Workshop on Verification, Model Checking, and Abstract …, 2010
1202010
Boolean satisfiability solvers and their applications in model checking
Y Vizel, G Weissenbacher, S Malik
Proceedings of the IEEE 103 (11), 2021-2035, 2015
762015
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
752009
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
612011
Interpolation-Based Software Verification with Wolverine
D Kroening, G Weissenbacher
International Conference on Computer Aided Verification, 573-578, 2011
552011
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
462015
Counterexample to induction-guided abstraction-refinement (CTIGAR)
J Birgmeier, AR Bradley, G Weissenbacher
International Conference on Computer Aided Verification, 831-848, 2014
462014
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
362011
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
352009
Lifting propositional interpolants to the word-level
D Kroening, G Weissenbacher
Formal Methods in Computer Aided Design (FMCAD'07), 85-89, 2007
352007
Advanced SAT techniques for abstract argumentation
JP Wallner, G Weissenbacher, S Woltran
International Workshop on Computational Logic in Multi-Agent Systems, 138-154, 2013
312013
Counterexamples with loops for predicate abstraction
D Kroening, G Weissenbacher
International Conference on Computer Aided Verification, 152-165, 2006
312006
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
232016
Incremental bounded software model checking
H Günther, G Weissenbacher
Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014
232014
Abstraction and mining of traces to explain concurrency bugs
MT Befrouei, C Wang, G Weissenbacher
Formal Methods in System Design 49 (1-2), 1-32, 2016
212016
SAT-based summarization for Boolean programs
G Basler, D Kroening, G Weissenbacher
International SPIN Workshop on Model Checking of Software, 131-148, 2007
192007
Verification and falsification of programs with loops using predicate abstraction
D Kroening, G Weissenbacher
Formal Aspects of Computing 22 (2), 105-128, 2010
162010
Digitaltechnik-eine praxisnahe Einführung
A Biere, D Kroening, G Weissenbacher, CM Wintersteiger
Springer-Verlag, 2008
162008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20