Dynamic cutoff detection in parameterized concurrent programs A Kaiser, D Kroening, T Wahl Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 136 | 2010 |
Mixed abstractions for floating-point arithmetic A Brillout, D Kroening, T Wahl 2009 Formal Methods in Computer-Aided Design, 69-76, 2009 | 91 | 2009 |
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 | 82 | 2011 |
An SMT-LIB theory of binary floating-point arithmetic P Rümmer, T Wahl International Workshop on Satisfiability Modulo Theories (SMT), 151, 2010 | 81 | 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 | 71 | 2015 |
Symbolic counter abstraction for concurrent software G Basler, M Mazzucchi, T Wahl, D Kroening Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 68 | 2009 |
Dynamic symmetry reduction EA Emerson, T Wahl Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005 | 67 | 2005 |
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 | 53 | 2011 |
Efficient coverability analysis by proof minimization A Kaiser, D Kroening, T Wahl CONCUR 2012–Concurrency Theory: 23rd International Conference, CONCUR 2012 …, 2012 | 51 | 2012 |
On combining symmetry reduction and symbolic representation for efficient model checking EA Emerson, T Wahl Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced …, 2003 | 51 | 2003 |
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 | 44 | 2014 |
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 | 42 | 2012 |
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 |
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 | 41 | 2011 |
Replication and abstraction: Symmetry in automated formal verification T Wahl, A Donaldson Symmetry 2 (2), 799-847, 2010 | 38 | 2010 |
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 | 33 | 2018 |
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 | 31 | 2012 |
Adaptive symmetry reduction T Wahl Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007 | 29 | 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 | 26 | 2014 |
Efficient reduction techniques for systems with many components EA Emerson, T Wahl Electronic Notes in Theoretical Computer Science 130, 379-399, 2005 | 26 | 2005 |