Thomas Wahl

Available identifiers

zbMath Open wahl.thomasWikidataQ102317870 ScholiaQ102317870MaRDI QIDQ438555

List of research outcomes

Publication	Date of Publication	Type
Verifying asynchronous event-driven programs using partial abstract transformers	2024-02-16	Paper
Delayed closed-loop neurostimulation for the treatment of pathological brain rhythms in mental disorders	2023-03-20	Paper
Delay-bounded scheduling without delay!	2022-03-25	Paper
Identifying volatile numeric expressions in numeric computing applications	2021-03-02	Paper
Stabilizing Floating-Point Programs Using Provenance Analysis	2017-02-21	Paper
Lost in abstraction: monotonicity in multi-threaded programs	2016-12-22	Paper
Unbounded-Thread Program Verification using Thread-State Equations	2016-09-05	Paper
Lost in Abstraction: Monotonicity in Multi-threaded Programs	2014-09-15	Paper
Counterexample-guided abstraction refinement for symmetric concurrent programs	2014-03-28	Paper
Efficient reduction techniques for systems with many components	2013-09-26	Paper
Efficient Coverability Analysis by Proof Minimization	2012-09-25	Paper
An interpolating sequent calculus for quantifier-free Presburger arithmetic	2012-07-31	Paper
Linear Completeness Thresholds for Bounded Model Checking	2011-08-19	Paper
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic	2011-02-15	Paper
A lazy approach to symmetry reduction	2010-12-17	Paper
Context-aware counter abstraction	2010-11-03	Paper
An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic	2010-09-14	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
Finding Lean Induced Cycles in Binary Hypercubes	2009-07-07	Paper
Symbolic Counter Abstraction for Concurrent Software	2009-06-30	Paper
Extending Symmetry Reduction by Exploiting System Architecture	2009-02-10	Paper
Adaptive Symmetry Reduction	2007-11-29	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q3147669	2002-01-01	Paper
Export restrictions, urban unemployment, and the location of processing activities	2001-08-20	Paper
Relocalization -- theory and practice	2001-04-26	Paper

Research outcomes over time

This page was built for person: Thomas Wahl