Vladimir Klebanov
Vladimir Klebanov
SAP SE (previously at Karlsruhe Institute of Technology)
Verified email at sap.com - Homepage
Title
Cited by
Cited by
Year
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
972014
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
85*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
682014
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
492013
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
452010
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
362011
Precise quantitative information flow analysis—a symbolic approach
V Klebanov
Theoretical Computer Science 538, 124-139, 2014
292014
VerifyThis 2012
M Huisman, V Klebanov, R Monahan
International journal on software tools for technology transfer 17 (6), 647-657, 2015
282015
Proof reuse for deductive program verification
B Beckert, V Klebanov
Proceedings of the Second International Conference on Software Engineering …, 2004
282004
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
272014
Must program verification systems and calculi be verified
B Beckert, V Klebanov
Proceedings, 3rd International Verification Workshop (VERIFY), Workshop at …, 2006
242006
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
23*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
232015
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
222007
VerifyThis 2015
M Huisman, V Klebanov, R Monahan, M Tautschnig
International journal on software tools for technology transfer 19 (6), 763-771, 2017
15*2017
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
142008
Precise Quantitative Information Flow Analysis Using Symbolic Model Counting
V Klebanov
International Workshop on Quantitative Aspects in Security Assurance (QASA), 2012
112012
On the organisation of program verification competitions
M Huisman, V Klebanov, R Monahan
Proceedings of the 1st International Workshop on Comparative Empirical …, 2012
112012
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
102016
Extending the reach and power of deductive program verification
V Klebanov
102009
The system can't perform the operation now. Try again later.
Articles 1–20