Journal Publications (reverse chronological)

The copyrights for most of these publications belong to their respective publishers. All papers may be downloaded for personal or research purposes only.

[1] Alexander Kaiser, Daniel Kroening, and Thomas Wahl. A widening approach to multi-threaded program verification. ACM Transactions on Programming Languages and Systems (TOPLAS) (to appear), 2014. [ bib ]
[2] Alastair Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, and Thomas Wahl. Counterexample-guided abstraction refinement for symmetric concurrent programs. Formal Methods in System Design, 41(1):25-44, 2012. [ bib | pdf ]
[3] Angelo Brillout, Daniel Kroening, Philipp Rümmer, and Thomas Wahl. An interpolating sequent calculus for quantifier-free Presburger arithmetic. Journal of Automated Reasoning, 47(4):341-367, 2011. [ bib | pdf ]
[4] Gerard Basler, Michele Mazzucchi, Thomas Wahl, and Daniel Kroening. Context-aware counter abstraction. Formal Methods in System Design, 36(3):223-245, 2010. [ bib | pdf ]
[5] Thomas Wahl and Alastair Donaldson. Replication and abstraction: Symmetry in automated formal verification. Symmetry, 2(2):799-847, 2010. [ bib | pdf ]
[6] Thomas Wahl and Vijay D'Silva. A lazy approach to symmetry reduction. Formal Asp. Comput., 22(6):713-733, 2010. [ bib | pdf ]
[7] Allen Emerson and Thomas Wahl. Efficient reduction techniques for systems with many components. Electr. Notes Theor. Comput. Sci., 130:379-399, 2005. [ bib | pdf ]
[8] Oliver Karch and Thomas Wahl. Relocalization - theory and practice. Discrete Applied Mathematics, 93(1):89-108, 1999. [ bib | pdf ]

This file was generated by bibtex2html 1.97.