Book Chapters, Other Articles, Technical Reports, etc.
2010
- Angelo Brillout,
Daniel Kroening,
Philipp Rümmer,
Thomas Wahl
Beyond Quantifier-Free
Interpolation in Extensions of Presburger Arithmetic (Extended
Technical Report)
arXiv:1011.1036, Logic in
Computer Science, 2010
(PDF - arXiv page)
2009
2008
- Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp
Rümmer
Integrating Verification and
Testing of Object-Oriented Software
2nd International Conference on Tests and Proofs, Prato,
Italy, 2008
Springer-Verlag, LNCS 4966, pages 182-191
(Tutorial paper)
(Preliminary
PDF - BibTeX
- Abstract)
2007
- Philipp Rümmer
Construction of Proofs
Chapter in: Verification of Object-Oriented Software: The
KeY Approach
Springer-Verlag, LNCS 4334, pages 177-242
(SpringerLink
- BibTeX)
- Reiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter
Integration of a Security Type
System into a Program Logic
Department of Computer Science and Engineering, Chalmers University of
Technology and Göteborg University
Technical Report no. 2007:1
(PDF
- BibTeX
- Abstract)
2004
- 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)