Victor V. Kulyamin

Publication Activity (10 Years)

Years Active: 2000-2016
Publications (10 Years): 1

Top Topics

Dependency Graph

Working Set Selection

Decomposition Methods

Finite State Machines

Top Venues

Program. Comput. Softw.

Publications

Petr N. Devyanin, Victor V. Kulyamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov
Comparison of specification decomposition methods in Event-B. Program. Comput. Softw. 42 (4) (2016)
Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kulyamin
Parallel computations on a graph. Program. Comput. Softw. 41 (1) (2015)
Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kulyamin
Analysis of a graph by a set of automata. Program. Comput. Softw. 41 (6) (2015)
Natalia G. Kushik, Victor V. Kulyamin, Nina V. Evtushenko
On the complexity of existence of homing sequences for nondeterministic finite state machines. Program. Comput. Softw. 40 (6) (2014)
Igor B. Burdonov, Alexander S. Kossatchev, Victor V. Kulyamin
Application of finite automatons for program testing. Program. Comput. Softw. 26 (2) (2000)