Thomas Wies

Available identifiers

Publication	Date of Publication	Type
Clock bound repair for timed systems	2024-02-16	Paper
Automated repair for timed systems	2023-06-29	Paper
Local Reasoning for Global Graph Properties	2022-10-13	Paper
Automated Verification of Concurrent Search Structures	2021-07-13	Paper
Error invariants for concurrent traces	2020-01-03	Paper
Deciding local theory extensions via E-matching	2018-03-01	Paper
Practical SMT-based type error localization	2017-05-10	Paper
Complete instantiation-based interpolation	2016-05-25	Paper
Counterexample-guided focus	2015-06-11	Paper
Complete instantiation-based interpolation	2014-11-27	Paper
Structural Counter Abstraction	2013-08-05	Paper
Error Invariants	2012-11-08	Paper
Ideal Abstractions for Well-Structured Transition Systems	2012-06-15	Paper
An Efficient Decision Procedure for Imperative Tree Data Structures	2011-07-29	Paper
Doomed program points	2011-03-31	Paper
Decision Procedures for Automating Termination Proofs	2011-02-15	Paper
Forward Analysis of Depth-Bounded Processes	2010-04-27	Paper
Building a Calculus of Data Structures	2010-01-14	Paper
Combining Theories with Shared Set Operations	2010-01-07	Paper
Abstraction Refinement for Quantified Array Assertions	2009-08-18	Paper
Heap Assumptions on Demand	2008-07-15	Paper
Using First-Order Theorem Provers in the Jahob Data Structure Verification System	2008-04-04	Paper
Shape Analysis for Composite Data Structures	2007-11-29	Paper
Verification, Model Checking, and Abstract Interpretation	2007-02-12	Paper
Static Analysis	2006-10-31	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Thomas Wies