Folgen
Thomas Wahl
Thomas Wahl
Northeastern University, Boston, USA
Bestätigte E-Mail-Adresse bei northeastern.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Dynamic cutoff detection in parameterized concurrent programs
A Kaiser, D Kroening, T Wahl
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
1422010
Mixed abstractions for floating-point arithmetic
A Brillout, D Kroening, T Wahl
2009 Formal Methods in Computer-Aided Design, 69-76, 2009
942009
An SMT-LIB theory of binary floating-point arithmetic
P Rümmer, T Wahl
International Workshop on Satisfiability Modulo Theories (SMT), 151, 2010
842010
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
822011
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
782015
Dynamic symmetry reduction
EA Emerson, T Wahl
International conference on tools and algorithms for the construction and …, 2005
722005
Symbolic counter abstraction for concurrent software
G Basler, M Mazzucchi, T Wahl, D Kroening
International Conference on Computer Aided Verification, 64-78, 2009
692009
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
562011
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
542003
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
502014
Efficient coverability analysis by proof minimization
A Kaiser, D Kroening, T Wahl
International Conference on Concurrency Theory, 500-515, 2012
502012
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
462012
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
452011
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
442011
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
422018
Replication and abstraction: Symmetry in automated formal verification
T Wahl, A Donaldson
Symmetry 2 (2), 799-847, 2010
412010
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
322012
Adaptive symmetry reduction
T Wahl
International Conference on Computer Aided Verification, 393-405, 2007
312007
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
272014
Efficient reduction techniques for systems with many components
EA Emerson, T Wahl
Electronic Notes in Theoretical Computer Science 130, 379-399, 2005
262005
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20