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, ...
Working Conference on Verified Software: Theories, Tools, and Experiments, 55-71, 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
The COST IC0701 verification competition 2011
T Bormer, M Brockschmidt, D Distefano, G Ernst, JC Filliâtre, R Grigore, ...
International Conference on Formal Verification of Object-Oriented Software …, 2011
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
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
Precise quantitative information flow analysis—a symbolic approach
V Klebanov
Theoretical Computer Science 538, 124-139, 2014
VerifyThis 2012
M Huisman, V Klebanov, R Monahan
International journal on software tools for technology transfer 17 (6), 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
Must program verification systems and calculi be verified
B Beckert, V Klebanov
Proceedings, 3rd International Verification Workshop (VERIFY), Workshop at …, 2006
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
VerifyThis 2015
M Huisman, V Klebanov, R Monahan, M Tautschnig
International journal on software tools for technology transfer 19 (6), 763-771, 2017
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
Dynamic logic for Java
B Beckert, V Klebanov, B Weiß
Deductive Software Verification–The KeY Book, 49-106, 2016
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
Pseudo-Random Number Generator Verification: A Case Study
F Dörre, V Klebanov
Verified Software: Theories, Tools, and Experiments (VSTTE), 2015
The system can't perform the operation now. Try again later.
Articles 1–20