Obserwuj
Georg Weissenbacher
Georg Weissenbacher
Professor of Computer Science, TU Wien
Zweryfikowany adres z tuwien.ac.at - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
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
6402008
Boolean satisfiability solvers and their applications in model checking
Y Vizel, G Weissenbacher, S Malik
Proceedings of the IEEE 103 (11), 2021-2035, 2015
1812015
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
1522007
Interpolant strength
V D’Silva, D Kroening, M Purandare, G Weissenbacher
Verification, Model Checking, and Abstract Interpretation: 11th …, 2010
1352010
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
772014
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
722011
Interpolation-Based Software Verification with Wolverine
D Kroening, G Weissenbacher
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
682011
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
622015
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
532018
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
462019
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
452011
Advanced SAT techniques for abstract argumentation
JP Wallner, G Weissenbacher, S Woltran
Computational Logic in Multi-Agent Systems: 14th International Workshop …, 2013
402013
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
Model-based diagnosis with multiple observations
A Ignatiev, A Morgado, G Weissenbacher, J Marques-Silva
International Joint Conference on Artificial Intelligence 2019, 1108-1115, 2019
352019
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
312016
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
Incremental bounded software model checking
H Günther, G Weissenbacher
Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014
302014
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20