Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Homepage of Philipp Rümmer

Philipp Rümmer (PhD Student, Chalmers University)

Since September 2004 I am doing my PhD in Computer Science at the Chalmers University, Gothenburg. My supervisor is Wolfgang Ahrendt. I am member of the formal methods group, and I am particularly interested in verification of imperative and/or concurrent programs.

Philipp Rümmer
Department of Computer Science and Engineering
Chalmers University of Technology and Göteborg University
412-96 Göteborg, Sweden
Room: 5478, Computer Science and Engineering Building
Mail: ph_r@gmx.net, philipp@cs.chalmers.se
Tel: +46 (0)31 772 1028
GPG/PGP5-Key

Technical Reports

Philipp Rümmer
Interactive Verification of JCSP Programs
Technical Report no. 2005-01
Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University
(Postscript - BibTeX - Abstract)

Teaching

Objektorienterad systemutveckling IT, HT 2004 - VT 2005
Software Engineering using Formal Methods, 2005

KeY and the Time in Karlsruhe

While I was studying at the University of Karlsruhe (between 1999 and 2004), I have worked for the KeY-Project as a student assistant (I am also member of the project nowadays). The project is about specification and deductive verification of JavaCard programs. Publications I have (co)authored when I was in Karlsruhe are:

Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Andreas Roth, Philipp Rümmer, and Steffen Schlager
Taclets – A new paradigm for constructing interactive theorem provers
Revista de la Real Academia de Ciencias, Físicas Y Naturales, Serie A: Matemáticas, 98 (1), 2004.
(PDF - BibTeX - Abstract)
Richard Bubel, Andreas Roth, and Philipp Rümmer
Ensuring Correctness of Lightweight Tactics for Java Card Dynamic Logic
Proceedings of Workshop on Logical Frameworks and Meta-Languages (LFM) at IJCAR 2004, 2004
(PDF - BibTeX - Abstract)
Philipp Rümmer
Ensuring the Soundness of Taclets - Constructing Proof Obligations for Java Card DL Taclets
Minor Thesis, University of Karlsruhe, 2003
(PDF - BibTeX)

Last update: Thu Feb 17 2005 by Philipp Rümmer

Disclaimer