Philipp Ruemmer
Philipp Ruemmer
Associate Professor (Docent) in Computer Science, Uppsala University
Verified email at it.uu.se - 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
1222014
Software Verification Using k-Induction
AF Donaldson, L Haller, D Kroening, P Rümmer
International Static Analysis Symposium, 351-368, 2011
1132011
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
1082010
A constraint sequent calculus for first-order logic with linear integer arithmetic
P Rümmer
International Conference on Logic for Programming Artificial Intelligence …, 2008
1082008
Disjunctive interpolants for Horn-clause verification
P Rümmer, H Hojjat, V Kuncak
International Conference on Computer Aided Verification, 347-363, 2013
1062013
String constraints for verification
PA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J Stenman
International Conference on Computer Aided Verification, 150-166, 2014
962014
A verification toolkit for numerical transition systems
H Hojjat, F Konečný, F Garnier, R Iosif, V Kuncak, P Rümmer
International Symposium on Formal Methods, 247-251, 2012
872012
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
832009
Real world verification
A Platzer, JD Quesel, P Rümmer
International Conference on Automated Deduction, 485-501, 2009
822009
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
812015
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
762011
An SMT-LIB theory of binary floating-point arithmetic
P Rümmer, T Wahl
International Workshop on Satisfiability Modulo Theories (SMT), 151, 2010
742010
Non-termination checking for imperative programs
H Velroyen, P Rümmer
International Conference on Tests and Proofs, 154-170, 2008
742008
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
632015
JayHorn: A framework for verifying Java programs
T Kahsai, P Rümmer, H Sanchez, M Schäf
International Conference on Computer Aided Verification, 352-358, 2016
612016
Ranking function synthesis for bit-vector relations
B Cook, D Kroening, P Rümmer, CM Wintersteiger
International Conference on Tools and Algorithms for the Construction and …, 2010
612010
Sequential, parallel, and quantified updates of first-order structures
P Rümmer
International Conference on Logic for Programming Artificial Intelligence …, 2006
532006
The ELDARICA horn solver
H Hojjat, P Rümmer
2018 Formal Methods in Computer Aided Design (FMCAD), 1-7, 2018
522018
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
502017
An interpolating sequent calculus for quantifier-free Presburger arithmetic
A Brillout, D Kroening, P Rümmer, T Wahl
International Joint Conference on Automated Reasoning, 384-399, 2010
492010
The system can't perform the operation now. Try again later.
Articles 1–20