Philipp Rümmer

Showing 9 publications

2010

Practical Aspects of Automated Deduction for Program Verification

Wolfgang Ahrendt, Bernhard Beckert, Martin Giese et al
KI - Künstliche Intelligenz. Vol. 24 (1), p. 43-49
Journal article
2008

Non-termination checking for imperative programs

Helga Velroyen, Philipp Rümmer
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4966 LNCS, p. 154-170
Paper in proceeding
2008

Integration of a Security Type System into a Program Logic

Reiner Hähnle, Jing Pan, Philipp Rümmer et al
Theoretical Computer Science. Vol. 402 (2-3), p. 172-189
Journal article
2007

Integration of a Security Type System into a Program Logic

Reiner Hähnle, Jing Pan, Philipp Rümmer et al
Proc. 2nd Symposium on Trustworthy Global Computing, Lucca, Italy, Springer-Verlag LNCS. Vol. 4661, p. 116-131
Paper in proceeding
2007

The KeY system 1.0 (Deduction Component)

Bernhard Beckert, Martin Giese, Reiner Hähnle et al
Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, Springer-Verlag, LNCS. Vol. 4603, p. 379-384
Paper in proceeding
2007

Integration of a Security Type System into a Program Logic

Reiner Hähnle, Jing Pan, Philipp Rümmer et al
Report
2007

Verifying Object-Oriented Programs with KeY: A Tutorial

Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle et al
Formal Methods for Components and Objects, eds. de Boer, Bonsangue, Graf, de Roever. Vol. LNCS 4709
Paper in proceeding
2005

Interactive Verification of JCSP Programs

Philipp Rümmer
Report
2004

Taclets: a new paradigm for writing theorem provers

Bernhard Beckert, Martin Giese, Elmar Habermalz et al
Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales - Serie A: Matematicas. Vol. 98 (1), p. 17-53
Journal article

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

There are no projects.
There might be more projects where Philipp Rümmer participates, but you have to be logged in as a Chalmers employee to see them.