4
Publications
112
Citations
4
H-Index
2014
Active since
Affiliations
Valery Ignatiev is an author at Institute for System Programming specializing in source code analysis, computer science, and software testing.
Top concepts
EngineeringFormal MethodsStatic AnalysisSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSoftware SecurityFormal Verification
Publications per year
2014–2018
4
4
SharpChecker: Static analysis tool for C# programs
V. Koshelev, Valery Ignatiev, Artem Borzilov et al. · Programming and Computer Software · 2017 · 22 citations
Design and Development of Svace Static Analyzers
Andrey Belevantsev, Alexey Borodin, Valery Ignatiev et al. · 2018 · 14 citations
Engineering, Measurement, Education +23
Rows per page
1–4 of 4