Thomas Wahl

Thomas Wahl

Northeastern University - Boston / United States
Others
AD Scientific Index ID: 853762
person_outline Thomas Wahl's MOST POPULAR ARTICLES
1-) Dynamic cutoff detection in parameterized concurrent programsA Kaiser, D Kroening, T WahlInternational Conference on Computer Aided Verification, 645-659, 20101342010
2-) Mixed abstractions for floating-point arithmeticA Brillout, D Kroening, T Wahl2009 Formal Methods in Computer-Aided Design, 69-76, 2009932009
3-) An SMT-LIB theory of binary floating-point arithmeticP Rümmer, T WahlInternational Workshop on Satisfiability Modulo Theories (SMT), 151, 2010832010
4-) An automatable formal semantics for IEEE-754 floating-point arithmeticM Brain, C Tinelli, P Rümmer, T Wahl2015 IEEE 22nd Symposium on Computer Arithmetic, 160-167, 2015842015
5-) An interpolating sequent calculus for quantifier-free Presburger arithmeticA Brillout, D Kroening, P Rümmer, T WahlJournal of Automated Reasoning 47 (4), 341-367, 2011812011