Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Thomas Wahl
2010 – today
- 2012
[j7]Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl: Counterexample-guided abstraction refinement for symmetric concurrent programs. Formal Methods in System Design 41(1): 25-44 (2012)- [c25]Alexander Kaiser, Daniel Kroening, Thomas Wahl: Efficient Coverability Analysis by Proof Minimization. CONCUR 2012: 500-515
- [c24]Gérard Basler, Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl: satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution). TACAS 2012: 552-555
- 2011
- [j6]Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl: An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic. J. Autom. Reasoning 47(4): 341-367 (2011)
- [c23]Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl: Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs. CAV 2011: 356-371
- [c22]Daniel Kroening, Joël Ouaknine, Ofer Strichman, Thomas Wahl, James Worrell: Linear Completeness Thresholds for Bounded Model Checking. CAV 2011: 557-572
- [c21]Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl: Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic. VMCAI 2011: 88-102
- [i3]Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl: Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report). CoRR abs/1102.2330 (2011)
- 2010
- [j5]Thomas Wahl, Vijay D'Silva: A lazy approach to symmetry reduction. Formal Asp. Comput. 22(6): 713-733 (2010)
- [j4]Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening: Context-aware counter abstraction. Formal Methods in System Design 36(3): 223-245 (2010)
- [j3]Thomas Wahl, Alastair F. Donaldson: Replication and Abstraction: Symmetry in Automated Formal Verification. Symmetry 2(2): 799-847 (2010)
- [c20]Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl: An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic. IJCAR 2010: 384-399
- [c19]Alexander Kaiser, Daniel Kroening, Thomas Wahl: Dynamic Cutoff Detection in Parameterized Concurrent Programs. CAV 2010: 645-659
- [c18]Gérard Basler, Matthew Hague, Daniel Kroening, C.-H. Luke Ong, Thomas Wahl, Haoxian Zhao: Boom: Taking Boolean Program Model Checking One Step Further. TACAS 2010: 145-149
- [i2]Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl: Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report). CoRR abs/1011.1036 (2010)
2000 – 2009
- 2009
- [c17]Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening: Symbolic Counter Abstraction for Concurrent Software. CAV 2009: 64-78
- [c16]Mitra Purandare, Thomas Wahl, Daniel Kroening: Strengthening properties using abstraction refinement. DATE 2009: 1692-1697
- [c15]Angelo Brillout, Daniel Kroening, Thomas Wahl: Mixed abstractions for floating-point arithmetic. FMCAD 2009: 69-76
- [c14]Sebastian Blank, Thomas Wahl, Tobias Luksch, Karsten Berns: Biologically inspired compliant control of a monopod designed for highly dynamic applications. IROS 2009: 148-153
- [c13]Yury Chebiryak, Thomas Wahl, Daniel Kroening, Leopold Haller: Finding Lean Induced Cycles in Binary Hypercubes. SAT 2009: 18-31
- [c12]Richard J. Trefler, Thomas Wahl: Extending Symmetry Reduction by Exploiting System Architecture. VMCAI 2009: 320-334
- 2008
- [c11]Thomas Wahl, Nicolas Blanc, E. Allen Emerson: SVISS: Symbolic Verification of Symmetric Systems. TACAS 2008: 459-462
- [i1]Angelo Brillout, Daniel Kroening, Thomas Wahl: Craig Interpolation for Quantifier-Free Presburger Arithmetic. CoRR abs/0811.3521 (2008)
- 2007
- [c10]
- 2006
- [c9]E. Allen Emerson, Richard J. Trefler, Thomas Wahl: Reducing Model Checking of the Few to the One. ICFEM 2006: 94-113
- 2005
- [j2]E. Allen Emerson, Thomas Wahl: Efficient Reduction Techniques for Systems with Many Components. Electr. Notes Theor. Comput. Sci. 130: 379-399 (2005)
- [c8]
- 2003
- [c7]E. Allen Emerson, Thomas Wahl: On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking. CHARME 2003: 216-230
1990 – 1999
- 1999
- [j1]Oliver Karch, Thomas Wahl: Relocalization - Theory and Practice. Discrete Applied Mathematics 93(1): 89-108 (1999)
- 1998
- [c6]Oliver Karch, Hartmut Noltemeier, Thomas Wahl: Robot Localization Using Polygon Distances. Sensor Based Intelligent Robots 1998: 200-219
- 1997
- [c5]Oliver Karch, Hartmut Noltemeier, Mathias Schwark, Thomas Wahl: Relokalisation - Ein theoretischer Ansatz in der Praxis. AMS 1997: 119-130
- 1995
- [c4]Thomas Wahl, Stefan Wirag, Kurt Rothermel: TIEMPO: Temporal Modeling and Authoring of Interactive Multimedia. ICMCS 1995: 274-277
- [c3]Stefan Wirag, Kurt Rothermel, Thomas Wahl: Modelling Interaction with HYTIME. Kommunikation in Verteilten Systemen 1995: 188-202
- 1994
- [c2]
- 1992
- [c1]Thomas Wahl, Michael Salmony: Optimisation of Transport Protocols for High-Speed. INDC 1992: 405-419
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-24 21:44 CET by the dblp team