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 | 158 | 2014 |
A constraint sequent calculus for first-order logic with linear integer arithmetic P Rümmer International Conference on Logic for Programming Artificial Intelligence …, 2008 | 157 | 2008 |
Software Verification Using k-Induction AF Donaldson, L Haller, D Kroening, P Rümmer Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011 | 147 | 2011 |
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 | 128 | 2010 |
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 | 126 | 2014 |
The ELDARICA horn solver H Hojjat, P Rümmer 2018 Formal Methods in Computer Aided Design (FMCAD), 1-7, 2018 | 124 | 2018 |
Disjunctive interpolants for Horn-clause verification P Rümmer, H Hojjat, V Kuncak Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 116 | 2013 |
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 | 108 | 2015 |
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 | 101 | 2016 |
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 | 100 | 2013 |
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 | 95 | 2009 |
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 | 92 | 2012 |
Real world verification A Platzer, JD Quesel, P Rümmer Automated Deduction–CADE-22: 22nd International Conference on Automated …, 2009 | 90 | 2009 |
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 | 88 | 2011 |
An SMT-LIB theory of binary floating-point arithmetic P Rümmer, T Wahl International Workshop on Satisfiability Modulo Theories (SMT) 151, 2010 | 84 | 2010 |
Non-termination checking for imperative programs H Velroyen, P Rümmer International Conference on Tests and Proofs, 154-170, 2008 | 83 | 2008 |
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 | 82 | 2015 |
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 | 81 | 2011 |
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 | 76 | 2017 |
Decision procedures for path feasibility of string-manipulating programs with complex operations T Chen, M Hague, AW Lin, P Rümmer, Z Wu Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019 | 75 | 2019 |