Thomas Wies

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

VERMEER: A Tool for Tracing and Explaining Faulty C Programs.

[BibT_eX]

[DOI]

Chanseok Oh

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Practical SMT-based type error localization.

[BibT_eX]

[DOI]

Zvonimir Pavlinovic

Tim King

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Deciding Local Theory Extensions via E-matching.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Preface - Invariant Generation.

[BibT_eX]

[DOI]

Gudmund Grov

Sci. Comput. Program., 2014

Cascade 2.0.

[BibT_eX]

[DOI]

Wei Wang

Clark W. Barrett

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

GRASShopper - Complete Heap Verification with Mixed Specifications.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Concolic Fault Localization.

[BibT_eX]

[DOI]

Chanseok Oh

Proceedings of the 14th IEEE International Working Conference on Source Code Analysis and Manipulation, 2014

Dynamic Package Interfaces.

[BibT_eX]

[DOI]

Shahram Esmaeilsabzali

Rupak Majumdar

Proceedings of the Fundamental Approaches to Software Engineering, 2014

Automating Separation Logic with Trees and Data.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Dynamic Package Interfaces - Extended Version.

[BibT_eX]

[DOI]

Shahram Esmaeilsabzali

Rupak Majumdar

CoRR, 2013

A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages.

[BibT_eX]

[DOI]

Shahram Esmaeilsabzali

Rupak Majumdar

CoRR, 2013

Flow-Sensitive Fault Localization.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2013

Structural Counter Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Explaining inconsistent code.

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Automating Separation Logic Using SMT.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Deciding Functional Lists with Sublist Sets.

[BibT_eX]

[DOI]

Marco Muñiz

Viktor Kuncak

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Ideal Abstractions for Well-Structured Transition Systems.

[BibT_eX]

[DOI]

Thomas A. Henzinger

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Error Invariants.

[BibT_eX]

[DOI]

Evren Ermis

Proceedings of the FM 2012: Formal Methods, 2012

2011

Decision Procedures for Automating Termination Proofs.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Static Scheduling in Clouds.

[BibT_eX]

[DOI]

Proceedings of the 3rd USENIX Workshop on Hot Topics in Cloud Computing, 2011

Scheduling large jobs by abstraction refinement.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Computer Systems, 2011

An Efficient Decision Procedure for Imperative Tree Data Structures.

[BibT_eX]

[DOI]

Marco Muñiz

Viktor Kuncak

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010

Doomed program points.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2010

Building a Calculus of Data Structures.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2010

Counterexample-guided focus.

[BibT_eX]

[DOI]

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Forward Analysis of Depth-Bounded Processes.

[BibT_eX]

[DOI]

Thomas A. Henzinger

Proceedings of the Foundations of Software Science and Computational Structures, 2010

A marketplace for cloud resources.

[BibT_eX]

[DOI]

Proceedings of the 10th International conference on Embedded software, 2010

FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Cloud Computing, 2010

2009

Symbolic shape analysis.

[BibT_eX]

[DOI]

PhD thesis, 2009

Abstraction Refinement for Quantified Array Assertions.

[BibT_eX]

[DOI]

Mohamed Nassim Seghir

Proceedings of the Static Analysis, 16th International Symposium, 2009

Combining Theories with Shared Set Operations.

[BibT_eX]

[DOI]

Viktor Kuncak

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

It's Doomed; We Can Prove It.

[BibT_eX]

[DOI]

Proceedings of the FM 2009: Formal Methods, 2009

Intra-module Inference.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Heap Assumptions on Demand.

[BibT_eX]

[DOI]

Andrey Rybalchenko

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Using First-Order Theorem Provers in the Jahob Data Structure Verification System.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2007

Shape Analysis for Composite Data Structures.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

On Verifying Complex Properties using Symbolic Shape Analysis

[BibT_eX]

[DOI]

CoRR, 2006

Field Constraint Analysis.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2006

2005

Boolean Heaps.

[BibT_eX]

[DOI]