Philipp Ruemmer
Philipp Ruemmer
Associate Professor (Docent) in Computer Science, Uppsala University
Bestätigte E-Mail-Adresse bei it.uu.se - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1172014
Software Verification Using k-Induction
AF Donaldson, L Haller, D Kroening, P Rümmer
International Static Analysis Symposium, 351-368, 2011
1102011
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
1072010
A constraint sequent calculus for first-order logic with linear integer arithmetic
P Rümmer
International Conference on Logic for Programming Artificial Intelligence …, 2008
1062008
Disjunctive interpolants for Horn-clause verification
P Rümmer, H Hojjat, V Kuncak
International Conference on Computer Aided Verification, 347-363, 2013
1032013
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
882014
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
862012
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
822009
Real world verification
A Platzer, JD Quesel, P Rümmer
International Conference on Automated Deduction, 485-501, 2009
822009
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
752010
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
742015
Non-termination checking for imperative programs
H Velroyen, P Rümmer
International Conference on Tests and Proofs, 154-170, 2008
732008
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
592015
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
592010
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
532016
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
492010
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
452010
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
432017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20