Vladimir Klebanov
Vladimir Klebanov
SAP SE (previously at Karlsruhe Institute of Technology)
Bestätigte E-Mail-Adresse bei sap.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1072014
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
87*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
692014
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
522013
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
462010
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
382011
Precise quantitative information flow analysis—a symbolic approach
V Klebanov
Theoretical Computer Science 538, 124-139, 2014
302014
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
16*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
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
122016
On the organisation of program verification competitions
M Huisman, V Klebanov, R Monahan
Proceedings of the 1st International Workshop on Comparative Empirical …, 2012
122012
Precise Quantitative Information Flow Analysis Using Symbolic Model Counting
V Klebanov
International Workshop on Quantitative Aspects in Security Assurance (QASA), 2012
112012
VerifyThis Verification Competition 2012: Organizers Report
M Huisman, V Klebanov, R Monahan
KIT, Fakultät für Informatik, 2013
102013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20