Follow
Philipp Ruemmer
Philipp Ruemmer
Professor in Computer Science, University of Regensburg
Verified email at ur.de - Homepage
Title
Cited by
Cited by
Year
Automating regression verification
D Felsing, S Grebing, V Klebanov, P Rümmer, M Ulbrich
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
1742014
A constraint sequent calculus for first-order logic with linear integer arithmetic
P Rümmer
International Conference on Logic for Programming Artificial Intelligence …, 2008
1692008
Software Verification Using k-Induction
AF Donaldson, L Haller, D Kroening, P Rümmer
Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011
1602011
The ELDARICA horn solver
H Hojjat, P Rümmer
2018 Formal Methods in Computer Aided Design (FMCAD), 1-7, 2018
1552018
String constraints for verification
PA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J Stenman
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
1382014
A polymorphic intermediate verification language: Design and logical encoding
KRM Leino, P Rümmer
International Conference on Tools and Algorithms for the Construction and …, 2010
1352010
Norn: An SMT solver for string constraints
PA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J Stenman
International conference on computer aided verification, 462-469, 2015
1202015
Disjunctive interpolants for Horn-clause verification
P Rümmer, H Hojjat, V Kuncak
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
1202013
JayHorn: A Framework for Verifying Java programs
T Kahsai, P Rümmer, H Sanchez, M Schäf
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
1182016
Ranking function synthesis for bit-vector relations
B Cook, D Kroening, P Rümmer, CM Wintersteiger
Formal methods in system design 43 (1), 93-120, 2013
992013
A Verification Toolkit for Numerical Transition Systems: Tool Paper
H Hojjat, F Konečný, F Garnier, R Iosif, V Kuncak, P Rümmer
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012
982012
Mutation-based test case generation for simulink models
A Brillout, N He, M Mazzucchi, D Kroening, M Purandare, P Rümmer, ...
International Symposium on Formal Methods for Components and Objects, 208-227, 2009
952009
Test-case generation for embedded simulink via formal concept analysis
N He, P Rümmer, D Kroening
Proceedings of the 48th Design Automation Conference, 224-229, 2011
922011
Real world verification
A Platzer, JD Quesel, P Rümmer
International Conference on Automated Deduction, 485-501, 2009
922009
Decision procedures for path feasibility of string-manipulating programs with complex operations
T Chen, M Hague, AW Lin, P Rümmer, Z Wu
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
912019
An SMT-LIB theory of binary floating-point arithmetic
P Rümmer, T Wahl
International Workshop on Satisfiability Modulo Theories (SMT) 151, 2010
892010
An automatable formal semantics for IEEE-754 floating-point arithmetic
M Brain, C Tinelli, P Rümmer, T Wahl
2015 IEEE 22nd Symposium on Computer Arithmetic, 160-167, 2015
882015
String constraints with concatenation and transducers solved efficiently
L Holík, P Janků, AW Lin, P Rümmer, T Vojnar
Proceedings of the ACM on Programming Languages 2 (POPL), 1-32, 2017
832017
An interpolating sequent calculus for quantifier-free Presburger arithmetic
A Brillout, D Kroening, P Rümmer, T Wahl
Journal of Automated Reasoning 47 (4), 341-367, 2011
832011
Non-termination checking for imperative programs
H Velroyen, P Rümmer
International Conference on Tests and Proofs, 154-170, 2008
832008
The system can't perform the operation now. Try again later.
Articles 1–20