| Dynamic cutoff detection in parameterized concurrent programs A Kaiser, D Kroening, T Wahl Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 149 | 2010 |
| Mixed abstractions for floating-point arithmetic A Brillout, D Kroening, T Wahl 2009 Formal Methods in Computer-Aided Design, 69-76, 2009 | 94 | 2009 |
| An SMT-LIB theory of binary floating-point arithmetic P Rümmer, T Wahl International Workshop on Satisfiability Modulo Theories (SMT) 151, 2010 | 84 | 2010 |
| An automatable formal semantics for IEEE-754 floating-point arithmetic M Brain, C Tinelli, P Rümmer, T Wahl 2015 IEEE 22nd Symposium on Computer Arithmetic, 160-167, 2015 | 83 | 2015 |
| An interpolating sequent calculus for quantifier-free Presburger arithmetic A Brillout, D Kroening, P Rümmer, T Wahl Journal of Automated Reasoning 47 (4), 341-367, 2011 | 81 | 2011 |
| Dynamic symmetry reduction EA Emerson, T Wahl International conference on tools and algorithms for the construction and …, 2005 | 78 | 2005 |
| Symbolic counter abstraction for concurrent software G Basler, M Mazzucchi, T Wahl, D Kroening International Conference on Computer Aided Verification, 64-78, 2009 | 73 | 2009 |
| Symmetry-aware predicate abstraction for shared-variable concurrent programs A Donaldson, A Kaiser, D Kroening, T Wahl Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 57 | 2011 |
| On combining symmetry reduction and symbolic representation for efficient model checking EA Emerson, T Wahl Advanced Research Working Conference on Correct Hardware Design and …, 2003 | 56 | 2003 |
| Efficient coverability analysis by proof minimization A Kaiser, D Kroening, T Wahl International Conference on Concurrency Theory, 500-515, 2012 | 54 | 2012 |
| A widening approach to multithreaded program verification A Kaiser, D Kroening, T Wahl ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (4), 1-29, 2014 | 52 | 2014 |
| Scadet: A side-channel attack detection tool for tracking prime-probe M Sabbagh, Y Fei, T Wahl, AA Ding 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2018 | 51 | 2018 |
| Linear completeness thresholds for bounded model checking D Kroening, J Ouaknine, O Strichman, T Wahl, J Worrell Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 51 | 2011 |
| Component-based design and verification in X-MAN N He, D Kroening, T Wahl, KK Lau, F Taweel, C Tran, P Rümmer, ... Embedded Real Time Software and Systems (ERTS2012), 2012 | 47 | 2012 |
| Replication and abstraction: Symmetry in automated formal verification T Wahl, A Donaldson Symmetry 2 (2), 799-847, 2010 | 45 | 2010 |
| Beyond quantifier-free interpolation in extensions of Presburger arithmetic A Brillout, D Kroening, P Rümmer, T Wahl Verification, Model Checking, and Abstract Interpretation: 12th …, 2011 | 42 | 2011 |
| Reverse-engineering deep neural networks using floating-point timing side-channels C Gongye, Y Fei, T Wahl 2020 57th ACM/IEEE Design Automation Conference (DAC), 1-6, 2020 | 35 | 2020 |
| Counterexample-guided abstraction refinement for symmetric concurrent programs AF Donaldson, A Kaiser, D Kroening, M Tautschnig, T Wahl Formal Methods in System Design 41 (1), 25-44, 2012 | 32 | 2012 |
| Adaptive symmetry reduction T Wahl International Conference on Computer Aided Verification, 393-405, 2007 | 31 | 2007 |
| Make it real: Effective floating-point reasoning via exact arithmetic M Leeser, S Mukherjee, J Ramachandran, T Wahl 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-4, 2014 | 27 | 2014 |
