Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGeorg Weissenbacher
Person information
- affiliation: TU Vienna, Institute of Logic and Computation, Austria
- affiliation: Princeton University, Department of Electrical Engineering, NJ, USA
- affiliation: ETH Zurich, Computer Systems Institute, Switzerland
- affiliation (PhD 2010): Oxford University, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c41]Sarah Sallinger, Georg Weissenbacher, Florian Zuleger:
A Formalization of Heisenbugs and Their Causes. SEFM 2023: 282-300- 2021
- [j14]Hana Chockler
, Georg Weissenbacher:
Preface of the special issue on the conference on computer-aided verification 2018. Formal Methods Syst. Des. 57(1): 1-2 (2021) - [j13]Thomas Pani, Georg Weissenbacher, Florian Zuleger:
Rely-guarantee bound analysis of parameterized concurrent shared-memory programs. Formal Methods Syst. Des. 57(2): 270-302 (2021) - [j12]Daryl Stewart, Georg Weissenbacher:
Preface of the special issue on the Conference on Formal Methods in Computer-Aided Design 2017. Formal Methods Syst. Des. 57(3): 303-304 (2021) - [j11]Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher:
Mutation testing with hyperproperties. Softw. Syst. Model. 20(2): 405-427 (2021) - [c40]Timothee Durand, Katalin Fazekas, Georg Weissenbacher, Jakob Zwirchmayr:
Model Checking AUTOSAR Components with CBMC. FMCAD 2021: 96-101 - [c39]Emmanuel Pescosta, Georg Weissenbacher, Florian Zuleger:
Bounded Model Checking of Speculative Non-Interference. ICCAD 2021: 1-9 - 2020
- [j10]Patrick Metzler, Neeraj Suri, Georg Weissenbacher:
Extracting safe thread schedules from incomplete model checking results. Int. J. Softw. Tools Technol. Transf. 22(5): 565-581 (2020) - [c38]Thomas Pani, Georg Weissenbacher, Florian Zuleger:
Thread-modular Counter Abstraction for Parameterized Program Safety. FMCAD 2020: 67-76 - [c37]Adrián Rebola-Pardo, Georg Weissenbacher:
RAT Elimination. LPAR 2020: 423-448 - [c36]Matthias Schlaipfer, Friedrich Slivovsky, Georg Weissenbacher, Florian Zuleger:
Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness. SAT 2020: 429-446 - [c35]Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher:
Language Inclusion for Finite Prime Event Structures. VMCAI 2020: 314-336
2010 – 2019
- 2019
- [j9]Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher:
Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search. ACM Trans. Embed. Comput. Syst. 18(1): 4:1-4:28 (2019) - [c34]Alexey Ignatiev, António Morgado, Georg Weissenbacher, João Marques-Silva:
Model-Based Diagnosis with Multiple Observations. IJCAI 2019: 1108-1115 - [c33]Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher:
Mutation Testing with Hyperproperties. SEFM 2019: 203-221 - [c32]Patrick Metzler, Neeraj Suri, Georg Weissenbacher:
Extracting Safe Thread Schedules from Incomplete Model Checking Results. SPIN 2019: 153-171 - [i5]Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher:
Mutation Testing with Hyperproperties. CoRR abs/1907.07368 (2019) - [i4]Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher:
Language Inclusion for Finite Prime Event Structures. CoRR abs/1911.06355 (2019) - 2018
- [j8]Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, Georg Weissenbacher:
Randomized testing of distributed systems with probabilistic guarantees. Proc. ACM Program. Lang. 2(OOPSLA): 160:1-160:28 (2018) - [c31]Jens Katelaan, Dejan Jovanovic, Georg Weissenbacher:
A Separation Logic with Data: Small Models and Automation. IJCAR 2018: 455-471 - [c30]Thomas Pani, Georg Weissenbacher, Florian Zuleger:
Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms. FMCAD 2018: 1-9 - [e3]Hana Chockler, Georg Weissenbacher:
Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Lecture Notes in Computer Science 10981, Springer 2018, ISBN 978-3-319-96144-6 [contents] - [e2]Hana Chockler, Georg Weissenbacher:
Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II. Lecture Notes in Computer Science 10982, Springer 2018, ISBN 978-3-319-96141-5 [contents] - 2017
- [j7]Georg Gottlob, Thomas A. Henzinger, Georg Weissenbacher:
Preface of the Special Issue in Memoriam Helmut Veith. Formal Methods Syst. Des. 51(2): 267-269 (2017) - [c29]Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher:
Model-based, mutation-driven test case generation via heuristic-guided branching search. MEMOCODE 2017: 56-66 - [c28]Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher:
Dynamic Reductions for Model Checking Concurrent Software. VMCAI 2017: 246-265 - [e1]Daryl Stewart, Georg Weissenbacher:
2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017. IEEE 2017, ISBN 978-0-9835678-7-5 [contents] - 2016
- [j6]Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher:
Abstraction and mining of traces to explain concurrency bugs. Formal Methods Syst. Des. 49(1-2): 1-32 (2016) - [j5]Matthias Schlaipfer, Georg Weissenbacher:
Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs. J. Autom. Reason. 57(1): 3-36 (2016) - [c27]Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies:
Error Invariants for Concurrent Traces. FM 2016: 370-387 - [c26]Henning Günther, Alfons Laarman, Georg Weissenbacher:
Vienna Verification Tool: IC3 for Parallel Software - (Competition Contribution). TACAS 2016: 954-957 - [i3]Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies:
Error Invariants for Concurrent Traces. CoRR abs/1608.08584 (2016) - [i2]Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher:
Dynamic Reductions for Model Checking Concurrent Software. CoRR abs/1611.09318 (2016) - 2015
- [j4]Daniel Kroening, Matt Lewis, Georg Weissenbacher:
Under-approximating loops in C programs for fast counterexample detection. Formal Methods Syst. Des. 47(1): 75-92 (2015) - [j3]Yakir Vizel, Georg Weissenbacher, Sharad Malik:
Boolean Satisfiability Solvers and Their Applications in Model Checking. Proc. IEEE 103(11): 2021-2035 (2015) - [c25]Daniel Kroening, Matt Lewis, Georg Weissenbacher:
Proving Safety with Trace Automata and Bounded Model Checking. FM 2015: 325-341 - [c24]Georg Weissenbacher:
The FMCAD 2015 Graduate Student Forum. FMCAD 2015: 8 - 2014
- [c23]Johannes Birgmeier, Aaron R. Bradley, Georg Weissenbacher:
Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR). CAV 2014: 831-848 - [c22]Roderick Bloem, Sharad Malik, Matthias Schlaipfer, Georg Weissenbacher:
Reduction of Resolution Refutations and Interpolants via Subsumption. Haifa Verification Conference 2014: 188-203 - [c21]Charlie Shucheng Zhu, Georg Weissenbacher, Sharad Malik:
Silicon fault diagnosis using sequence interpolation with backbones. ICCAD 2014: 348-355 - [c20]Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher:
Abstraction and Mining of Traces to Explain Concurrency Bugs. RV 2014: 162-177 - [c19]Henning Günther, Georg Weissenbacher:
Incremental bounded software model checking. SPIN 2014: 40-47 - [p2]Georg Weissenbacher, Pramod Subramanyan, Sharad Malik:
Boolean Satisfiability: Solvers and Extensions. Software Systems Safety 2014: 223-278 - [i1]Daniel Kroening, Matt Lewis, Georg Weissenbacher:
Proving Safety with Trace Automata and Bounded Model Checking. CoRR abs/1410.5764 (2014) - 2013
- [c18]Daniel Kroening, Matt Lewis, Georg Weissenbacher:
Under-Approximating Loops in C Programs for Fast Counterexample Detection. CAV 2013: 381-396 - [c17]Johannes Peter Wallner, Georg Weissenbacher, Stefan Woltran:
Advanced SAT Techniques for Abstract Argumentation. CLIMA 2013: 138-154 - 2012
- [c16]Daniel Schwartz-Narbonne, Georg Weissenbacher, Sharad Malik:
Parallel Assertions for Architectures with Weak Memory Models. ATVA 2012: 254-268 - [c15]Charlie Shucheng Zhu, Georg Weissenbacher, Sharad Malik:
Coverage-Based Trace Signal Selection for Fault Localisation in Post-silicon Validation. Haifa Verification Conference 2012: 132-147 - [c14]Georg Weissenbacher:
Interpolant Strength Revisited. SAT 2012: 312-326 - [c13]Georg Weissenbacher, Daniel Kroening, Sharad Malik:
Wolverine: Battling Bugs with Interpolants - (Competition Contribution). TACAS 2012: 556-558 - [p1]Georg Weissenbacher, Sharad Malik:
Boolean Satisfiability Solvers: Techniques and Extensions. Software Safety and Security 2012: 205-253 - 2011
- [c12]Daniel Kroening, Georg Weissenbacher:
Interpolation-Based Software Verification with Wolverine. CAV 2011: 573-578 - [c11]Charlie Shucheng Zhu, Georg Weissenbacher, Sharad Malik:
Post-silicon fault localisation using maximum satisfiability and backbones. FMCAD 2011: 63-66 - [c10]Charlie Shucheng Zhu, Georg Weissenbacher, Divjyot Sethi, Sharad Malik:
SAT-based techniques for determining backbones for post-silicon fault localisation. HLDVT 2011: 84-91 - 2010
- [b1]Georg Weissenbacher:
Program analysis with interpolants. University of Oxford, UK, 2010 - [j2]Daniel Kroening, Georg Weissenbacher:
Verification and falsification of programs with loops using predicate abstraction. Formal Aspects Comput. 22(2): 105-128 (2010) - [c9]Vijay Victor D'Silva, Daniel Kroening, Mitra Purandare, Georg Weissenbacher:
Interpolant Strength. VMCAI 2010: 129-145
2000 – 2009
- 2009
- [c8]Angelo Brillout, Nannan He, Michele Mazzucchi, Daniel Kroening, Mitra Purandare, Philipp Rümmer, Georg Weissenbacher:
Mutation-Based Test Case Generation for Simulink Models. FMCO 2009: 208-227 - [c7]Daniel Kroening, Georg Weissenbacher:
An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions. Haifa Verification Conference 2009: 150-168 - 2008
- [j1]Vijay Victor D'Silva, Daniel Kroening, Georg Weissenbacher:
A Survey of Automated Techniques for Formal Software Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(7): 1165-1178 (2008) - 2007
- [c6]Daniel Kroening, Georg Weissenbacher:
Lifting Propositional Interpolants to the Word-Level. FMCAD 2007: 85-89 - [c5]Gérard Basler, Daniel Kroening, Georg Weissenbacher:
A Complete Bounded Model Checking Algorithm for Pushdown Systems. Haifa Verification Conference 2007: 202-217 - [c4]Thomas Witkowski, Nicolas Blanc, Daniel Kroening, Georg Weissenbacher:
Model checking concurrent linux device drivers. ASE 2007: 501-504 - [c3]Gérard Basler, Daniel Kroening, Georg Weissenbacher:
SAT-Based Summarization for Boolean Programs. SPIN 2007: 131-148 - 2006
- [c2]Daniel Kroening, Georg Weissenbacher:
Counterexamples with Loops for Predicate Abstraction. CAV 2006: 152-165 - 2005
- [c1]Wolfgang Herzner, Georg Weissenbacher:
A Pattern for Formal Verification of Properties of Large Systems. EuroPLoP 2005: 471-484
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-02-06 23:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
