- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 13 |      | Georg Weissenbacher, Daniel Kroening, Sharad Malik: Wolverine: Battling Bugs with Interpolants - (Competition Contribution). TACAS 2012: 556-558 |
| 2011 | ||
| 12 | | Daniel Kroening, Georg Weissenbacher: Interpolation-Based Software Verification with Wolverine. CAV 2011: 573-578 |
| 2010 | ||
| 11 | | Vijay D'Silva, Daniel Kroening, Mitra Purandare, Georg Weissenbacher: Interpolant Strength. VMCAI 2010: 129-145 |
| 10 | | Daniel Kroening, Georg Weissenbacher: Verification and falsification of programs with loops using predicate abstraction. Formal Asp. Comput. 22(2): 105-128 (2010) |
| 2009 | ||
| 9 | | 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 |
| 8 | | Daniel Kroening, Georg Weissenbacher: An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions. Haifa Verification Conference 2009: 150-168 |
| 2008 | ||
| 7 | | Vijay D'Silva, Daniel Kroening, Georg Weissenbacher: A Survey of Automated Techniques for Formal Software Verification. IEEE Trans. on CAD of Integrated Circuits and Systems 27(7): 1165-1178 (2008) |
| 2007 | ||
| 6 | | Thomas Witkowski, Nicolas Blanc, Daniel Kroening, Georg Weissenbacher: Model checking concurrent linux device drivers. ASE 2007: 501-504 |
| 5 | | Daniel Kroening, Georg Weissenbacher: Lifting Propositional Interpolants to the Word-Level. FMCAD 2007: 85-89 |
| 4 | | Gérard Basler, Daniel Kroening, Georg Weissenbacher: A Complete Bounded Model Checking Algorithm for Pushdown Systems. Haifa Verification Conference 2007: 202-217 |
| 3 | | Gérard Basler, Daniel Kroening, Georg Weissenbacher: SAT-Based Summarization for Boolean Programs. SPIN 2007: 131-148 |
| 2006 | ||
| 2 | | Daniel Kroening, Georg Weissenbacher: Counterexamples with Loops for Predicate Abstraction. CAV 2006: 152-165 |
| 2005 | ||
| 1 |  | Wolfgang Herzner, Georg Weissenbacher: A Pattern for Formal Verification of Properties of Large Systems. EuroPLoP 2005: 471-484 |
| 1 | Gérard Basler | [3] [4] |
| 2 | Nicolas Blanc | [6] |
| 3 | Angelo Brillout | [9] |
| 4 | Vijay D'Silva | [7] [11] |
| 5 | Nannan He | [9] |
| 6 | Wolfgang Herzner | [1] |
| 7 | Daniel Kroening (Daniel Kröning) | [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] |
| 8 | Sharad Malik | [13] |
| 9 | Michele Mazzucchi | [9] |
| 10 | Mitra Purandare | [9] [11] |
| 11 | Philipp Rümmer | [9] |
| 12 | Thomas Witkowski | [6] |
Colors in the list of coauthors
Last update Sat May 26 02:31:23 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page