default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThomas Wahl
Person information
- affiliation: Northeastern University, Boston, USA
Other persons with a similar name
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j14]Alejandra R. Enriquez, Thomas Wahl, Stefan A. Talke, Philip M. Orton, James F. Booth, Miguel Agulles
, Sara Santamaria-Aguilar:
MatFlood: An efficient algorithm for mapping flood extent and depth. Environ. Model. Softw. 169: 105829 (2023)- 2022
- [j13]Konstantinos Athanasiou, Thomas Wahl, A. Adam Ding, Yunsi Fei:
Masking Feedforward Neural Networks Against Power Analysis Attacks. Proc. Priv. Enhancing Technol. 2022(1): 501-521 (2022) - 2021
- [j12]Peizun Liu, Thomas Wahl, Thomas W. Reps:
Interprocedural Context-Unbounded Program Analysis Using Observation Sequences. ACM Trans. Program. Lang. Syst. 42(4): 16:1-16:34 (2021) - [c49]Siyue Wang, Pu Zhao, Xiao Wang, Sang Chin, Thomas Wahl, Yunsi Fei, Qi Alfred Chen, Xue Lin:
Intrinsic Examples: Robust Fingerprinting of Deep Neural Networks. BMVC 2021: 46 - [c48]Andrew Johnson, Thomas Wahl:
Delay-Bounded Scheduling Without Delay! CAV (1) 2021: 380-402 - [c47]Amel Nestor Docena, Thomas Wahl, Trevor Pearce, Yunsi Fei:
Sensitive Samples Revisited: Detecting Neural Network Attacks Using Constraint Solvers. SCSS 2021: 35-48 - [i12]Andrew Johnson, Thomas Wahl:
Delay-Bounded Scheduling Without Delay! (Extended Technical Report). CoRR abs/2105.07277 (2021) - 2020
- [c46]Cheng Gongye, Yunsi Fei, Thomas Wahl:
Reverse-Engineering Deep Neural Networks Using Floating-Point Timing Side-Channels. DAC 2020: 1-6 - [c45]Cheng Gongye, Hongjia Li, Xiang Zhang, Majid Sabbagh, Geng Yuan, Xue Lin, Thomas Wahl, Yunsi Fei:
New Passive and Active Attacks on Deep Neural Networks in Medical Applications. ICCAD 2020: 39:1-39:9 - [c44]Konstantinos Athanasiou, Thomas Wahl, A. Adam Ding, Yunsi Fei:
Automatic Detection and Repair of Transition- Based Leakage in Software Binaries. VSTTE 2020: 50-67 - [i11]Zhen Hang Jiang, Yunsi Fei, Aidong Adam Ding, Thomas Wahl:
MemPoline: Mitigating Memory-based Side-Channel Attacks through Memory Access Obfuscation. IACR Cryptol. ePrint Arch. 2020: 653 (2020)
2010 – 2019
- 2019
- [j11]Mahsa Bayati, Miriam Leeser, Yijia Gu, Thomas Wahl:
Identifying volatile numeric expressions in numeric computing applications. Math. Comput. Simul. 166: 451-460 (2019) - [c43]Peizun Liu, Thomas Wahl, Akash Lal:
Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers. CAV (2) 2019: 386-404 - [i10]Peizun Liu, Thomas Wahl, Akash Lal:
Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript). CoRR abs/1905.09996 (2019) - 2018
- [j10]Pei Luo, Konstantinos Athanasiou, Yunsi Fei, Thomas Wahl:
Algebraic Fault Analysis of SHA-3 Under Relaxed Fault Models. IEEE Trans. Inf. Forensics Secur. 13(7): 1752-1761 (2018) - [c42]Majid Sabbagh, Yunsi Fei, Thomas Wahl, A. Adam Ding:
SCADET: a side-channel attack detection tool for tracking prime+probe. ICCAD 2018: 107 - [c41]Peizun Liu, Thomas Wahl:
CUBA: interprocedural Context-UnBounded Analysis of concurrent programs. PLDI 2018: 105-119 - [i9]Peizun Liu, Thomas Wahl:
CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs (Extended Manuscript). CoRR abs/1804.04766 (2018) - 2017
- [j9]Alexander Kaiser, Daniel Kroening, Thomas Wahl:
Lost in abstraction: Monotonicity in multi-threaded programs. Inf. Comput. 252: 30-47 (2017) - [c40]Pei Luo, Konstantinos Athanasiou, Yunsi Fei, Thomas Wahl:
Algebraic fault analysis of SHA-3. DATE 2017: 151-156 - [c39]Pei Luo, Konstantinos Athanasiou, Liwei Zhang, Zhen Hang Jiang, Yunsi Fei, A. Adam Ding, Thomas Wahl:
Compiler-Assisted Threshold Implementation against Power Analysis Attacks. ICCD 2017: 541-544 - [c38]Peizun Liu, Thomas Wahl:
IJIT: An API for Boolean Program Analysis with Just-in-Time Translation. SEFM 2017: 316-331 - [c37]Yijia Gu, Thomas Wahl:
Stabilizing Floating-Point Programs Using Provenance Analysis. VMCAI 2017: 228-245 - [i8]Peizun Liu, Thomas Wahl:
IJIT: An API for Boolean Program Analysis with Just-in-Time Translation (Extended Technical Report). CoRR abs/1706.03167 (2017) - [i7]Pei Luo, Konstantinos Athanasiou, Yunsi Fei, Thomas Wahl:
Algebraic Fault Analysis of SHA-3. IACR Cryptol. ePrint Arch. 2017: 113 (2017) - 2016
- [c36]Konstantinos Athanasiou, Peizun Liu, Thomas Wahl:
Unbounded-Thread Program Verification using Thread-State Equations. IJCAR 2016: 516-531 - [c35]Jaideep Ramachandran, Thomas Wahl:
Integrating proxy theories and numeric model lifting for floating-point arithmetic. FMCAD 2016: 153-160 - [c34]Peizun Liu, Thomas Wahl:
Concolic Unbounded-Thread Reachability via Loop Summaries. ICFEM 2016: 346-362 - [i6]Peizun Liu, Thomas Wahl:
Concolic Unbounded-Thread Reachability via Loop Summaries (Extended Technical Report). CoRR abs/1607.08273 (2016) - 2015
- [j8]Jaideep Ramachandran, Corina S. Pasareanu, Thomas Wahl:
Symbolic Execution for Checking the Accuracy of Floating-Point Programs. ACM SIGSOFT Softw. Eng. Notes 40(1): 1-5 (2015) - [c33]Martin Brain, Cesare Tinelli, Philipp Rümmer, Thomas Wahl:
An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic. ARITH 2015: 160-167 - [c32]Yijia Gu, Thomas Wahl, Mahsa Bayati, Miriam Leeser:
Behavioral Non-portability in Scientific Numeric Computing. Euro-Par 2015: 558-569 - [e1]Roope Kaivola, Thomas Wahl:
Formal Methods in Computer-Aided Design, FMCAD 2015, Austin, Texas, USA, September 27-30, 2015. IEEE 2015, ISBN 978-1-5090-4151-0 [contents] - [i5]Peizun Liu, Thomas Wahl:
Unbounded-Thread Reachability via Symbolic Execution and Loop Acceleration (Technical Report). CoRR abs/1505.02637 (2015) - 2014
- [j7]Alexander Kaiser, Daniel Kroening, Thomas Wahl:
A Widening Approach to Multithreaded Program Verification. ACM Trans. Program. Lang. Syst. 36(4): 14:1-14:29 (2014) - [c31]Alexander Kaiser, Daniel Kroening, Thomas Wahl:
Lost in Abstraction: Monotonicity in Multi-threaded Programs. CONCUR 2014: 141-155 - [c30]Miriam Leeser, Saoni Mukherjee, Jaideep Ramachandran, Thomas Wahl:
Make it real: Effective floating-point reasoning via exact arithmetic. DATE 2014: 1-4 - [c29]Peizun Liu, Thomas Wahl:
Infinite-state backward exploration of Boolean broadcast programs. FMCAD 2014: 155-162 - [i4]Alexander Kaiser, Daniel Kroening, Thomas Wahl:
Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report). CoRR abs/1406.5715 (2014) - 2013
- [c28]Thomas Wahl:
The FMCAD graduate student forum. FMCAD 2013: 16-17 - 2012
- [j6]Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl:
Counterexample-guided abstraction refinement for symmetric concurrent programs. Formal Methods Syst. Des. 41(1): 25-44 (2012) - [c27]Alexander Kaiser, Daniel Kroening, Thomas Wahl:
Efficient Coverability Analysis by Proof Minimization. CONCUR 2012: 500-515 - [c26]Gérard Basler, Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl:
satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution). TACAS 2012: 552-555 - 2011
- [j5]Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl:
An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic. J. Autom. Reason. 47(4): 341-367 (2011) - [c25]Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl:
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs. CAV 2011: 356-371 - [c24]Daniel Kroening, Joël Ouaknine, Ofer Strichman, Thomas Wahl, James Worrell:
Linear Completeness Thresholds for Bounded Model Checking. CAV 2011: 557-572 - [c23]Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl:
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic. VMCAI 2011: 88-102 - [i3]Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl:
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report). CoRR abs/1102.2330 (2011) - 2010
- [j4]Thomas Wahl, Vijay Victor D'Silva:
A lazy approach to symmetry reduction. Formal Aspects Comput. 22(6): 713-733 (2010) - [j3]Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening:
Context-aware counter abstraction. Formal Methods Syst. Des. 36(3): 223-245 (2010) - [j2]Thomas Wahl, Alastair F. Donaldson:
Replication and Abstraction: Symmetry in Automated Formal Verification. Symmetry 2(2): 799-847 (2010) - [c22]Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl:
Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays. VERIFY@IJCAR 2010: 31-46 - [c21]Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl:
An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic. IJCAR 2010: 384-399 - [c20]Alexander Kaiser, Daniel Kroening, Thomas Wahl:
Dynamic Cutoff Detection in Parameterized Concurrent Programs. CAV 2010: 645-659 - [c19]Gérard Basler, Matthew Hague, Daniel Kroening, C.-H. Luke Ong, Thomas Wahl, Haoxian Zhao:
Boom: Taking Boolean Program Model Checking One Step Further. TACAS 2010: 145-149 - [i2]Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl:
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report). CoRR abs/1011.1036 (2010)
2000 – 2009
- 2009
- [c18]Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening:
Symbolic Counter Abstraction for Concurrent Software. CAV 2009: 64-78 - [c17]Mitra Purandare, Thomas Wahl, Daniel Kroening:
Strengthening properties using abstraction refinement. DATE 2009: 1692-1697 - [c16]Angelo Brillout, Daniel Kroening, Thomas Wahl:
Mixed abstractions for floating-point arithmetic. FMCAD 2009: 69-76 - [c15]Sebastian Blank, Thomas Wahl, Tobias Luksch, Karsten Berns:
Biologically inspired compliant control of a monopod designed for highly dynamic applications. IROS 2009: 148-153 - [c14]Yury Chebiryak, Thomas Wahl, Daniel Kroening, Leopold Haller:
Finding Lean Induced Cycles in Binary Hypercubes. SAT 2009: 18-31 - [c13]Richard J. Trefler, Thomas Wahl:
Extending Symmetry Reduction by Exploiting System Architecture. VMCAI 2009: 320-334 - 2008
- [c12]Thomas Wahl, Nicolas Blanc, E. Allen Emerson:
SVISS: Symbolic Verification of Symmetric Systems. TACAS 2008: 459-462 - [i1]Angelo Brillout, Daniel Kroening, Thomas Wahl:
Craig Interpolation for Quantifier-Free Presburger Arithmetic. CoRR abs/0811.3521 (2008) - 2007
- [c11]Thomas Wahl:
Adaptive Symmetry Reduction. CAV 2007: 393-405 - 2006
- [c10]E. Allen Emerson, Richard J. Trefler, Thomas Wahl:
Reducing Model Checking of the Few to the One. ICFEM 2006: 94-113 - 2005
- [c9]E. Allen Emerson, Thomas Wahl:
Dynamic Symmetry Reduction. TACAS 2005: 382-396 - 2004
- [c8]E. Allen Emerson, Thomas Wahl:
Efficient Reduction Techniques for Systems with Many Components. SBMF 2004: 379-399 - 2003
- [c7]E. Allen Emerson, Thomas Wahl:
On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking. CHARME 2003: 216-230
1990 – 1999
- 1999
- [j1]Oliver Karch, Thomas Wahl:
Relocalization - Theory and Practice. Discret. Appl. Math. 93(1): 89-108 (1999) - 1998
- [c6]Oliver Karch, Hartmut Noltemeier, Thomas Wahl:
Robot Localization Using Polygon Distances. Sensor Based Intelligent Robots 1998: 200-219 - 1997
- [c5]Oliver Karch, Hartmut Noltemeier, Mathias Schwark, Thomas Wahl:
Relokalisation - Ein theoretischer Ansatz in der Praxis. AMS 1997: 119-130 - 1995
- [c4]Thomas Wahl, Stefan Wirag, Kurt Rothermel:
TIEMPO: Temporal Modeling and Authoring of Interactive Multimedia. ICMCS 1995: 274-277 - [c3]Stefan Wirag, Kurt Rothermel, Thomas Wahl:
Modelling Interaction with HYTIME. Kommunikation in Verteilten Systemen 1995: 188-202 - 1994
- [c2]Thomas Wahl, Kurt Rothermel:
Representing Time in Multimedia Systems. ICMCS 1994: 538-543 - 1992
- [c1]Thomas Wahl, Michael Salmony:
Optimisation of Transport Protocols for High-Speed. INDC 1992: 405-419
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
