Book Chapters, Invited Articles, Technical Reports

Also see DBLP and Google Scholar.


  1. Philipp Rümmer, Wang Yi
    Characterization of Simulation by Probabilistic Testing
    Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
    Springer-Verlag, LNCS 9660, pages 360-372
    (PDF Preprint - BibTeX)
  2. Anthony W. Lin, Philipp Rümmer
    Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report)


  1. Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun
    Regular Symmetry Patterns (Technical Report)
  2. Peter Backeman, Philipp Rümmer
    Free Variables and Theories: Revisiting Rigid E-Unification
    Invited paper: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015
    Springer-Verlag, LNCS 9322, pages 3-13
    (PDF Preprint - BibTeX - Abstract)


  1. Hossein Hojjat, Philipp Rümmer, Pavle Subotic, Wang Yi
    Uniform Analysis for Communicating Timed Systems (Extended Technical Report)
    (EPFL page)
  2. Philipp Rümmer, Hossein Hojjat, Viktor Kuncak
    The Relationship between Craig Interpolation and Recursion-Free Horn Clauses
  3. Philipp Rümmer, Hossein Hojjat, Viktor Kuncak
    Disjunctive Interpolants for Horn-Clause Verification (Extended Technical Report)


  1. 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)


  1. André Platzer, Jan-David Quesel, Philipp Rümmer
    Real World Verification
    Reports of SFB/TR 14 AVACS 52, 2009. ISSN: 1860-9821,
    (PDF - BibTeX - Abstract - More information)


  1. 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)


  1. 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)
  2. 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)


  1. 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)