Prof. Dr. Philipp Rümmer
Head of Chair
- E-mail address: philipp.ruemmer(at)ur.de (opens your email program)
- Tel: +49 941 943 - 68612 (starts a telephone call, if your device allows this)
- Location: Bajuwarenstr. 4, BA 602
- Theoretical Computer Science Group
More information about Philipp Rümmer can be found on his personal website (external link, opens in a new window).
Publications
- Rümmer, Philipp (2007) A Sequent Calculus for Integer Arithmetic with Counterexample Generation.
: 259 - Rümmer, Philipp (2007) Construction of Proofs.
: 4334, P. 179—242.
https://dx.doi.org/10.1007/978-3-540-69061-0_4 - Rümmer, Philipp and Shah, Muhammad Ali (2007) Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic.
: 4454, P. 41—60.
https://dx.doi.org/10.1007/978-3-540-73770-4_3 - Beckert, Bernhard, Giese, Martin, H?hnle, Reiner, Klebanov, Vladimir, Rümmer, Philipp, Schlager, Steffen and Schmitt, Peter H. (2007) The KeY system 1.0 (Deduction Component).
: 4603, P. 379—384.
https://dx.doi.org/10.1007/978-3-540-73595-3_26 - H?hnle, Reiner, Pan, Jing, Rümmer, Philipp and Walter, Dennis (2006) Integration of a Security Type System into a Program Logic.
: 4661, P. 116—131.
https://dx.doi.org/10.1007/978-3-540-75336-0_8 - Rümmer, Philipp (2006) Sequential, Parallel, and Quantified Updates of First-Order Structures.
: 4246, P. 422—436.
https://dx.doi.org/10.1007/11916277_29 - Ahrendt, Wolfgang, Beckert, Bernhard, H?hnle, Reiner, Rümmer, Philipp and Schmitt, Peter H. (2006) Verifying Object-Oriented Programs with KeY: A Tutorial.
: 4709, P. 70—101.
https://dx.doi.org/10.1007/978-3-540-74792-5_4 - Klebanov, Vladimir, Rümmer, Philipp, Schlager, Steffen and Schmitt, Peter H. (2005) Verification of JCSP Programs.
: 63, P. 203—218. - Bubel, Richard, Roth, Andreas and Rümmer, Philipp (2004) Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic.
: 199, P. 107—128.
https://dx.doi.org/10.1016/J.ENTCS.2007.11.015