Optimisation of Transport Protocols for High-Speed. - Thomas Wahl; Michael Salmony (INDC, 1992)

Representing Time in Multimedia Systems. - Thomas Wahl; Kurt Rothermel (ICMCS, 1994)

TIEMPO: Temporal Modeling and Authoring of Interactive Multimedia. - Thomas Wahl; Stefan Wirag; Kurt Rothermel (ICMCS, 1995)

Modelling Interaction with HYTIME. - Stefan Wirag; Kurt Rothermel; Thomas Wahl (Kommunikation in Verteilten Systemen, 1995)

Relokalisation - Ein theoretischer Ansatz in der Praxis. - Oliver Karch; Hartmut Noltemeier; Mathias Schwark; Thomas Wahl (AMS, 1997)

Robot Localization Using Polygon Distances. - Oliver Karch; Hartmut Noltemeier; Thomas Wahl (Sensor Based Intelligent Robots, 1998)

Relocalization - Theory and Practice. - Oliver Karch; Thomas Wahl (Discret. Appl. Math., 1999)

On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking. - E. Allen Emerson; Thomas Wahl (CHARME, 2003)

Efficient Reduction Techniques for Systems with Many Components. - E. Allen Emerson; Thomas Wahl (SBMF, 2004)

Dynamic Symmetry Reduction. - E. Allen Emerson; Thomas Wahl (TACAS, 2005)

Reducing Model Checking of the Few to the One. - E. Allen Emerson; Richard J. Trefler; Thomas Wahl (ICFEM, 2006)

Adaptive Symmetry Reduction. - Thomas Wahl (CAV, 2007)

SVISS: Symbolic Verification of Symmetric Systems. - Thomas Wahl; Nicolas Blanc; E. Allen Emerson (TACAS, 2008)

Craig Interpolation for Quantifier-Free Presburger Arithmetic - Angelo Brillout; Daniel Kroening; Thomas Wahl (CoRR, 2008)

Symbolic Counter Abstraction for Concurrent Software. - Gérard Basler; Michele Mazzucchi; Thomas Wahl; Daniel Kroening (CAV, 2009)

Strengthening properties using abstraction refinement. - Mitra Purandare; Thomas Wahl; Daniel Kroening (DATE, 2009)

Mixed abstractions for floating-point arithmetic. - Angelo Brillout; Daniel Kroening; Thomas Wahl (FMCAD, 2009)

Biologically inspired compliant control of a monopod designed for highly dynamic applications. - Sebastian Blank; Thomas Wahl; Tobias Luksch; Karsten Berns (IROS, 2009)

Finding Lean Induced Cycles in Binary Hypercubes. - Yury Chebiryak; Thomas Wahl; Daniel Kroening; Leopold Haller (SAT, 2009)

Extending Symmetry Reduction by Exploiting System Architecture. - Richard J. Trefler; Thomas Wahl (VMCAI, 2009)

Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays. - Angelo Brillout; Daniel Kroening; Philipp Rümmer; Thomas Wahl (VERIFY@IJCAR, 2010)

Dynamic Cutoff Detection in Parameterized Concurrent Programs. - Alexander Kaiser 001; Daniel Kroening; Thomas Wahl (CAV, 2010)

Boom: Taking Boolean Program Model Checking One Step Further. - Gérard Basler; Matthew Hague; Daniel Kroening; C.-H. Luke Ong; Thomas Wahl; Haoxian Zhao (TACAS, 2010)

Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report) - Angelo Brillout; Daniel Kroening; Philipp Rümmer; Thomas Wahl (CoRR, 2010)

A lazy approach to symmetry reduction. - Thomas Wahl; Vijay Victor D'Silva (Formal Aspects Comput., 2010)

Context-aware counter abstraction. - Gérard Basler; Michele Mazzucchi; Thomas Wahl; Daniel Kroening (Formal Methods Syst. Des., 2010)

