Philipp Rümmer

Publications (11)
Projects (0)

Showing 11 publications

2023

Black Ostrich: Web Application Scanning with String Solvers

Benjamin Lundblad, Amanda Stjerna, Riccardo De Masellis et al

CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, p. 549-563

Paper in proceeding

Show project

2022

TriCo—Triple Co-piloting of Implementation, Specification and Tests

Wolfgang Ahrendt, Dilian Gurov, Moa Johansson et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 13701 LNCS, p. 174-187

Paper in proceeding

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

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

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

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

Proc. 2nd Symposium on Trustworthy Global Computing, Lucca, Italy, Springer-Verlag LNCS. Vol. 4661, p. 116-131

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

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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.