| [1] | Alexander Kaiser, Daniel Kroening, and Thomas Wahl. Efficient coverability analysis by proof minimization. In CONCUR, pages 500-515, 2012. [ bib | pdf ] |
| [2] | Gérard Basler, Alastair Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, and Thomas Wahl. SATABS: A bit-precise verifier for C programs (competition contribution). In TACAS, pages 552-555, 2012. [ bib | pdf ] |
| [3] | Nannan He, Daniel Kroening, Thomas Wahl, Kung-Kiu Lau, Faris Taweel, Tran Cuong, Philipp Ruemmer, and Sanjiv Sharma. Component-based design and verification in X-MAN. In ERTS2, 2012. [ bib | pdf ] |
| [4] | Daniel Kroening, Joel Ouaknine, Ofer Strichman, Thomas Wahl, and James Worrell. Linear completeness thresholds for bounded model checking. In CAV, pages 557-572, 2011. [ bib | pdf ] |
| [5] | Alastair Donaldson, Alexander Kaiser, Daniel Kroening, and Thomas Wahl. Symmetry-aware predicate abstraction for shared-variable concurrent programs. In CAV, pages 356-371, 2011. [ bib | pdf ] |
| [6] | Angelo Brillout, Daniel Kroening, Philipp Ruemmer, and Thomas Wahl. Beyond quantifier-free interpolation in extensions of Presburger arithmetic. In VMCAI, pages 88-102, 2011. [ bib | pdf ] |
| [7] | Alexander Kaiser, Daniel Kroening, and Thomas Wahl. Dynamic cutoff detection in parameterized concurrent programs. In CAV, pages 645-659, 2010. [ bib | pdf ] |
| [8] | Angelo Brillout, Daniel Kroening, Philipp Ruemmer, and Thomas Wahl. An interpolating sequent calculus for quantier-free Presburger arithmetic. In IJCAR, pages 384-399, 2010. [ bib | pdf ] |
| [9] | Gerard Basler, Matthew Hague, Daniel Kroening, Luke Ong, Thomas Wahl, and Haoxian Zhao. Boom: Taking Boolean program model checking one step further. In TACAS, pages 145-149, 2010. [ bib | pdf ] |
| [10] | Angelo Brillout, Daniel Kroening, and Thomas Wahl. Mixed abstractions for floating-point arithmetic. In FMCAD, pages 69-76, 2009. [ bib | pdf ] |
| [11] | Gerard Basler, Michele Mazzucchi, Thomas Wahl, and Daniel Kroening. Symbolic counter abstraction for concurrent software. In CAV, pages 64-78, 2009. [ bib | pdf ] |
| [12] | Yury Chebiryak, Thomas Wahl, Daniel Kroening, and Leopold Haller. A propositional encoding of lean induced cycles in binary hypercubes. In SAT, pages 18-31, 2009. [ bib | pdf ] |
| [13] | Mitra Purandare, Daniel Kroening, and Thomas Wahl. Strengthening properties using abstraction refinement. In DATE, pages 1692-1697, 2009. [ bib | pdf ] |
| [14] | Richard Trefler and Thomas Wahl. Extending symmetry reduction by exploiting system architecture. In VMCAI, pages 320-334, 2009. [ bib | pdf ] |
| [15] | Thomas Wahl, Nicolas Blanc, and Allen Emerson. Sviss: Symbolic verification of symmetric systems. In TACAS, pages 459-462, 2008. [ bib | pdf ] |
| [16] | Thomas Wahl. Adaptive symmetry reduction. In CAV, pages 393-405, 2007. [ bib | pdf ] |
| [17] | Allen Emerson, Richard Trefler, and Thomas Wahl. Reducing model checking of the few to the one. In ICFEM, pages 94-113, 2006. [ bib | pdf ] |
| [18] | Allen Emerson and Thomas Wahl. Dynamic symmetry reduction. In TACAS, pages 382-396, 2005. [ bib | pdf ] |
| [19] | Allen Emerson and Thomas Wahl. On combining symmetry reduction and symbolic representation for efficient model checking. In CHARME, pages 216-230, 2003. [ bib | pdf ] |
| [20] | Oliver Karch, Hartmut Noltemeier, and Thomas Wahl. Robot localization using polygon distances. In Sensor Based Intelligent Robots, pages 200-219, 1998. [ bib | pdf ] |
| [21] | Oliver Karch, Hartmut Noltemeier, Mathias Schwark, and Thomas Wahl. Relokalisation - ein theoretischer Ansatz in der Praxis. In AMS, pages 119-130, 1997. [ bib | pdf ] |
This file was generated by bibtex2html 1.95.