Vladimir Klebanov

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Relational Program Reasoning Using Compiler IR - Combining Static Verification and Dynamic Analysis.

Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich

J. Autom. Reason., 2018

Automating regression verification of pointer programs by predicate abstraction.

Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich

Formal Methods Syst. Des., 2018

2017

VerifyThis 2015 - A program verification competition.

Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, Michael Tautschnig

Int. J. Softw. Tools Technol. Transf., 2017

2016

Dynamic Logic for Java.

Bernhard Beckert, Vladimir Klebanov, Benjamin Weiß

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Sound Probabilistic #SAT with Projection.

Vladimir Klebanov, Alexander Weigl, Jörg Weisbarth

Proceedings of the Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, 2016

Relational Program Reasoning Using Compiler IR.

Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

Automatic Margin Computation for Risk-Limiting Audits.

Bernhard Beckert, Michael Kirsten, Vladimir Klebanov, Carsten Schürmann

Proceedings of the Electronic Voting - First International Joint Conference, 2016

Practical Detection of Entropy Loss in Pseudo-Random Number Generators.

Felix Dörre, Vladimir Klebanov

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015

VerifyThis 2012 - A Program Verification Competition.

Marieke Huisman, Vladimir Klebanov, Rosemary Monahan

Int. J. Softw. Tools Technol. Transf., 2015

Pseudo-Random Number Generator Verification: A Case Study.

Felix Dörre, Vladimir Klebanov

Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015

Automating Regression Verification.

Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich

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.

Birgit Vogel-Heuser, Stefan Feldmann, Jens Folmer, Jan Ladiges, Alexander Fay, Sascha Lity, Matthias Tichy, Matthias Kowal, Ina Schaefer, Christopher Haubeck, Winfried Lamersdorf, Timo Kehrer, Sinem Getir, Mattias Ulbrich, Vladimir Klebanov, Bernhard Beckert

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Regression verification for Java using a secure information flow calculus.

Bernhard Beckert, Vladimir Klebanov, Mattias Ulbrich

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, 2015

2014

Precise quantitative information flow analysis - a symbolic approach.

Vladimir Klebanov

Theor. Comput. Sci., 2014

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

Dirk Beyer, Marieke Huisman, Vladimir Klebanov, Rosemary Monahan

Dagstuhl Reports, 2014

The KeY Platform for Verification and Analysis of Java Programs.

Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

2013

A Dynamic Logic for deductive verification of multi-threaded programs.

Bernhard Beckert, Vladimir Klebanov

Formal Aspects Comput., 2013

SAT-Based Analysis and Quantification of Information Flow in Programs.

Vladimir Klebanov, Norbert Manthey, Christian J. Muise

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Information Flow in Object-Oriented Software.

Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich

Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

2012

On the Organisation of Program Verification Competitions.

Marieke Huisman, Vladimir Klebanov, Rosemary Monahan

Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012

2011

The COST IC0701 Verification Competition 2011.

Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich

Proceedings of the Formal Verification of Object-Oriented Software, 2011

The 1st Verified Software Competition: Experience Report.

Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß

Proceedings of the FM 2011: Formal Methods, 2011

2010

Verification of Software Product Lines with Delta-Oriented Slicing.

Daniel Bruns, Vladimir Klebanov, Ina Schaefer

Proceedings of the Formal Verification of Object-Oriented Software, 2010

Improving the Usability of Specification Languages and Methods for Annotation-Based Verification.

Bernhard Beckert, Thorsten Bormer, Vladimir Klebanov

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009

Extending the reach and power of deductive program verification.

Vladimir Klebanov

PhD thesis, 2009

2008

Integrating Verification and Testing of Object-Oriented Software.

Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer

Proceedings of the Tests and Proofs - 2nd International Conference, 2008

2007

Proof Reuse.

Vladimir Klebanov

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

Dynamic Logic.

Bernhard Beckert, Vladimir Klebanov, Steffen Schlager

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

A Dynamic Logic for Deductive Verification of Concurrent Programs.

Bernhard Beckert, Vladimir Klebanov

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

The KeY system 1.0 (Deduction Component).

Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt

Proceedings of the Automated Deduction, 2007

2005

Verification of JCSP Programs.

Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt

Proceedings of the 28th Communicating Process Architectures Conference, 2005

2004

Proof Reuse for Deductive Program Verification.

Bernhard Beckert, Vladimir Klebanov

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

A JMM-Faithful Non-interference Calculus for Java.

Vladimir Klebanov

Proceedings of the Scientific Engineering of Distributed Java Applications, 2004

Proof Reuse for Program Verification Calculi.

Vladimir Klebanov

Proceedings of the Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, 2004