Publikationen
- Rümmer, Philipp (2007). A Sequent Calculus for Integer Arithmetic with Counterexample Generation.
, 259 in: Bernhard Beckert (eds.) Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007. CEUR-WS.org - Rümmer, Philipp (2007). Construction of Proofs.
, 4334 in: Bernhard Beckert and Reiner H?hnle and Peter H. Schmitt (eds.) Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino. Springer, 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 in: Yuri Gurevich and Bertrand Meyer (eds.) Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers. Springer, 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 in: Frank Pfenning (eds.) Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings. Springer, 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 in: Ugo Montanari and Donald Sannella and Roberto Bruni (eds.) Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers. Springer, 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 in: Miki Hermann and Andrei Voronkov (eds.) Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings. Springer, 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 in: Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever (eds.) Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures. Springer, 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 in: Jan F. Broenink and Herman W. Roebbers and Johan P. E. Sunter and Peter H. Welch and David C. Wood (eds.) The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005. IOS Press, 203—218. - Bubel, Richard, Roth, Andreas und Rümmer, Philipp (2004). Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic.
, 199 in: Carsten Schürmann (eds.) Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, LFM@IJCAR 2004. Cork, Ireland, July 5, 2004. Elsevier, 107—128.
https://dx.doi.org/10.1016/J.ENTCS.2007.11.015