
Search the dblp DataBase
Philipp Rümmer:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Philipp Rümmer
Sequential, Parallel, and Quantified Updates of FirstOrder Structures. [Citation Graph (0, 0)][DBLP] LPAR, 2006, pp:422436 [Conf]
 Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt
The KeY system 1.0 (Deduction Component). [Citation Graph (0, 0)][DBLP] CADE, 2007, pp:379384 [Conf]
 Philipp Rümmer, Muhammad Ali Shah
Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic. [Citation Graph (0, 0)][DBLP] TAP, 2007, pp:4160 [Conf]
A Sequent Calculus for Integer Arithmetic with Counterexample Generation. [Citation Graph (, )][DBLP]
Real World Verification. [Citation Graph (, )][DBLP]
An Interpolating Sequent Calculus for QuantifierFree Presburger Arithmetic. [Citation Graph (, )][DBLP]
Verifying ObjectOriented Programs with KeY: A Tutorial. [Citation Graph (, )][DBLP]
A Constraint Sequent Calculus for FirstOrder Logic with Linear Integer Arithmetic. [Citation Graph (, )][DBLP]
A Polymorphic Intermediate Verification Language: Design and Logical Encoding. [Citation Graph (, )][DBLP]
Ranking Function Synthesis for BitVector Relations. [Citation Graph (, )][DBLP]
Automatic Analysis of ScratchPad Memory Code for Heterogeneous Multicore Processors. [Citation Graph (, )][DBLP]
Integration of a Security Type System into a Program Logic. [Citation Graph (, )][DBLP]
Nontermination Checking for Imperative Programs. [Citation Graph (, )][DBLP]
Integrating Verification and Testing of ObjectOriented Software. [Citation Graph (, )][DBLP]
Verification of JCSP Programs. [Citation Graph (, )][DBLP]
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic. [Citation Graph (, )][DBLP]
Search in 0.036secs, Finished in 0.036secs
