Volgen
Georg Weissenbacher
Georg Weissenbacher
Professor of Computer Science, TU Wien
Geverifieerd e-mailadres voor tuwien.ac.at - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
5622008
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
1492007
Interpolant strength
V D’Silva, D Kroening, M Purandare, G Weissenbacher
VMCAI 10, 129-145, 2010
1302010
Boolean satisfiability solvers and their applications in model checking
Y Vizel, G Weissenbacher, S Malik
Proceedings of the IEEE 103 (11), 2021-2035, 2015
1252015
Mutation-based test case generation for simulink models
A Brillout, N He, M Mazzucchi, D Kroening, M Purandare, P Rümmer, ...
Formal Methods for Components and Objects: 8th International Symposium, FMCO …, 2010
922010
Counterexample to induction-guided abstraction-refinement (CTIGAR)
J Birgmeier, AR Bradley, G Weissenbacher
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
692014
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
672011
Interpolation-Based Software Verification with Wolverine
D Kroening, G Weissenbacher
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
632011
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
532015
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
402011
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
382019
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
382018
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
382009
Advanced SAT techniques for abstract argumentation
JP Wallner, G Weissenbacher, S Woltran
Computational Logic in Multi-Agent Systems: 14th International Workshop …, 2013
362013
Lifting propositional interpolants to the word-level
D Kroening, G Weissenbacher
Formal Methods in Computer Aided Design (FMCAD'07), 85-89, 2007
362007
Counterexamples with loops for predicate abstraction
D Kroening, G Weissenbacher
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
322006
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
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
292016
Incremental bounded software model checking
H Günther, G Weissenbacher
Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014
292014
Verification and falsification of programs with loops using predicate abstraction
D Kroening, G Weissenbacher
Formal Aspects of Computing 22 (2), 105-128, 2010
222010
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20