Concepedia

V. V. Kulyamin

VV

Statistics

Publications

3

Citations

49

H-Index

3

Active since

2000

Affiliations

Institute for System Programming(Current)

Russian Academy of Sciences

V. V. Kulyamin is an author at Institute for System Programming specializing in program analysis, verification, and formal methods.

Top concepts

Publications per year

2000–2016

3

Publications

3

Application of finite automatons for program testing

Igor Burdonov, A. S. Kossatchev, V. V. Kulyamin · Programming and Computer Software · 2000 · 27 citations

, , +10

On the complexity of existence of homing sequences for nondeterministic finite state machines

Natalia Kushik, V. V. Kulyamin · Programming and Computer Software · 2014 · 11 citations

Comparison of specification decomposition methods in Event-B

P. N. Devyanin, V. V. Kulyamin, Alexander K. Petrenko et al. · Programming and Computer Software · 2016 · 11 citations

1–3 of 3