The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Georg Weissenbacher" ( http://dblp.L3S.de/Authors/Georg_Weissenbacher )

URL (Homepage):  http://www.georg.weissenbacher.science/  Author page on DBLP  Author page in RDF  Community of Georg Weissenbacher in ASPL-2

Publication years (Num. hits)
2005-2011 (15) 2012-2015 (18) 2016-2018 (15) 2019 (3)
Publication types (Num. hits)
article(13) incollection(2) inproceedings(32) phdthesis(1) proceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords

Results
Found 52 publication records. Showing 51 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher Mutation Testing with Hyperproperties. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, António Morgado, Georg Weissenbacher, João Marques-Silva Model-Based Diagnosis with Multiple Observations. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, Georg Weissenbacher Randomized testing of distributed systems with probabilistic guarantees. Search on Bibsonomy PACMPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Pani, Georg Weissenbacher, Florian Zuleger Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms. Search on Bibsonomy FMCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Georg Weissenbacher (eds.) 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 Search on Bibsonomy CAV (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Georg Weissenbacher (eds.) 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 Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jens Katelaan, Dejan Jovanovic, Georg Weissenbacher A Separation Logic with Data: Small Models and Automation. Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Thomas A. Henzinger, Georg Weissenbacher Preface of the Special Issue in Memoriam Helmut Veith. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher Dynamic Reductions for Model Checking Concurrent Software. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daryl Stewart, Georg Weissenbacher (eds.) 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017 Search on Bibsonomy FMCAD The full citation details ... 2017 DBLP  BibTeX  RDF
1Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher Model-based, mutation-driven test case generation via heuristic-guided branching search. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mitra Tabaei Befrouei, Chao Wang 0001, Georg Weissenbacher Abstraction and mining of traces to explain concurrency bugs. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies Error Invariants for Concurrent Traces. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher Dynamic Reductions for Model Checking Concurrent Software. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Matthias Schlaipfer, Georg Weissenbacher Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Henning Günther, Alfons Laarman, Georg Weissenbacher Vienna Verification Tool: IC3 for Parallel Software - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies Error Invariants for Concurrent Traces. Search on Bibsonomy FM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniel Kroening, Matt Lewis, Georg Weissenbacher Under-approximating loops in C programs for fast counterexample detection. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yakir Vizel, Georg Weissenbacher, Sharad Malik Boolean Satisfiability Solvers and Their Applications in Model Checking. Search on Bibsonomy Proceedings of the IEEE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Georg Weissenbacher The FMCAD 2015 Graduate Student Forum. Search on Bibsonomy FMCAD The full citation details ... 2015 DBLP  BibTeX  RDF
1Daniel Kroening, Matt Lewis, Georg Weissenbacher Proving Safety with Trace Automata and Bounded Model Checking. Search on Bibsonomy FM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Daniel Kroening, Matt Lewis, Georg Weissenbacher Proving Safety with Trace Automata and Bounded Model Checking. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Henning Günther, Georg Weissenbacher Incremental bounded software model checking. Search on Bibsonomy SPIN The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mitra Tabaei Befrouei, Chao Wang 0001, Georg Weissenbacher Abstraction and Mining of Traces to Explain Concurrency Bugs. Search on Bibsonomy RV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Johannes Birgmeier, Aaron R. Bradley, Georg Weissenbacher Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR). Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Sharad Malik, Matthias Schlaipfer, Georg Weissenbacher Reduction of Resolution Refutations and Interpolants via Subsumption. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Charlie Shucheng Zhu, Georg Weissenbacher, Sharad Malik Silicon fault diagnosis using sequence interpolation with backbones. Search on Bibsonomy ICCAD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Georg Weissenbacher, Pramod Subramanyan, Sharad Malik Boolean Satisfiability: Solvers and Extensions. Search on Bibsonomy Software Systems Safety The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Johannes Peter Wallner, Georg Weissenbacher, Stefan Woltran Advanced SAT Techniques for Abstract Argumentation. Search on Bibsonomy CLIMA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Daniel Kroening, Matt Lewis, Georg Weissenbacher Under-Approximating Loops in C Programs for Fast Counterexample Detection. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Daniel Schwartz-Narbonne, Georg Weissenbacher, Sharad Malik Parallel Assertions for Architectures with Weak Memory Models. Search on Bibsonomy ATVA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Georg Weissenbacher, Daniel Kroening, Sharad Malik Wolverine: Battling Bugs with Interpolants - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Charlie Shucheng Zhu, Georg Weissenbacher, Sharad Malik Coverage-Based Trace Signal Selection for Fault Localisation in Post-silicon Validation. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Georg Weissenbacher Interpolant Strength Revisited. Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Georg Weissenbacher, Sharad Malik Boolean Satisfiability Solvers: Techniques and Extensions. Search on Bibsonomy Software Safety and Security The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Charlie Shucheng Zhu, Georg Weissenbacher, Sharad Malik Post-silicon fault localisation using maximum satisfiability and backbones. Search on Bibsonomy FMCAD The full citation details ... 2011 DBLP  BibTeX  RDF
1Daniel Kroening, Georg Weissenbacher Interpolation-Based Software Verification with Wolverine. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Charlie Shucheng Zhu, Georg Weissenbacher, Divjyot Sethi, Sharad Malik SAT-based techniques for determining backbones for post-silicon fault localisation. Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Daniel Kroening, Georg Weissenbacher Verification and falsification of programs with loops using predicate abstraction. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vijay D'Silva, Daniel Kroening, Mitra Purandare, Georg Weissenbacher Interpolant Strength. Search on Bibsonomy VMCAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Georg Weissenbacher Program analysis with interpolants. Search on Bibsonomy 2010   RDF
1Angelo Brillout, Nannan He, Michele Mazzucchi, Daniel Kroening, Mitra Purandare, Philipp Rümmer, Georg Weissenbacher Mutation-Based Test Case Generation for Simulink Models. Search on Bibsonomy FMCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Daniel Kroening, Georg Weissenbacher An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Vijay D'Silva, Daniel Kroening, Georg Weissenbacher A Survey of Automated Techniques for Formal Software Verification. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gérard Basler, Daniel Kroening, Georg Weissenbacher SAT-Based Summarization for Boolean Programs. Search on Bibsonomy SPIN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Daniel Kroening, Georg Weissenbacher Lifting Propositional Interpolants to the Word-Level. Search on Bibsonomy FMCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Thomas Witkowski, Nicolas Blanc, Daniel Kroening, Georg Weissenbacher Model checking concurrent linux device drivers. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF model checking, linux, device driver, predicate abstraction
1Gérard Basler, Daniel Kroening, Georg Weissenbacher A Complete Bounded Model Checking Algorithm for Pushdown Systems. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Daniel Kroening, Georg Weissenbacher Counterexamples with Loops for Predicate Abstraction. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Wolfgang Herzner, Georg Weissenbacher A Pattern for Formal Verification of Properties of Large Systems. Search on Bibsonomy EuroPLoP The full citation details ... 2005 DBLP  BibTeX  RDF
Displaying result #1 - #51 of 51 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license