| 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 | 163 | 2014 |
| The 1st verified software competition: Experience report V Klebanov, P Müller, N Shankar, GT Leavens, V Wüstholz, E Alkassar, ... International Symposium on Formal Methods, 154-168, 2011 | 99* | 2011 |
| The KeY platform for verification and analysis of Java programs W Ahrendt, B Beckert, D Bruns, R Bubel, C Gladisch, S Grebing, R Hähnle, ... Verified Software: Theories, Tools and Experiments: 6th International …, 2014 | 90 | 2014 |
| SAT-based Analysis and Quantification of Information Flow in Programs V Klebanov, N Manthey, C Muise International Conference on Quantitative Evaluation of Systems, 156-171, 2013 | 83 | 2013 |
| Verification of software product lines with delta-oriented slicing D Bruns, V Klebanov, I Schaefer International Conference on Formal Verification of Object-Oriented Software …, 2010 | 51 | 2010 |
| Relational program reasoning using compiler IR: Combining Static Verification and Dynamic Analysis M Kiefer, V Klebanov, M Ulbrich Journal of Automated Reasoning 60 (3), 337-363, 2018 | 46* | 2018 |
| The COST IC0701 verification competition 2011 T Bormer, M Brockschmidt, D Distefano, G Ernst, JC Filliâtre, R Grigore, ... Formal Verification of Object-Oriented Software: International Conference …, 2012 | 46 | 2012 |
| Precise quantitative information flow analysis—a symbolic approach V Klebanov Theoretical Computer Science 538, 124-139, 2014 | 41 | 2014 |
| Selected challenges of software evolution for automated production systems B Vogel-Heuser, S Feldmann, J Folmer, J Ladiges, A Fay, S Lity, M Tichy, ... 2015 IEEE 13th International Conference on Industrial Informatics (INDIN …, 2015 | 39 | 2015 |
| VerifyThis 2012: A program verification competition M Huisman, V Klebanov, R Monahan International journal on software tools for technology transfer 17, 647-657, 2015 | 36 | 2015 |
| Information flow in object-oriented software B Beckert, D Bruns, V Klebanov, C Scheben, PH Schmitt, M Ulbrich Logic-Based Program Synthesis and Transformation, 19-37, 2014 | 35 | 2014 |
| Proof reuse for deductive program verification B Beckert, V Klebanov Proceedings of the Second International Conference on Software Engineering …, 2004 | 33 | 2004 |
| Dynamic logic for Java B Beckert, V Klebanov, B Weiß Deductive Software Verification–The KeY Book: From Theory to Practice, 49-106, 2016 | 24 | 2016 |
| VerifyThis 2015: a program verification competition M Huisman, V Klebanov, R Monahan, M Tautschnig International journal on software tools for technology transfer 19, 763-771, 2017 | 23 | 2017 |
| The KeY system 1.0 (deduction component) B Beckert, M Giese, R Hähnle, V Klebanov, P Rümmer, S Schlager, ... International Conference on Automated Deduction, 379-384, 2007 | 22 | 2007 |
| Must program verification systems and calculi be verified B Beckert, V Klebanov Proceedings, 3rd International Verification Workshop (VERIFY), Workshop at …, 2006 | 22 | 2006 |
| Practical detection of entropy loss in pseudo-random number generators F Dörre, V Klebanov Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016 | 18 | 2016 |
| Automating regression verification of pointer programs by predicate abstraction V Klebanov, P Rümmer, M Ulbrich Formal methods in system design 52, 229-259, 2018 | 13 | 2018 |
| Precise Quantitative Information Flow Analysis Using Symbolic Model Counting V Klebanov International Workshop on Quantitative Aspects in Security Assurance (QASA), 2012 | 13 | 2012 |
| On the organisation of program verification competitions M Huisman, V Klebanov, R Monahan Proceedings of the 1st International Workshop on Comparative Empirical …, 2012 | 13 | 2012 |
