E. V. Kuzmin

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 11

Top Topics

Bounded Model Checking

Top Venues

Autom. Control. Comput. Sci.

Publications

Leonid Y. Bystrov, E. V. Kuzmin
The Application of Majority Voting Functions to Estimate the Number of Monotone Self-Dual Boolean Functions. Autom. Control. Comput. Sci. 57 (7) (2023)
E. V. Kuzmin
Linear Temporal Logic Specification of Bounded Counter Machines. Autom. Control. Comput. Sci. 57 (7) (2023)
E. V. Kuzmin
LTL-Specification of Counter Machines. Autom. Control. Comput. Sci. 56 (7) (2022)
E. V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin
An Algorithm for Correcting Levels of Useful Signals on Interpretation of Eddy-Current Defectograms. Autom. Control. Comput. Sci. 56 (7) (2022)
E. V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin
Assessing Flaw Severity on Interpretation of Eddy-Current Defectograms. Autom. Control. Comput. Sci. 56 (7) (2022)
E. V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin
Application of Convolutional Neural Networks for Recognizing Long Structural Elements of Rails in Eddy Current Defectograms. Autom. Control. Comput. Sci. 55 (7) (2021)
E. V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin
Application of Neural Networks for Recognizing Rail Structural Elements in Magnetic and Eddy Current Defectograms. Autom. Control. Comput. Sci. 53 (7) (2019)
E. V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin
An Efficient Algorithm for Finding the Level of Useful Signals on Interpretation of Magnetic and Eddy Current Defectograms. Autom. Control. Comput. Sci. 52 (7) (2018)
D. A. Ryabukhin, E. V. Kuzmin, Valery A. Sokolov
Construction of CFC-Programs by LTL-Specification. Autom. Control. Comput. Sci. 51 (7) (2017)
E. V. Kuzmin, D. A. Ryabukhin, Valery A. Sokolov
On the expressiveness of the approach to constructing PLC-programs by LTL-specification. Autom. Control. Comput. Sci. 50 (7) (2016)
E. V. Kuzmin, Valery A. Sokolov, D. A. Ryabukhin
Construction and verification of PLC-programs by LTL-specification. Autom. Control. Comput. Sci. 49 (7) (2015)
E. V. Kuzmin, Valery A. Sokolov, D. A. Ryabukhin
Construction and verification of PLC LD programs by the LTL specification. Autom. Control. Comput. Sci. 48 (7) (2014)
E. V. Kuzmin, Valery A. Sokolov
Modeling, specification and construction of PLC-programs. Autom. Control. Comput. Sci. 48 (7) (2014)
E. V. Kuzmin, D. A. Ryabukhin, Valery A. Sokolov
Modeling a consistent behavior of PLC-sensors. Autom. Control. Comput. Sci. 48 (7) (2014)
E. V. Kuzmin, Valery A. Sokolov
On construction and verification of PLC programs. Autom. Control. Comput. Sci. 47 (7) (2013)
E. V. Kuzmin, Valery A. Sokolov
The modeling of counter machines by two-head finite automata. Autom. Control. Comput. Sci. 47 (7) (2013)
E. V. Kuzmin, D. Ju. Chalyy
On the reachability set of automaton counter machines. Autom. Control. Comput. Sci. 45 (7) (2011)
E. V. Kuzmin, D. Ju. Chalyy
On languages of automaton counter machines. Autom. Control. Comput. Sci. 45 (7) (2011)
E. V. Kuzmin, D. Ju. Chalyy
Decidability of boundedness problems for Minsky counter machines. Autom. Control. Comput. Sci. 44 (7) (2010)
E. V. Kuzmin, Valery A. Sokolov, D. Ju. Chalyy
Boundedness problems for Minsky counter machines. Program. Comput. Softw. 36 (1) (2010)
E. V. Kuzmin, D. Ju. Chalyy
On a reachability set of automation 3-counter machines. Autom. Control. Comput. Sci. 44 (7) (2010)
E. V. Kuzmin
Boundedness problem for lossy counter machines. Autom. Control. Comput. Sci. 44 (7) (2010)
E. V. Kuzmin, D. Ju. Chalyy
Algorithms for the boundedness problem for Minsky counter machines. Autom. Control. Comput. Sci. 44 (7) (2010)
E. V. Kuzmin, D. Ju. Chalyy
On one class of counter machines. Autom. Control. Comput. Sci. 44 (7) (2010)
E. V. Kuzmin, Valery A. Sokolov, D. Ju. Chalyy
Application of the trace assertion method to the specification, design, and verification of automaton programs. Program. Comput. Softw. 35 (1) (2009)
E. V. Kuzmin, Valery A. Sokolov
Modeling, specification, and verification of automaton programs. Program. Comput. Softw. 34 (1) (2008)