Replication and Abstraction: Symmetry in Automated Formal Verification. - Thomas Wahl; Alastair F. Donaldson (Symmetry, 2010)

Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs. - Alastair F. Donaldson; Alexander Kaiser 001; Daniel Kroening; Thomas Wahl (CAV, 2011)

Linear Completeness Thresholds for Bounded Model Checking. - Daniel Kroening; Joël Ouaknine; Ofer Strichman; Thomas Wahl; James Worrell 001 (CAV, 2011)

Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic. - Angelo Brillout; Daniel Kroening; Philipp Rümmer; Thomas Wahl (VMCAI, 2011)

Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report) - Alastair F. Donaldson; Alexander Kaiser 001; Daniel Kroening; Thomas Wahl (CoRR, 2011)

An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic. - Angelo Brillout; Daniel Kroening; Philipp Rümmer; Thomas Wahl (J. Autom. Reason., 2011)

Efficient Coverability Analysis by Proof Minimization. - Alexander Kaiser 001; Daniel Kroening; Thomas Wahl (CONCUR, 2012)

satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution). - Gérard Basler; Alastair F. Donaldson; Alexander Kaiser 001; Daniel Kroening; Michael Tautschnig; Thomas Wahl (TACAS, 2012)

Counterexample-guided abstraction refinement for symmetric concurrent programs. - Alastair F. Donaldson; Alexander Kaiser 001; Daniel Kroening; Michael Tautschnig; Thomas Wahl (Formal Methods Syst. Des., 2012)

The FMCAD graduate student forum. - Thomas Wahl (FMCAD, 2013)

Make it real: Effective floating-point reasoning via exact arithmetic. - Miriam Leeser; Saoni Mukherjee; Jaideep Ramachandran; Thomas Wahl (DATE, 2014)

Infinite-state backward exploration of Boolean broadcast programs. - Peizun Liu; Thomas Wahl (FMCAD, 2014)

Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report). - Alexander Kaiser 001; Daniel Kroening; Thomas Wahl (CoRR, 2014)

A Widening Approach to Multithreaded Program Verification. - Alexander Kaiser 001; Daniel Kroening; Thomas Wahl (ACM Trans. Program. Lang. Syst., 2014)

An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic. - Martin Brain; Cesare Tinelli; Philipp Rümmer; Thomas Wahl (ARITH, 2015)

Behavioral Non-portability in Scientific Numeric Computing. - Yijia Gu; Thomas Wahl; Mahsa Bayati; Miriam Leeser (Euro-Par, 2015)

Unbounded-Thread Reachability via Symbolic Execution and Loop Acceleration (Technical Report). - Peizun Liu; Thomas Wahl (CoRR, 2015)

Symbolic Execution for Checking the Accuracy of Floating-Point Programs. - Jaideep Ramachandran; Corina S. Pasareanu; Thomas Wahl (ACM SIGSOFT Softw. Eng. Notes, 2015)

Unbounded-Thread Program Verification using Thread-State Equations. - Konstantinos Athanasiou; Peizun Liu; Thomas Wahl (IJCAR, 2016)

Integrating proxy theories and numeric model lifting for floating-point arithmetic. - Jaideep Ramachandran; Thomas Wahl (FMCAD, 2016)

Concolic Unbounded-Thread Reachability via Loop Summaries. - Peizun Liu; Thomas Wahl (ICFEM, 2016)

Concolic Unbounded-Thread Reachability via Loop Summaries (Extended Technical Report). - Peizun Liu; Thomas Wahl (CoRR, 2016)

Compiler-Assisted Threshold Implementation against Power Analysis Attacks. - Pei Luo; Konstantinos Athanasiou; Liwei Zhang; Zhen Hang Jiang; Yunsi Fei; A. Adam Ding; Thomas Wahl (ICCD, 2017)

IJIT: An API for Boolean Program Analysis with Just-in-Time Translation. - Peizun Liu; Thomas Wahl (SEFM, 2017)

Stabilizing Floating-Point Programs Using Provenance Analysis. - Yijia Gu; Thomas Wahl (VMCAI, 2017)

