Concepedia

Vladimir Klebanov

VK

10

Publications

294

Citations

10

H-Index

2004

Active since

Affiliations

Karlsruhe Institute of Technology(Current)

National University of Ireland, Maynooth

University of Twente

Vladimir Klebanov is an author at Karlsruhe Institute of Technology specializing in computer science, program analysis, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsSoftware AnalysisFormal VerificationSoftware TestingAutomated ReasoningVerificationSoftware Engineering

Publications per year

2004–2017

10

Publications

10

Automating regression verification

Dennis Felsing, Sarah Grebing, Vladimir Klebanov et al. · 2014 · 118 citations

Program Checking, Engineering, Verification +19

Selected challenges of software evolution for automated production systems

Birgit Vogel‐Heuser, Stefan Feldmann, Jens Folmer et al. · 2015 · 33 citations

Software Maintenance, Engineering, Industrial Engineering +19

VerifyThis 2012

Marieke Huisman, Vladimir Klebanov, Rosemary Monahan · International Journal on Software Tools for Technology Transfer · 2015 · 32 citations

Precise quantitative information flow analysis— a symbolic approach

Vladimir Klebanov · Theoretical Computer Science · 2014 · 25 citations

Relational Program Reasoning Using Compiler IR

Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich · Journal of Automated Reasoning · 2017 · 20 citations

Engineering, Automated Reasoning, Program Analysis +7

Rows per page

1–5 of 10