HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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

Keyphrases

abduction, Craig interpolation, Crowdsourcing, Horn Clause Solving, Horn solving, memory models, Presburger arithmetic, software model checking2, Theory of Arrays.

Copyright © 2012-2025 easychair.org. All rights reserved.