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
1072014
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
992010
Disjunctive interpolants for Horn-clause verification
P Rümmer, H Hojjat, V Kuncak
International Conference on Computer Aided Verification, 347-363, 2013
972013
Software Verification Using k-Induction
AF Donaldson, L Haller, D Kroening, P Rümmer
International Static Analysis Symposium, 351-368, 2011
952011
A constraint sequent calculus for first-order logic with linear integer arithmetic
P Rümmer
International Conference on Logic for Programming Artificial Intelligence …, 2008
932008
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
832012
Real world verification
A Platzer, JD Quesel, P Rümmer
International Conference on Automated Deduction, 485-501, 2009
792009
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
772014
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
732009
An SMT-LIB theory of binary floating-point arithmetic
P Rümmer, T Wahl
International Workshop on Satisfiability Modulo Theories (SMT), 151, 2010
712010
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
682011
Non-termination checking for imperative programs
H Velroyen, P Rümmer
International Conference on Tests and Proofs, 154-170, 2008
672008
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
652015
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
552015
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
552010
Sequential, parallel, and quantified updates of first-order structures
P Rümmer
International Conference on Logic for Programming Artificial Intelligence …, 2006
532006
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
482010
Automatic analysis of scratch-pad memory code for heterogeneous multicore processors
AF Donaldson, D Kroening, P Rümmer
International Conference on Tools and Algorithms for the Construction and …, 2010
422010
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
412016
Accelerating interpolants
H Hojjat, R Iosif, F Konečný, V Kuncak, P Rümmer
International Symposium on Automated Technology for Verification and …, 2012
382012
The system can't perform the operation now. Try again later.
Articles 1–20