Vladimir Klebanov

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