| 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 | 110 | 2014 |
| 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 | 101 | 2010 |
| Disjunctive interpolants for Horn-clause verification P Rümmer, H Hojjat, V Kuncak International Conference on Computer Aided Verification, 347-363, 2013 | 99 | 2013 |
| Software Verification Using k-Induction AF Donaldson, L Haller, D Kroening, P Rümmer International Static Analysis Symposium, 351-368, 2011 | 99 | 2011 |
| A constraint sequent calculus for first-order logic with linear integer arithmetic P Rümmer International Conference on Logic for Programming Artificial Intelligence …, 2008 | 95 | 2008 |
| 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 | 84 | 2012 |
| 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 | 82 | 2014 |
| Real world verification A Platzer, JD Quesel, P Rümmer International Conference on Automated Deduction, 485-501, 2009 | 79 | 2009 |
| 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 | 77 | 2009 |
| An SMT-LIB theory of binary floating-point arithmetic P Rümmer, T Wahl International Workshop on Satisfiability Modulo Theories (SMT), 151, 2010 | 72 | 2010 |
| 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 | 70 | 2011 |
| 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 | 68 | 2015 |
| Non-termination checking for imperative programs H Velroyen, P Rümmer International Conference on Tests and Proofs, 154-170, 2008 | 68 | 2008 |
| 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 | 57 | 2010 |
| 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 | 55 | 2015 |
| Sequential, parallel, and quantified updates of first-order structures P Rümmer International Conference on Logic for Programming Artificial Intelligence …, 2006 | 53 | 2006 |
| 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 | 48 | 2010 |
| 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 | 46 | 2016 |
| 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 | 42 | 2010 |
| 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 | 38 | 2017 |
Daniel KroeningAmazonVerified email at cs.ox.ac.uk
