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
1412014
Software Verification Using k-Induction
AF Donaldson, L Haller, D Kroening, P Rümmer
Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011
1242011
A constraint sequent calculus for first-order logic with linear integer arithmetic
P Rümmer
Logic for Programming, Artificial Intelligence, and Reasoning: 15th …, 2008
1242008
A Polymorphic Intermediate Verification Language: Design and Logical Encoding.
KRM Leino, P Rümmer
TACAS 6015, 312-327, 2010
1192010
Disjunctive interpolants for Horn-clause verification
P Rümmer, H Hojjat, V Kuncak
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
1102013
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
1062014
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
972013
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
922012
Norn: An SMT solver for string constraints
PA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J Stenman
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
912015
Mutation-based test case generation for simulink models
A Brillout, N He, M Mazzucchi, D Kroening, M Purandare, P Rümmer, ...
Formal Methods for Components and Objects: 8th International Symposium, FMCO …, 2010
892010
Real world verification
A Platzer, JD Quesel, P Rümmer
Automated Deduction–CADE-22: 22nd International Conference on Automated …, 2009
852009
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
822011
The ELDARICA horn solver
H Hojjat, P Rümmer
2018 Formal Methods in Computer Aided Design (FMCAD), 1-7, 2018
812018
An SMT-LIB theory of binary floating-point arithmetic
P Rümmer, T Wahl
International Workshop on Satisfiability Modulo Theories (SMT), 151, 2010
812010
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
802011
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
772016
Non-termination checking for imperative programs
H Velroyen, P Rümmer
Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy …, 2008
772008
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
712015
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
632017
Sequential, parallel, and quantified updates of first-order structures
P Rümmer
Logic for Programming, Artificial Intelligence, and Reasoning: 13th …, 2006
522006
The system can't perform the operation now. Try again later.
Articles 1–20