Book Chapters, Invited Articles, Technical Reports

Also see DBLP and Google Scholar.


  1. Dilian Gurov, Christian Lidström, Philipp Rümmer:
    Alice in Wineland: A Fairy Tale with Contracts
    The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday.
    Springer, LNCS 13360, pages 229-242
    (PDF Preprint - BibTeX)


  1. Anthony W. Lin, Philipp Rümmer
    Regular Model Checking Revisited
    Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
    Springer, LNCS 13030, pages 97-114
    (PDF Preprint - BibTeX)
  2. Grigory Fedyukovich, Philipp Rümmer
    Competition Report: CHC-COMP-21
    8th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
    EPTCS, volume 344, pages 91-108
    (ArXiv - BibTeX)


  1. Zafer Esen, Philipp Rümmer
    Reasoning in the Theory of Heap: Satisfiability and Interpolation
    30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), Bologna, Italy
    Springer, LNCS 12561, pages 173-191
    (PDF - BibTeX - Abstract)
  2. Philipp Rümmer
    Competition Report: CHC-COMP-20
    7th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
    EPTCS, volume 320, pages 197-219
    (ArXiv - BibTeX)
  3. Anoud Alshnakat, Dilian Gurov, Christian Lidström, Philipp Rümmer
    Constraint-based Contract Inference for Deductive Verification
    Deductive Software Verification: Future Perspectives. Reflections on the Occasion of 20 Years of KeY
    Springer, LNCS 12345, pages 149-176
    (PDF Preprint - BibTeX - Abstract)


  1. Hossein Hojjat, Philipp Rümmer, Ali Shamakhi
    On Strings in Software Model Checking
    Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia
    Springer, LNCS 11893, pages 19-30
    (PDF Preprint - BibTeX - Abstract)


  1. Hossein Hojjat, Philipp Rümmer
    Deciding and Interpolating Algebraic Data Types by Reduction (Technical Report)
  2. Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
    Decision procedures for path feasibility of string-manipulating programs with complex operations


  1. Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer
    Learning to Prove Safety over Parameterised Concurrent Systems (Full Version)


  1. Philipp Rümmer, Mattias Ulbrich
    Proof Search with Taclets
    Chapter in: Deductive Software Verification - The KeY Book - From Theory to Practice
    Springer-Verlag, LNCS 10001, pages 107-147
    (SpringerLink - BibTeX)
  2. 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)
  3. 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)