Thomas Wahl

From MaRDI portal
Person:438555

Available identifiers

zbMath Open wahl.thomasWikidataQ102317870 ScholiaQ102317870MaRDI QIDQ438555

List of research outcomes





PublicationDate of PublicationType
Verifying asynchronous event-driven programs using partial abstract transformers2024-02-16Paper
Delayed closed-loop neurostimulation for the treatment of pathological brain rhythms in mental disorders2023-03-20Paper
Delay-bounded scheduling without delay!2022-03-25Paper
Identifying volatile numeric expressions in numeric computing applications2021-03-02Paper
Stabilizing Floating-Point Programs Using Provenance Analysis2017-02-21Paper
Lost in abstraction: monotonicity in multi-threaded programs2016-12-22Paper
Unbounded-Thread Program Verification using Thread-State Equations2016-09-05Paper
Lost in Abstraction: Monotonicity in Multi-threaded Programs2014-09-15Paper
Counterexample-guided abstraction refinement for symmetric concurrent programs2014-03-28Paper
Efficient reduction techniques for systems with many components2013-09-26Paper
Efficient Coverability Analysis by Proof Minimization2012-09-25Paper
An interpolating sequent calculus for quantifier-free Presburger arithmetic2012-07-31Paper
Linear Completeness Thresholds for Bounded Model Checking2011-08-19Paper
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic2011-02-15Paper
A lazy approach to symmetry reduction2010-12-17Paper
Context-aware counter abstraction2010-11-03Paper
An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic2010-09-14Paper
Correct Hardware Design and Verification Methods2010-02-05Paper
Finding Lean Induced Cycles in Binary Hypercubes2009-07-07Paper
Symbolic Counter Abstraction for Concurrent Software2009-06-30Paper
Extending Symmetry Reduction by Exploiting System Architecture2009-02-10Paper
Adaptive Symmetry Reduction2007-11-29Paper
Tools and Algorithms for the Construction and Analysis of Systems2005-11-10Paper
https://portal.mardi4nfdi.de/entity/Q31476692002-01-01Paper
Export restrictions, urban unemployment, and the location of processing activities2001-08-20Paper
Relocalization -- theory and practice2001-04-26Paper

Research outcomes over time

This page was built for person: Thomas Wahl