Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Vladimir Klebanov
2010 – today
- 2013
[j1]Bernhard Beckert, Vladimir Klebanov: A Dynamic Logic for deductive verification of multi-threaded programs. Formal Asp. Comput. 25(3): 405-437 (2013)- [c13]Vladimir Klebanov, Norbert Manthey, Christian J. Muise: SAT-Based Analysis and Quantification of Information Flow in Programs. QEST 2013: 177-192
- 2012
- [c12]Marieke Huisman, Vladimir Klebanov, Rosemary Monahan: On the Organisation of Program Verification Competitions. COMPARE 2012: 50-59
- [e1]Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe (Eds.): Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012. CEUR Workshop Proceedings 873, CEUR-WS.org 2012
- 2011
- [c11]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: 154-168
- [c10]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: 3-21
- 2010
- [c9]Bernhard Beckert, Thorsten Bormer, Vladimir Klebanov: Improving the Usability of Specification Languages and Methods for Annotation-Based Verification. FMCO 2010: 61-79
- [c8]Daniel Bruns, Vladimir Klebanov, Ina Schaefer: Verification of Software Product Lines with Delta-Oriented Slicing. FoVeOOS 2010: 61-75
2000 – 2009
- 2009
- [b1]Vladimir Klebanov: Extending the reach and power of deductive program verification. University of Koblenz-Landau 2009
- 2008
- [c7]Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer: Integrating Verification and Testing of Object-Oriented Software. TAP 2008: 182-191
- 2007
- [c6]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: 379-384
- [c5]Bernhard Beckert, Vladimir Klebanov: A Dynamic Logic for Deductive Verification of Concurrent Programs. SEFM 2007: 141-150
- 2005
- [c4]Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt: Verification of JCSP Programs. CPA 2005: 203-218
- 2004
- [c3]
- [c2]
- [c1]Bernhard Beckert, Vladimir Klebanov: Proof Reuse for Deductive Program Verification. SEFM 2004: 77-86
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:06 CEST by the dblp team