Philipp Rümmer
Visar 9 publikationer
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
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
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
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
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
Integration of a Security Type System into a Program Logic
Reiner Hähnle, Jing Pan, Philipp Rümmer et al
Rapport
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
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
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.