Prof. Dr. Philipp Rümmer
Lehrstuhlinhaber
- E-Mail Adresse: philipp.ruemmer(at)ur.de (öffnet Ihr E-Mail-Programm)
- Tel: +49 941 943 - 68612 (startet einen Telefonanruf, wenn Ihr Gerät dies zulässt)
- Standort: Bajuwarenstr. 4, BA 602
- Lehrstuhl für Theoretische Informatik
Mehr Informationen zu Philipp Rümmer finden sich auf seiner persönlichen Website (externer Link, öffnet neues Fenster).
Publikationen
- Rümmer, Philipp (2007) A Sequent Calculus for Integer Arithmetic with Counterexample Generation.
: 259 - Rümmer, Philipp (2007) Construction of Proofs.
: 4334, S. 179—242.
https://dx.doi.org/10.1007/978-3-540-69061-0_4 - Rümmer, Philipp und Shah, Muhammad Ali (2007) Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic.
: 4454, S. 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 und Schmitt, Peter H. (2007) The KeY system 1.0 (Deduction Component).
: 4603, S. 379—384.
https://dx.doi.org/10.1007/978-3-540-73595-3_26 - Hähnle, Reiner, Pan, Jing, Rümmer, Philipp und Walter, Dennis (2006) Integration of a Security Type System into a Program Logic.
: 4661, S. 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, S. 422—436.
https://dx.doi.org/10.1007/11916277_29 - Ahrendt, Wolfgang, Beckert, Bernhard, Hähnle, Reiner, Rümmer, Philipp und Schmitt, Peter H. (2006) Verifying Object-Oriented Programs with KeY: A Tutorial.
: 4709, S. 70—101.
https://dx.doi.org/10.1007/978-3-540-74792-5_4 - Klebanov, Vladimir, Rümmer, Philipp, Schlager, Steffen und Schmitt, Peter H. (2005) Verification of JCSP Programs.
: 63, S. 203—218. - Bubel, Richard, Roth, Andreas und Rümmer, Philipp (2004) Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic.
: 199, S. 107—128.
https://dx.doi.org/10.1016/J.ENTCS.2007.11.015