Vladimir Klebanov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
8
Active years
2004–2016
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CCS | Practical Detection of Entropy Loss in Pseudo-Random Number Generators. | Felix Drre, Vladimir Klebanov |
| 2015 | ECOOP | Regression verification for Java using a secure information flow calculus. | Bernhard Beckert, Vladimir Klebanov, Mattias Ulbrich |
| 2015 | INDIN | 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 |
| 2013 | LOPSTR | Information Flow in Object-Oriented Software. | Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich |
| 2012 | CADE | On the Organisation of Program Verification Competitions. | Marieke Huisman, Vladimir Klebanov, Rosemary Monahan |
| 2011 | FM | The 1st Verified Software Competition: Experience Report. | Vladimir Klebanov, Peter Mller, Natarajan Shankar, Gary T. Leavens, Valentin Wstholz, 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 |
| 2008 | TAP | Integrating Verification and Testing of Object-Oriented Software. | Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rmmer |
| 2007 | CADE | The KeY system 1.0 (Deduction Component). | Bernhard Beckert, Martin Giese, Reiner Hhnle, Vladimir Klebanov, Philipp Rmmer, Steffen Schlager, Peter H. Schmitt |
| 2007 | SEFM | A Dynamic Logic for Deductive Verification of Concurrent Programs. | Bernhard Beckert, Vladimir Klebanov |
| 2004 | CADE | Proof Reuse for Program Verification Calculi. | Vladimir Klebanov |
| 2004 | SEFM | Proof Reuse for Deductive Program Verification. | Bernhard Beckert, Vladimir Klebanov |