IJIT: An API for Boolean Program Analysis with Just-in-Time Translation (Extended Technical Report). - Peizun Liu; Thomas Wahl (CoRR, 2017)

Algebraic Fault Analysis of SHA-3. - Pei Luo; Konstantinos Athanasiou; Yunsi Fei; Thomas Wahl (IACR Cryptol. ePrint Arch., 2017)

Lost in abstraction: Monotonicity in multi-threaded programs. - Alexander Kaiser 001; Daniel Kroening; Thomas Wahl (Inf. Comput., 2017)

SCADET: a side-channel attack detection tool for tracking prime+probe. - Majid Sabbagh; Yunsi Fei; Thomas Wahl; A. Adam Ding (ICCAD, 2018)

CUBA: interprocedural Context-UnBounded Analysis of concurrent programs. - Peizun Liu; Thomas Wahl (PLDI, 2018)

CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs (Extended Manuscript). - Peizun Liu; Thomas Wahl (CoRR, 2018)

Algebraic Fault Analysis of SHA-3 Under Relaxed Fault Models. - Pei Luo; Konstantinos Athanasiou; Yunsi Fei; Thomas Wahl (IEEE Trans. Inf. Forensics Secur., 2018)

Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers. - Peizun Liu; Thomas Wahl; Akash Lal (CAV (2), 2019)

Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript). - Peizun Liu; Thomas Wahl; Akash Lal (CoRR, 2019)

Identifying volatile numeric expressions in numeric computing applications. - Mahsa Bayati; Miriam Leeser; Yijia Gu; Thomas Wahl (Math. Comput. Simul., 2019)

Reverse-Engineering Deep Neural Networks Using Floating-Point Timing Side-Channels. - Cheng Gongye; Yunsi Fei; Thomas Wahl (DAC, 2020)

New Passive and Active Attacks on Deep Neural Networks in Medical Applications. - Cheng Gongye; Hongjia Li; Xiang Zhang; Majid Sabbagh; Geng Yuan; Xue Lin 001; Thomas Wahl; Yunsi Fei (ICCAD, 2020)

Automatic Detection and Repair of Transition- Based Leakage in Software Binaries. - Konstantinos Athanasiou; Thomas Wahl; A. Adam Ding; Yunsi Fei (VSTTE, 2020)

MemPoline: Mitigating Memory-based Side-Channel Attacks through Memory Access Obfuscation. - Zhen Hang Jiang; Yunsi Fei; Aidong Adam Ding; Thomas Wahl (IACR Cryptol. ePrint Arch., 2020)

Intrinsic Examples: Robust Fingerprinting of Deep Neural Networks. - Siyue Wang; Pu Zhao 001; Xiao Wang 028; Sang Chin 001; Thomas Wahl; Yunsi Fei; Qi Alfred Chen; Xue Lin 001 (BMVC, 2021)

Delay-Bounded Scheduling Without Delay! - Andrew Johnson; Thomas Wahl (CAV (1), 2021)

Delay-Bounded Scheduling Without Delay! (Extended Technical Report). - Andrew Johnson; Thomas Wahl (CoRR, 2021)

Sensitive Samples Revisited: Detecting Neural Network Attacks Using Constraint Solvers. - Amel Nestor Docena; Thomas Wahl; Trevor Pearce; Yunsi Fei (SCSS, 2021)

Interprocedural Context-Unbounded Program Analysis Using Observation Sequences. - Peizun Liu; Thomas Wahl; Thomas W. Reps (ACM Trans. Program. Lang. Syst., 2021)

Masking Feedforward Neural Networks Against Power Analysis Attacks. - Konstantinos Athanasiou; Thomas Wahl; A. Adam Ding; Yunsi Fei (Proc. Priv. Enhancing Technol., 2022)

MatFlood: An efficient algorithm for mapping flood extent and depth. - Alejandra R. Enriquez; Thomas Wahl; Stefan A. Talke; Philip M. Orton; James F. Booth; Miguel Agulles; Sara Santamaria-Aguilar (Environ. Model. Softw., 2023)