Philipp Rümmer

Publikationer (11)
Projekt (0)

Visar 11 publikationer

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 i proceeding

Visa projekt

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 i 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

Artikel i vetenskaplig tidskrift

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

Artikel i vetenskaplig tidskrift

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 i 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 i proceeding

2007

Integration of a Security Type System into a Program Logic

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

Rapport

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 i 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. Vol. LNCS 4709

Paper i proceeding

2005

Interactive Verification of JCSP Programs

Philipp Rümmer

Rapport

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

Artikel i vetenskaplig tidskrift

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.

Det kan finnas fler projekt där Philipp Rümmer medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.