Vladimir Klebanov

Affiliations:
  • Karlsruhe Institute of Technology, Germany


According to our database1, Vladimir Klebanov authored at least 34 papers between 2004 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
Relational Program Reasoning Using Compiler IR - Combining Static Verification and Dynamic Analysis.
J. Autom. Reason., 2018

Automating regression verification of pointer programs by predicate abstraction.
Formal Methods Syst. Des., 2018

2017
VerifyThis 2015 - A program verification competition.
Int. J. Softw. Tools Technol. Transf., 2017

2016
Dynamic Logic for Java.
Proceedings of the Deductive Software Verification - The KeY Book, 2016

Sound Probabilistic #SAT with Projection.
Proceedings of the Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, 2016

Relational Program Reasoning Using Compiler IR.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

Automatic Margin Computation for Risk-Limiting Audits.
Proceedings of the Electronic Voting - First International Joint Conference, 2016

Practical Detection of Entropy Loss in Pseudo-Random Number Generators.
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015
VerifyThis 2012 - A Program Verification Competition.
Int. J. Softw. Tools Technol. Transf., 2015

Pseudo-Random Number Generator Verification: A Case Study.
Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015

Automating Regression Verification.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Selected challenges of software evolution for automated production systems.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Regression verification for Java using a secure information flow calculus.
Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, 2015

2014
Precise quantitative information flow analysis - a symbolic approach.
Theor. Comput. Sci., 2014

Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171).
Dagstuhl Reports, 2014

The KeY Platform for Verification and Analysis of Java Programs.
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

2013
A Dynamic Logic for deductive verification of multi-threaded programs.
Formal Aspects Comput., 2013

SAT-Based Analysis and Quantification of Information Flow in Programs.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Information Flow in Object-Oriented Software.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

2012
On the Organisation of Program Verification Competitions.
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012

2011


2010
Verification of Software Product Lines with Delta-Oriented Slicing.
Proceedings of the Formal Verification of Object-Oriented Software, 2010

Improving the Usability of Specification Languages and Methods for Annotation-Based Verification.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009
Extending the reach and power of deductive program verification.
PhD thesis, 2009

2008
Integrating Verification and Testing of Object-Oriented Software.
Proceedings of the Tests and Proofs - 2nd International Conference, 2008

2007
Proof Reuse.
Proceedings of the Verification of Object-Oriented Software. The KeY Approach, 2007

Dynamic Logic.
Proceedings of the Verification of Object-Oriented Software. The KeY Approach, 2007

A Dynamic Logic for Deductive Verification of Concurrent Programs.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

The KeY system 1.0 (Deduction Component).
Proceedings of the Automated Deduction, 2007

2005
Verification of JCSP Programs.
Proceedings of the 28th Communicating Process Architectures Conference, 2005

2004
Proof Reuse for Deductive Program Verification.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

A JMM-Faithful Non-interference Calculus for Java.
Proceedings of the Scientific Engineering of Distributed Java Applications, 2004

Proof Reuse for Program Verification Calculi.
Proceedings of the Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, 2004


  Loading...