The SCEAS System
Navigation Menu

Search the dblp DataBase


Philipp Rümmer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Philipp Rümmer
    Sequential, Parallel, and Quantified Updates of First-Order Structures. [Citation Graph (0, 0)][DBLP]
    LPAR, 2006, pp:422-436 [Conf]
  2. 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:379-384 [Conf]
  3. 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:41-60 [Conf]

  4. A Sequent Calculus for Integer Arithmetic with Counterexample Generation. [Citation Graph (, )][DBLP]

  5. Real World Verification. [Citation Graph (, )][DBLP]

  6. An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic. [Citation Graph (, )][DBLP]

  7. Verifying Object-Oriented Programs with KeY: A Tutorial. [Citation Graph (, )][DBLP]

  8. A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic. [Citation Graph (, )][DBLP]

  9. A Polymorphic Intermediate Verification Language: Design and Logical Encoding. [Citation Graph (, )][DBLP]

  10. Ranking Function Synthesis for Bit-Vector Relations. [Citation Graph (, )][DBLP]

  11. Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors. [Citation Graph (, )][DBLP]

  12. Integration of a Security Type System into a Program Logic. [Citation Graph (, )][DBLP]

  13. Non-termination Checking for Imperative Programs. [Citation Graph (, )][DBLP]

  14. Integrating Verification and Testing of Object-Oriented Software. [Citation Graph (, )][DBLP]

  15. Verification of JCSP Programs. [Citation Graph (, )][DBLP]

  16. Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic. [Citation Graph (, )][DBLP]

Search in 0.036secs, Finished in 0.036secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002