Vladimir Klebanov

Publication Activity (10 Years)

Years Active: 2004-2018
Publications (10 Years): 12

Top Venues

VSTTE

Int. J. Softw. Tools Technol. Transf.

COMPARE

Software Engineering & Management

University of Koblenz-Landau (PHD)

Education History

University of Koblenz-Landau

PHD

Publications

Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich
Automating regression verification of pointer programs by predicate abstraction. Formal Methods Syst. Des. 52 (3) (2018)
Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich
Relational Program Reasoning Using Compiler IR - Combining Static Verification and Dynamic Analysis. J. Autom. Reason. 60 (3) (2018)
Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, Michael Tautschnig
VerifyThis 2015 - A program verification competition. Int. J. Softw. Tools Technol. Transf. 19 (6) (2017)
Bernhard Beckert, Michael Kirsten, Vladimir Klebanov, Carsten Schürmann
Automatic Margin Computation for Risk-Limiting Audits. E-VOTE-ID (2016)
Vladimir Klebanov, Alexander Weigl, Jörg Weisbarth
Sound Probabilistic #SAT with Projection. QAPL (2016)
Felix Dörre, Vladimir Klebanov
Practical Detection of Entropy Loss in Pseudo-Random Number Generators. CCS (2016)
Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich
Relational Program Reasoning Using Compiler IR. VSTTE (2016)
Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich
Automating Regression Verification. Software Engineering & Management (2015)
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
Selected challenges of software evolution for automated production systems. INDIN (2015)
Bernhard Beckert, Vladimir Klebanov, Mattias Ulbrich
Regression verification for Java using a secure information flow calculus. FTfJP@ECOOP (2015)
Felix Dörre, Vladimir Klebanov
Pseudo-Random Number Generator Verification: A Case Study. VSTTE (2015)
Marieke Huisman, Vladimir Klebanov, Rosemary Monahan
VerifyThis 2012 - A Program Verification Competition. Int. J. Softw. Tools Technol. Transf. 17 (6) (2015)
Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich
Automating regression verification. ASE (2014)
Dirk Beyer, Marieke Huisman, Vladimir Klebanov, Rosemary Monahan
Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171). Dagstuhl Reports 4 (4) (2014)
Vladimir Klebanov
Precise quantitative information flow analysis - a symbolic approach. Theor. Comput. Sci. 538 (2014)
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
The KeY Platform for Verification and Analysis of Java Programs. VSTTE (2014)
Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich
Information Flow in Object-Oriented Software. LOPSTR (2013)
Vladimir Klebanov, Norbert Manthey, Christian J. Muise
SAT-Based Analysis and Quantification of Information Flow in Programs. QEST (2013)
Bernhard Beckert, Vladimir Klebanov
A Dynamic Logic for deductive verification of multi-threaded programs. Formal Aspects Comput. 25 (3) (2013)
Marieke Huisman, Vladimir Klebanov, Rosemary Monahan
On the Organisation of Program Verification Competitions. COMPARE (2012)
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
The COST IC0701 Verification Competition 2011. FoVeOOS (2011)
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ß
The 1st Verified Software Competition: Experience Report. FM (2011)
Daniel Bruns, Vladimir Klebanov, Ina Schaefer
Verification of Software Product Lines with Delta-Oriented Slicing. FoVeOOS (2010)
Bernhard Beckert, Thorsten Bormer, Vladimir Klebanov
Improving the Usability of Specification Languages and Methods for Annotation-Based Verification. FMCO (2010)
Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer
Integrating Verification and Testing of Object-Oriented Software. TAP (2008)
Bernhard Beckert, Vladimir Klebanov
A Dynamic Logic for Deductive Verification of Concurrent Programs. SEFM (2007)
Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt
The KeY system 1.0 (Deduction Component). CADE (2007)
Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt
Verification of JCSP Programs. CPA (2005)
Vladimir Klebanov
Proof Reuse for Program Verification Calculi. IJCAR Doctoral Programme (2004)
Vladimir Klebanov
A JMM-Faithful Non-interference Calculus for Java. FIDJI (2004)
Bernhard Beckert, Vladimir Klebanov
Proof Reuse for Deductive Program Verification. SEFM (2004)

Vladimir Klebanov.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Vladimir Klebanov