Thomas Wies

Nishant Totla, Thomas Wies: Complete instantiation-based interpolation. POPL 2013: 537-548

Kshitij Bansal, Eric Koskinen, Thomas Wies, Damien Zufferey: Structural Counter Abstraction. TACAS 2013: 62-77

Jürgen Christ, Evren Ermis, Martin Schäf, Thomas Wies: Flow-Sensitive Fault Localization. VMCAI 2013: 189-208

Evren Ermis, Martin Schäf, Thomas Wies: Error Invariants. FM 2012: 187-201

Damien Zufferey, Thomas Wies, Thomas A. Henzinger: Ideal Abstractions for Well-Structured Transition Systems. VMCAI 2012: 445-460

Thomas Wies, Marco Muñiz, Viktor Kuncak: Deciding Functional Lists with Sublist Sets. VSTTE 2012: 66-81

Thomas Wies, Marco Muñiz, Viktor Kuncak: An Efficient Decision Procedure for Imperative Tree Data Structures. CADE 2011: 476-491

Thomas A. Henzinger, Vasu Singh, Thomas Wies, Damien Zufferey: Scheduling large jobs by abstraction refinement. EuroSys 2011: 329-342

Ruzica Piskac, Thomas Wies: Decision Procedures for Automating Termination Proofs. VMCAI 2011: 371-386

Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies: Doomed program points. Formal Methods in System Design 37(2-3): 171-199 (2010)

Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey: FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment. IEEE CLOUD 2010: 83-90

Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey: A marketplace for cloud resources. EMSOFT 2010: 1-8

Thomas Wies, Damien Zufferey, Thomas A. Henzinger: Forward Analysis of Depth-Bounded Processes. FOSSACS 2010: 94-108

Andreas Podelski, Thomas Wies: Counterexample-guided focus. POPL 2010: 249-260

Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies: Building a Calculus of Data Structures. VMCAI 2010: 26-44

Thomas Wies: Symbolic shape analysis. University of Freiburg 2009

Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies: Intra-module Inference. CAV 2009: 493-508

Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies: It's Doomed; We Can Prove It. FM 2009: 338-353

Thomas Wies, Ruzica Piskac, Viktor Kuncak: Combining Theories with Shared Set Operations. FroCoS 2009: 366-382

Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies: Abstraction Refinement for Quantified Array Assertions. SAS 2009: 3-18

Andreas Podelski, Andrey Rybalchenko, Thomas Wies: Heap Assumptions on Demand. CAV 2008: 314-327

Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang: Shape Analysis for Composite Data Structures. CAV 2007: 178-192

Charles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, Martin C. Rinard: Using First-Order Theorem Provers in the Jahob Data Structure Verification System. VMCAI 2007: 74-88

Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard: Field Constraint Analysis. VMCAI 2006: 157-173

Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, Martin C. Rinard: On Verifying Complex Properties using Symbolic Shape Analysis. CoRR abs/cs/0609104 (2006)

Andreas Podelski, Thomas Wies: Boolean Heaps. SAS 2005: 268-283