Proof Reuse for Program Verification Calculi. - Vladimir Klebanov (IJCAR Doctoral Programme, 2004)

A JMM-Faithful Non-interference Calculus for Java. - Vladimir Klebanov (FIDJI, 2004)

Proof Reuse for Deductive Program Verification. - Bernhard Beckert; Vladimir Klebanov (SEFM, 2004)

Verification of JCSP Programs. - Vladimir Klebanov; Philipp Rümmer; Steffen Schlager; Peter H. Schmitt (CPA, 2005)

The KeY system 1.0 (Deduction Component). - Bernhard Beckert; Martin Giese; Reiner Hähnle; Vladimir Klebanov; Philipp Rümmer; Steffen Schlager; Peter H. Schmitt (CADE, 2007)

A Dynamic Logic for Deductive Verification of Concurrent Programs. - Bernhard Beckert; Vladimir Klebanov (SEFM, 2007)

Dynamic Logic. - Bernhard Beckert; Vladimir Klebanov; Steffen Schlager (The KeY Approach, 2007)

Proof Reuse. - Vladimir Klebanov (The KeY Approach, 2007)

Integrating Verification and Testing of Object-Oriented Software. - Christian Engel 002; Christoph Gladisch; Vladimir Klebanov; Philipp Rümmer (TAP, 2008)

Extending the reach and power of deductive program verification. - Vladimir Klebanov (2009)

Improving the Usability of Specification Languages and Methods for Annotation-Based Verification. - Bernhard Beckert; Thorsten Bormer; Vladimir Klebanov (FMCO, 2010)

Verification of Software Product Lines with Delta-Oriented Slicing. - Daniel Bruns; Vladimir Klebanov; Ina Schaefer (FoVeOOS, 2010)

The 1st Verified Software Competition: Experience Report. - Vladimir Klebanov; Peter Müller 001; Natarajan Shankar; Gary T. Leavens; Valentin Wüstholz; Eyad Alkassar; Rob Arthan; Derek Bronish; Rod Chapman; Ernie Cohen; Mark A. Hillebrand; Bart Jacobs 002; et al. (FM, 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; et al. (FoVeOOS, 2011)

On the Organisation of Program Verification Competitions. - Marieke Huisman; Vladimir Klebanov; Rosemary Monahan (COMPARE, 2012)

Information Flow in Object-Oriented Software. - Bernhard Beckert; Daniel Bruns; Vladimir Klebanov; Christoph Scheben; Peter H. Schmitt; Mattias Ulbrich (LOPSTR, 2013)

SAT-Based Analysis and Quantification of Information Flow in Programs. - Vladimir Klebanov; Norbert Manthey; Christian J. Muise (QEST, 2013)

A Dynamic Logic for deductive verification of multi-threaded programs. - Bernhard Beckert; Vladimir Klebanov (Formal Aspects Comput., 2013)

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 002; Mihai Herda; Vladimir Klebanov; Wojciech Mostowski; Christoph Scheben; et al. (VSTTE, 2014)

Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171). - Dirk Beyer 001; Marieke Huisman; Vladimir Klebanov; Rosemary Monahan (Dagstuhl Reports, 2014)

Precise quantitative information flow analysis - a symbolic approach. - Vladimir Klebanov (Theor. Comput. Sci., 2014)

Regression verification for Java using a secure information flow calculus. - Bernhard Beckert; Vladimir Klebanov; Mattias Ulbrich (FTfJP@ECOOP, 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; et al. (INDIN, 2015)

Automating Regression Verification. - Dennis Felsing; Sarah Grebing; Vladimir Klebanov; Philipp Rümmer; Mattias Ulbrich (Software Engineering & Management, 2015)

Pseudo-Random Number Generator Verification: A Case Study. - Felix Dörre; Vladimir Klebanov (VSTTE, 2015)

VerifyThis 2012 - A Program Verification Competition. - Marieke Huisman; Vladimir Klebanov; Rosemary Monahan (Int. J. Softw. Tools Technol. Transf., 2015)

Practical Detection of Entropy Loss in Pseudo-Random Number Generators. - Felix Dörre; Vladimir Klebanov (CCS, 2016)

Automatic Margin Computation for Risk-Limiting Audits. - Bernhard Beckert; Michael Kirsten; Vladimir Klebanov; Carsten Schürmann 001 (E-VOTE-ID, 2016)

Relational Program Reasoning Using Compiler IR. - Moritz Kiefer; Vladimir Klebanov; Mattias Ulbrich (VSTTE, 2016)

Sound Probabilistic #SAT with Projection. - Vladimir Klebanov; Alexander Weigl; Jörg Weisbarth (QAPL, 2016)

Dynamic Logic for Java. - Bernhard Beckert; Vladimir Klebanov; Benjamin Weiß 001 (Deductive Software Verification, 2016)

VerifyThis 2015 - A program verification competition. - Marieke Huisman; Vladimir Klebanov; Rosemary Monahan; Michael Tautschnig (Int. J. Softw. Tools Technol. Transf., 2017)

Automating regression verification of pointer programs by predicate abstraction. - Vladimir Klebanov; Philipp Rümmer; Mattias Ulbrich (Formal Methods Syst. Des., 2018)

Relational Program Reasoning Using Compiler IR - Combining Static Verification and Dynamic Analysis. - Moritz Kiefer; Vladimir Klebanov; Mattias Ulbrich (J. Autom. Reason., 2018)