Philipp Ruemmer
Philipp Ruemmer
Associate Professor (Docent) in Computer Science, Uppsala University
E-mail confirmado em it.uu.se - Página inicial
Título
Citado por
Citado por
Ano
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
1102014
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
1012010
Disjunctive interpolants for Horn-clause verification
P Rümmer, H Hojjat, V Kuncak
International Conference on Computer Aided Verification, 347-363, 2013
992013
Software Verification Using k-Induction
AF Donaldson, L Haller, D Kroening, P Rümmer
International Static Analysis Symposium, 351-368, 2011
992011
A constraint sequent calculus for first-order logic with linear integer arithmetic
P Rümmer
International Conference on Logic for Programming Artificial Intelligence …, 2008
952008
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
842012
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
822014
Real world verification
A Platzer, JD Quesel, P Rümmer
International Conference on Automated Deduction, 485-501, 2009
792009
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
772009
An SMT-LIB theory of binary floating-point arithmetic
P Rümmer, T Wahl
International Workshop on Satisfiability Modulo Theories (SMT), 151, 2010
722010
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
702011
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
682015
Non-termination checking for imperative programs
H Velroyen, P Rümmer
International Conference on Tests and Proofs, 154-170, 2008
682008
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
572010
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
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
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
462016
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
Flatten and conquer: a framework for efficient analysis of string constraints
PA Abdulla, MF Atig, YF Chen, BP Diep, L Holík, A Rezine, P Rümmer
ACM SIGPLAN Notices 52 (6), 602-617, 2017
382017
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20