Chalmers Research

Filter search results

Department

Co-author organization

Publication type

Year

Philipp Rümmer

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

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), 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 (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 (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), p. 154-170

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

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, 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, p. 379-384

Paper in proceeding

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

Paper in proceeding

2005

Interactive Verification of JCSP Programs

Philipp Rümmer

Report

Download to your computer

Download publication list

You can download this list to your computer.

Export in APA, Vancouver, IEEE as plain text, RTF/Word or html-format.

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.

RSS feed

If you're using an RSS reader or want to do an integration this link will give you the latest publications in RSS format.

Publications for Chalmers University of Technology

No projects found matching the query

There might be more projects, but you have to be logged in as a Chalmers employee to see them.

No persons found matching the query