EasyChair Smart SlideDocs/Log in
Author: Jochen Hoenicke

This page shows all presentations of this author published in EasyChair Smart Slide.

Deciding Satisfiability of Quantified Bitvector Formulae with BDDs

Deciding Satisfiability of Quantified Bitvector Formulae with BDDs

Jan Strejček and Jochen Hoenicke

Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT

Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT

Elisabeth Henkel, Jochen Hoenicke and Tanja Schindler

A Simple Proof Format for SMT

A Simple Proof Format for SMT

Jochen Hoenicke and Tanja Schindler

Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems

Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems

Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv and Sharon Shoham

The Map Equality Domain

The Map Equality Domain

Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz and Andreas Podelski

A Tree-Based Approach to Data Flow Proofs

A Tree-Based Approach to Data Flow Proofs

Jochen Hoenicke, Alexander Nutz and Andreas Podelski

Efficient Interpolation for the Theory of Arrays

Efficient Interpolation for the Theory of Arrays

Jochen Hoenicke and Tanja Schindler

Presentations in this collection: 7
Copyright © 2002 – 2025 EasyChair