| 2008 |
|---|
| 12 | EE | Philipp Rümmer:
A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic.
LPAR 2008: 274-289 |
| 11 | EE | Helga Velroyen,
Philipp Rümmer:
Non-termination Checking for Imperative Programs.
TAP 2008: 154-170 |
| 10 | EE | Christian Engel,
Christoph Gladisch,
Vladimir Klebanov,
Philipp Rümmer:
Integrating Verification and Testing of Object-Oriented Software.
TAP 2008: 182-191 |
| 9 | EE | Richard Bubel,
Andreas Roth,
Philipp Rümmer:
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic.
Electr. Notes Theor. Comput. Sci. 199: 107-128 (2008) |
| 8 | EE | Reiner Hähnle,
Jing Pan,
Philipp Rümmer,
Dennis Walter:
Integration of a security type system into a program logic.
Theor. Comput. Sci. 402(2-3): 172-189 (2008) |
| 2007 |
|---|
| 7 | EE | Bernhard Beckert,
Martin Giese,
Reiner Hähnle,
Vladimir Klebanov,
Philipp Rümmer,
Steffen Schlager,
Peter H. Schmitt:
The KeY system 1.0 (Deduction Component).
CADE 2007: 379-384 |
| 6 | EE | Philipp Rümmer,
Muhammad Ali Shah:
Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic.
TAP 2007: 41-60 |
| 5 | EE | Philipp Rümmer:
A Sequent Calculus for Integer Arithmetic with Counterexample Generation.
VERIFY 2007 |
| 2006 |
|---|
| 4 | EE | Wolfgang Ahrendt,
Bernhard Beckert,
Reiner Hähnle,
Philipp Rümmer,
Peter H. Schmitt:
Verifying Object-Oriented Programs with KeY: A Tutorial.
FMCO 2006: 70-101 |
| 3 | EE | Philipp Rümmer:
Sequential, Parallel, and Quantified Updates of First-Order Structures.
LPAR 2006: 422-436 |
| 2 | EE | Reiner Hähnle,
Jing Pan,
Philipp Rümmer,
Dennis Walter:
Integration of a Security Type System into a Program Logic.
TGC 2006: 116-131 |
| 2005 |
|---|
| 1 | | Vladimir Klebanov,
Philipp Rümmer,
Steffen Schlager,
Peter H. Schmitt:
Verification of JCSP Programs.
CPA 2005: 203-218 |
