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] Alastair Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, and Thomas Wahl. Counterexample-guided abstraction refinement for symmetric concurrent programs. Formal Methods in System Design (FMSD), 41(1):25-44, 2012. [ bib | pdf ]
[2] Angelo Brillout, Daniel Kroening, Philipp Rümmer, and Thomas Wahl. An interpolating sequent calculus for quantifier-free Presburger arithmetic. Journal of Automated Reasoning (JAR), 47(4):341-367, 2011. [ bib | pdf ]
[3] Gerard Basler, Michele Mazzucchi, Thomas Wahl, and Daniel Kroening. Context-aware counter abstraction. Formal Methods in System Design (FMSD), 36(3):223-245, 2010. [ bib | pdf ]
[4] Thomas Wahl and Alastair Donaldson. Replication and abstraction: Symmetry in automated formal verification. Symmetry, 2(2):799-847, 2010. [ bib | pdf ]
[5] Thomas Wahl and Vijay D'Silva. A lazy approach to symmetry reduction. Formal Aspects of Computing (FAC), 22(6):713-733, 2010. [ bib | pdf ]
[6] Allen Emerson and Thomas Wahl. Efficient reduction techniques for systems with many components. Electronic Notes in Theoretical Computer Science, 130:379-399, 2005. [ bib | pdf ]
[7] Oliver Karch and Thomas Wahl. Relocalization - theory and practice. Discrete Applied Mathematics (DAM), 93(1):89-108, 1999. [ bib | pdf ]

This file was generated by bibtex2html 1.96.