Thomas Wies

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Clock bound repair for timed systems	2024-02-16	Paper
Complete multiparty session type projection with automata	2024-02-01	Paper
Make flows small again: revisiting the flow framework	2023-12-13	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

Research outcomes over time

This page was built for person: Thomas Wies