Follow
Egor Kuzmin
Egor Kuzmin
Professor of Computer Science, Yaroslavl State University
Verified email at uniyar.ac.ru
Title
Cited by
Cited by
Year
On Construction and Verification of PLC-programs
EV Kuzmin, VA Sokolov
Modeling and analysis of information systems 19 (4), 25-36, 2015
212015
About data filtration of the defectogram automatic interpretation by hardware and software complex ASTRA
VF Tarabrin, AV Zverev, OE Gorbunov, EV Kuzmin
NDT World 64 (2), 5-9, 2014
212014
On the expressiveness of the approach to constructing PLC-programs by LTL-specification
EV Kuzmin, DA Ryabukhin, VA Sokolov
Automatic Control and Computer Sciences 50, 510-519, 2016
20*2016
Modeling, Specification and Construction of PLC-programs
EV Kuz'min, VA Sokolov
Modelirovanie i Analiz Informatsionnykh Sistem 20 (2), 104-120, 2013
192013
Construction and verification of PLC programs by LTL specification
EV Kuzmin, AA Shipov, DA Ryabukhin
2013 Tools & Methods of Program Analysis, 15-22, 2013
182013
Construction and Verification of PLC LD-programs by LTL-specification
EV Kuzmin, VA Sokolov, DA Ryabukhin
Modeling and analysis of information systems 20 (6), 78-94, 2013
172013
Model checking/spl mu/-calculus in well-structured transition systems
EV Kouzmin, NV Shilov, VA Sokolov
Proceedings. 11th International Symposium on Temporal Representation and …, 2004
172004
On verification of PLC-programs written in the LD-language
EV Kuzmin, VA Sokolov
Modeling and analysis of information systems 19 (2), 138-144, 2015
142015
Application of neural networks for recognizing rail structural elements in magnetic and eddy current defectograms
EV Kuzmin, OE Gorbunov, PO Plotnikov, VA Tyukin, VA Bashkin
Automatic Control and Computer Sciences 53, 628-637, 2019
132019
Modeling, Specification and Construction of PLC-programs
EV Kuzmin, VA Sokolov
Automatic Control and Computer Sciences 48 (7), 554-563, 2014
132014
An efficient algorithm for finding the level of useful signals on interpretation of magnetic and eddy current defectograms
EV Kuzmin, OE Gorbunov, PO Plotnikov, VA Tyukin
Automatic Control and Computer Sciences 52, 867-870, 2018
122018
Finding the level of useful signals on interpretation of magnetic and eddy-current defectograms
EV Kuzmin, OE Gorbunov, PO Plotnikov, VA Tyukin
Automatic Control and Computer Sciences 52, 658-666, 2018
122018
Construction and verification of PLC-programs by LTL-specification
EV Kuzmin, VA Sokolov, DA Ryabukhin
Automatic Control and Computer Sciences 49, 453-465, 2015
112015
Modeling a consistent behavior of PLC-sensors
EV Kuzmin, DA Ryabukhin, VA Sokolov
Automatic Control and Computer Sciences 48 (7), 602-614, 2014
112014
Communicating colouring automata
EV Kouzmin, VA Sokolov
Proc. Int. Workshop on Program Understanding (sat. of PSI’03), 40-46, 2003
102003
Construction of PLC IL-programs by LTL-specification
DA Ryabukhin, EV Kuzmin, VA Sokolov
Modeling and analysis of information systems 21 (2), 26-38, 2014
92014
Modeling, specification, and verification of automaton programs
EV Kuzmin, VA Sokolov
Programming and Computer Software 34 (1), 27-43, 2008
82008
On construction and verification of PLC programs
EV Kuzmin, VA Sokolov
Automatic Control and Computer Sciences 47, 443-451, 2013
72013
Decidability of boundedness problems for Minsky counter machines
EV Kuzmin, DJ Chalyy
Automatic Control and Computer Sciences 44 (7), 387-397, 2010
72010
Automaton counter machines
EV Kuzmin, VA Sokolov, DJ Chalyy
Proc. Int. Workshop on Program Understanding, 1-4, 2009
62009
The system can't perform the operation now. Try again later.
Articles 1–20