Author:Philipp Rümmer

Publications
Abduction by Non-Experts Nikolaj Bjorner, Dejan Jovanović, Tancrède Lepoint, Philipp Rümmer and Martin Schäf In:IWIL Workshop and LPAR Short Presentations
Quantified Heap Invariants for Object-Oriented Programs Temesghen Kahsai, Rody Kersten, Philipp Rümmer and Martin Schäf In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Craig Interpolation for the Integers: Results, Implementation, and Experiences Philipp Rümmer In:IWIL 2012. The 9th International Workshop on the Implementation of Logics
Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays Angelo Brillout, Daniel Kroening, Philipp Rümmer and Thomas Wahl In:VERIFY-2010. 6th International Verification Workshop