☰

Thomas Wahl, Ph.D. - Publications

Affiliations: 
2007 Computer Sciences University of Texas at Austin, Austin, Texas, U.S.A. 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

21 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2019 Bayati M, Leeser M, Gu Y, Wahl T. Identifying volatile numeric expressions in numeric computing applications Mathematics and Computers in Simulation. 166: 451-460. DOI: 10.1016/J.Matcom.2019.06.016  0.365
2017 Kaiser A, Kroening D, Wahl T. Lost in abstraction Information & Computation. 252: 30-47. DOI: 10.1016/J.Ic.2016.03.003  0.411
2016 Athanasiou K, Liu P, Wahl T. Unbounded-thread program verification using thread-state equations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9706: 516-531. DOI: 10.1007/978-3-319-40229-1_35  0.317
2015 Ramachandran J, Păsăreanu C, Wahl T. Symbolic Execution for Checking the Accuracy of Floating-Point Programs Acm Sigsoft Software Engineering Notes. 40: 1-5. DOI: 10.1145/2693208.2693242  0.356
2014 Kaiser A, Kroening D, Wahl T. A widening approach to multithreaded program verification Acm Transactions On Programming Languages and Systems. 36. DOI: 10.1145/2629608  0.428
2011 Donaldson A, Kaiser A, Kroening D, Wahl T. Symmetry-aware predicate abstraction for shared-variable concurrent programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6806: 356-371. DOI: 10.1007/978-3-642-22110-1_28  0.34
2011 Brillout A, Kroening D, Rümmer P, Wahl T. Beyond quantifier-free interpolation in extensions of presburger arithmetic Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6538: 88-102. DOI: 10.1007/978-3-642-18275-4_8  0.339
2010 Wahl T, Donaldson A. Replication and abstraction: Symmetry in automated formal verification Symmetry. 2: 799-847. DOI: 10.3390/Sym2020799  0.412
2010 Brillout A, Kroening D, Rümmer P, Wahl T. An interpolating sequent calculus for quantifier-free presburger arithmetic Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6173: 384-399. DOI: 10.1007/S10817-011-9237-Y  0.413
2010 Basler G, Mazzucchi M, Wahl T, Kroening D. Context-aware counter abstraction Formal Methods in System Design. 36: 223-245. DOI: 10.1007/s10703-010-0096-7  0.341
2010 Wahl T, DSilva V. A lazy approach to symmetry reduction Formal Aspects of Computing. 22: 713-733. DOI: 10.1007/S00165-009-0131-X  0.434
2010 Kaiser A, Kroening D, Wahl T. Dynamic cutoff detection in parameterized concurrent programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6174: 645-659. DOI: 10.1007/978-3-642-14295-6_55  0.334
2010 Basler G, Hague M, Kroening D, Ong CHL, Wahl T, Zhao H. Boom: Taking Boolean program model checking one step further Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6015: 145-149. DOI: 10.1007/978-3-642-12002-2_11  0.323
2009 Basler G, Mazzucchi M, Wahl T, Kroening D. Symbolic counter abstraction for concurrent software Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5643: 64-78. DOI: 10.1007/978-3-642-02658-4_9  0.343
2009 Trefler R, Wahl T. Extending symmetry reduction by exploiting system architecture Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5403: 320-334. DOI: 10.1007/978-3-540-93900-9_26  0.328
2008 Wahl T, Blanc N, Emerson EA. SVISS: Symbolic verification of symmetric systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4963: 459-462. DOI: 10.1007/978-3-540-78800-3_34  0.459
2007 Wahl T. Adaptive symmetry reduction Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4590: 393-405.  0.377
2006 Allen Emerson E, Trefler RJ, Wahl T. Reducing model checking of the few to the one Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4260: 94-113.  0.329
2005 Emerson EA, Wahl T. Efficient Reduction Techniques for Systems with Many Components Electronic Notes in Theoretical Computer Science. 130: 379-399. DOI: 10.1016/J.Entcs.2005.03.019  0.529
2005 Emerson EA, Wahl T. Dynamic symmetry reduction Lecture Notes in Computer Science. 3440: 382-396.  0.538
2003 Emerson EA, Wahl T. On combining symmetry reduction and symbolic representation for efficient model checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2860: 216-230. DOI: 10.1007/978-3-540-39724-3_20  0.559
Show low-probability matches.