Vladimir Klebanov
Vladimir Klebanov
SAP SE (previously at Karlsruhe Institute of Technology)
Verified email at - Homepage
Cited by
Cited by
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
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
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
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
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
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
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
Precise quantitative information flow analysis—a symbolic approach
V Klebanov
Theoretical Computer Science 538, 124-139, 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
VerifyThis 2012: A program verification competition
M Huisman, V Klebanov, R Monahan
International journal on software tools for technology transfer 17, 647-657, 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
Proof reuse for deductive program verification
B Beckert, V Klebanov
Proceedings of the Second International Conference on Software Engineering …, 2004
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
Dynamic logic for Java
B Beckert, V Klebanov, B Weiß
Deductive Software Verification–The KeY Book: From Theory to Practice, 49-106, 2016
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
Must program verification systems and calculi be verified
B Beckert, V Klebanov
Proceedings, 3rd International Verification Workshop (VERIFY), Workshop at …, 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
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
Precise Quantitative Information Flow Analysis Using Symbolic Model Counting
V Klebanov
International Workshop on Quantitative Aspects in Security Assurance (QASA), 2012
Integrating verification and testing of object-oriented software
C Engel, C Gladisch, V Klebanov, P Rümmer
International Conference on Tests and Proofs, 182-191, 2008
The system can't perform the operation now. Try again later.
Articles 1–20