E. V. Kuzmin

30 papers Journal 30
YearRankTypeTitle / Venue / Authors
2025 J jnl
LTL Specification for the Development and Verification of Logical Control Programs in Feedback Systems.
Autom. Control. Comput. Sci.
Maxim V. Neyzov, E. V. Kuzmin
2025 J jnl
Suppression of Additive Periodic Low-Frequency Interference on Eddy-Current Defectograms.
Autom. Control. Comput. Sci.
Leonid Y. Bystrov, A. N. Gladkov, E. V. Kuzmin
2025 J jnl
Using TLA+/TLC for Modeling and Verification of Cryptographic Protocols.
Autom. Control. Comput. Sci.
Maxim V. Neyzov, E. V. Kuzmin
2025 J jnl
Verification of Declarative LTL Specification of Control Program Behavior.
Autom. Control. Comput. Sci.
Maxim V. Neyzov, E. V. Kuzmin
2023 J jnl
Linear Temporal Logic Specification of Bounded Counter Machines.
Autom. Control. Comput. Sci.
E. V. Kuzmin
2023 J jnl
The Application of Majority Voting Functions to Estimate the Number of Monotone Self-Dual Boolean Functions.
Autom. Control. Comput. Sci.
Leonid Y. Bystrov, E. V. Kuzmin
2022 J jnl
An Algorithm for Correcting Levels of Useful Signals on Interpretation of Eddy-Current Defectograms.
Autom. Control. Comput. Sci.
E. V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin
2022 J jnl
Assessing Flaw Severity on Interpretation of Eddy-Current Defectograms.
Autom. Control. Comput. Sci.
E. V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin
2022 J jnl
LTL-Specification of Counter Machines.
Autom. Control. Comput. Sci.
E. V. Kuzmin
2021 J jnl
Application of Convolutional Neural Networks for Recognizing Long Structural Elements of Rails in Eddy Current Defectograms.
Autom. Control. Comput. Sci.
E. V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin
2019 J jnl
Application of Neural Networks for Recognizing Rail Structural Elements in Magnetic and Eddy Current Defectograms.
Autom. Control. Comput. Sci.
E. V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin
2018 J jnl
An Efficient Algorithm for Finding the Level of Useful Signals on Interpretation of Magnetic and Eddy Current Defectograms.
Autom. Control. Comput. Sci.
E. V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin
2017 J jnl
Construction of CFC-Programs by LTL-Specification.
Autom. Control. Comput. Sci.
D. A. Ryabukhin, E. V. Kuzmin, Valery A. Sokolov
2016 J jnl
On the expressiveness of the approach to constructing PLC-programs by LTL-specification.
Autom. Control. Comput. Sci.
E. V. Kuzmin, D. A. Ryabukhin, Valery A. Sokolov
2015 J jnl
Construction and verification of PLC-programs by LTL-specification.
Autom. Control. Comput. Sci.
E. V. Kuzmin, Valery A. Sokolov, D. A. Ryabukhin
2014 J jnl
Construction and verification of PLC LD programs by the LTL specification.
Autom. Control. Comput. Sci.
E. V. Kuzmin, Valery A. Sokolov, D. A. Ryabukhin
2014 J jnl
Modeling a consistent behavior of PLC-sensors.
Autom. Control. Comput. Sci.
E. V. Kuzmin, D. A. Ryabukhin, Valery A. Sokolov
2014 J jnl
Modeling, specification and construction of PLC-programs.
Autom. Control. Comput. Sci.
E. V. Kuzmin, Valery A. Sokolov
2013 J jnl
On construction and verification of PLC programs.
Autom. Control. Comput. Sci.
E. V. Kuzmin, Valery A. Sokolov
2013 J jnl
The modeling of counter machines by two-head finite automata.
Autom. Control. Comput. Sci.
E. V. Kuzmin, Valery A. Sokolov
2011 J jnl
On languages of automaton counter machines.
Autom. Control. Comput. Sci.
E. V. Kuzmin, D. Ju. Chalyy
2011 J jnl
On the reachability set of automaton counter machines.
Autom. Control. Comput. Sci.
E. V. Kuzmin, D. Ju. Chalyy
2010 J jnl
Algorithms for the boundedness problem for Minsky counter machines.
Autom. Control. Comput. Sci.
E. V. Kuzmin, D. Ju. Chalyy
2010 J jnl
Boundedness problem for lossy counter machines.
Autom. Control. Comput. Sci.
E. V. Kuzmin
2010 J jnl
Boundedness problems for Minsky counter machines.
Program. Comput. Softw.
E. V. Kuzmin, Valery A. Sokolov, D. Ju. Chalyy
2010 J jnl
Decidability of boundedness problems for Minsky counter machines.
Autom. Control. Comput. Sci.
E. V. Kuzmin, D. Ju. Chalyy
2010 J jnl
On a reachability set of automation 3-counter machines.
Autom. Control. Comput. Sci.
E. V. Kuzmin, D. Ju. Chalyy
2010 J jnl
On one class of counter machines.
Autom. Control. Comput. Sci.
E. V. Kuzmin, D. Ju. Chalyy
2009 J jnl
Application of the trace assertion method to the specification, design, and verification of automaton programs.
Program. Comput. Softw.
E. V. Kuzmin, Valery A. Sokolov, D. Ju. Chalyy
2008 J jnl
Modeling, specification, and verification of automaton programs.
Program. Comput. Softw.
E. V. Kuzmin, Valery A. Sokolov