Get started
Author

Philipp Rümmer

Observed names: Philipp Rummer, Philipp Rüemmer, Rümmer, Philipp
Observed institutions: Uppsala University, Rochester Institute of Technology, ETH Zurich, University of Oxford, Khatam University, University of Regensburg, Chalmers University of Technology, University of Gothenburg
ORCID: 0000-0002-2733-7098
Observed ORCID: 0000-0002-2733-7098
OpenAlex ID: A5022025835
The ELDARICA Horn Solver
2018 · Hossein Hojjat, Philipp Rummer · Formal Methods in Computer-Aided Design · 163
Automating regression verification
2014 · Dennis Felsing, Sarah Grebing, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 129
A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
2008 · Philipp Rümmer · Lecture notes in computer science · 125
Software Verification Using k-Induction
2011 · Alastair F. Donaldson, Leopold Haller, et al. · Lecture notes in computer science · 121
PDF
Decision procedures for path feasibility of string-manipulating programs with complex operations
2019 · Taolue Chen, Matthew Hague, et al. · Proceedings of the ACM on Programming Languages · 108
PDF
String Constraints for Verification
2014 · Parosh Aziz Abdulla, Mohamed Faouzi Atig, et al. · Lecture notes in computer science · 103
PDF
JayHorn: A Framework for Verifying Java programs
2016 · Temesghen Kahsai, Philipp Rümmer, et al. · Lecture notes in computer science · 102
Norn: An SMT Solver for String Constraints
2015 · Parosh Aziz Abdulla, Mohamed Faouzi Atig, et al. · Lecture notes in computer science · 92
Disjunctive Interpolants for Horn-Clause Verification
2013 · Philipp Rümmer, Hossein Hojjat, et al. · Lecture notes in computer science · 92
A Polymorphic Intermediate Verification Language: Design and Logical Encoding
2010 · K. Rustan M. Leino, Philipp Rümmer · Lecture notes in computer science · 89
PDF
String constraints with concatenation and transducers solved efficiently
2017 · Lukáš Holík, Petr Janků, et al. · Proceedings of the ACM on Programming Languages · 69
PDF
Mutation-Based Test Case Generation for Simulink Models
2010 · Angelo Brillout, Nannan He, et al. · Lecture notes in computer science · 69
PDF
Test-case generation for embedded simulink via formal concept analysis
2011 · Nannan He, Philipp Rümmer, et al. · ACM/IEEE Design Automation Conference (DAC) · 66
PDF
Solving string constraints with Regex-dependent functions through transducers with priorities and variables
2022 · Taolue Chen, Alejandro Flores-Lamas, et al. · Proceedings of the ACM on Programming Languages · 64
PDF
A Verification Toolkit for Numerical Transition Systems: Tool Paper
2012 · Hossein Hojjat, Filip Konečný, et al. · Lecture notes in computer science · 64
Real World Verification
2009 · André Platzer, Jan-David Quesel, et al. · Lecture notes in computer science · 59
Non-termination Checking for Imperative Programs
2008 · Helga Velroyen, Philipp Rümmer · Springer eBooks · 58
Ranking Function Synthesis for Bit-Vector Relations
2010 · Byron Cook, Daniel Kroening, et al. · Lecture notes in computer science · 52
PDF
Flatten and conquer: a framework for efficient analysis of string constraints
2017 · Parosh Aziz Abdulla, Mohamed Faouzi Atig, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 48
Trau: SMT solver for string constraints
2018 · Parosh Aziz Abdulla, Mohamed Faouzi Atig, et al. · Formal Methods in Computer-Aided Design · 46
An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic
2010 · Angelo Brillout, Daniel Kroening, et al. · Lecture notes in computer science · 45
Learning to prove safety over parameterised concurrent systems
2017 · Yu-Fang Chen, Chih-Duo Hong, et al. · Formal Methods in Computer-Aided Design · 43
PDF
An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic
2011 · Angelo Brillout, Daniel Kroening, et al. · Journal of Automated Reasoning · 37
PDF
Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors
2010 · Alastair F. Donaldson, Daniel Kroening, et al. · Lecture notes in computer science · 36
PDF
Sequential, Parallel, and Quantified Updates of First-Order Structures
2006 · Philipp Rümmer · Lecture notes in computer science · 36
Works count: 172
Citation count: 2,939
H-index: 30
I10-index: 70
Year
Topic
Type