On Construction and Verification of PLC-programs EV Kuzmin, VA Sokolov Modeling and analysis of information systems 19 (4), 25-36, 2015 | 21 | 2015 |
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 | 21 | 2014 |
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 | 19 | 2013 |
Construction and verification of PLC programs by LTL specification EV Kuzmin, AA Shipov, DA Ryabukhin 2013 Tools & Methods of Program Analysis, 15-22, 2013 | 18 | 2013 |
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 | 17 | 2013 |
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 | 17 | 2004 |
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 | 14 | 2019 |
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 | 14 | 2015 |
Modeling, Specification and Construction of PLC-programs EV Kuzmin, VA Sokolov Automatic Control and Computer Sciences 48 (7), 554-563, 2014 | 13 | 2014 |
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 | 12 | 2018 |
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 | 12 | 2018 |
Construction and verification of PLC-programs by LTL-specification EV Kuzmin, VA Sokolov, DA Ryabukhin Automatic Control and Computer Sciences 49, 453-465, 2015 | 11 | 2015 |
Modeling a consistent behavior of PLC-sensors EV Kuzmin, DA Ryabukhin, VA Sokolov Automatic Control and Computer Sciences 48 (7), 602-614, 2014 | 11 | 2014 |
Communicating colouring automata EV Kouzmin, VA Sokolov Proc. Int. Workshop on Program Understanding (sat. of PSI’03), 40-46, 2003 | 10 | 2003 |
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 | 9 | 2014 |
Modeling, specification, and verification of automaton programs EV Kuzmin, VA Sokolov Programming and Computer Software 34 (1), 27-43, 2008 | 8 | 2008 |
On construction and verification of PLC programs EV Kuzmin, VA Sokolov Automatic Control and Computer Sciences 47, 443-451, 2013 | 7 | 2013 |
Decidability of boundedness problems for Minsky counter machines EV Kuzmin, DJ Chalyy Automatic Control and Computer Sciences 44 (7), 387-397, 2010 | 7 | 2010 |
Automaton counter machines EV Kuzmin, VA Sokolov, DJ Chalyy Proc. Int. Workshop on Program Understanding, 1-4, 2009 | 6 | 2009 |