Egor Kuzmin
Egor Kuzmin
Professor of Computer Science, Yaroslavl State University
Verified email at uniyar.ac.ru
Title
Cited by
Cited by
Year
Modeling, Specification and Construction of PLC-programs
EV Kuz'min, VA Sokolov
Modelirovanie i Analiz Informatsionnykh Sistem 20 (2), 104-120, 2013
152013
On Construction and Verification of PLC-programs
EV Kuz'min, VA Sokolov
Modelirovanie i Analiz Informatsionnykh Sistem 19 (4), 25-36, 2012
152012
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
142004
On verification of PLC-programs written in the LD-language
EV Kuz'min, VA Sokolov
Modelirovanie i Analiz Informatsionnykh Sistem 19 (2), 138-144, 2012
132012
Construction and verification of PLC programs by LTL specification
EV Kuzmin, AA Shipov, DA Ryabukhin
2013 Tools & Methods of Program Analysis, 15-22, 2013
102013
Construction and Verification of PLC LD-programs by LTL-specification
EV Kuz'min, VA Sokolov, DA Ryabukhin
Modelirovanie i Analiz Informatsionnykh Sistem 20 (6), 78-94, 2013
102013
Communicating colouring automata
EV Kouzmin, VA Sokolov
Proc. Int. Workshop on Program Understanding (sat. of PSI’03), 40-46, 2003
102003
Modeling, specification and construction of PLC-programs
EV Kuzmin, VA Sokolov
Automatic Control and Computer Sciences 48 (7), 554-563, 2014
82014
About Data Filtration of the Defectogram Automatic Interpretation by Hardware and Software Complex
VF Tarabrin, AV Zverev, OE Gorbunov, EV Kuzmin
ASTRA””, NDT World 64 (2), 5-9, 2014
82014
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 (7), 510-519, 2016
7*2016
Construction of PLC IL-programs by LTL-specification
DA Ryabukhin, EV Kuz'min, VA Sokolov
Modelirovanie i Analiz Informatsionnykh Sistem 21 (2), 26-38, 2014
72014
Modeling, specification, and verification of automaton programs
EV Kuzmin, VA Sokolov
Programming and Computer Software 34 (1), 27-43, 2008
72008
Construction and Verification of PLC LD Programs by the LTL Specification
EV Kuzmin, VA Sokolov, DA Ryabukhin
Automatic Control and Computer Sciences 48 (7), 424-436, 2014
62014
Modeling a consistent behavior of PLC-sensors
EV Kuzmin, DA Ryabukhin, VA Sokolov
Automatic Control and Computer Sciences 48 (7), 602-614, 2014
62014
Decidability of boundedness problems for Minsky counter machines
EV Kuzmin, DJ Chalyy
Automatic Control and Computer Sciences 44 (7), 387-397, 2010
62010
Automaton counter machines
EV Kuzmin, VA Sokolov, DJ Chalyy
Proc. Int. Workshop on Program Understanding, 1-4, 2009
62009
A ultrasonic tomography of dynamic processes in shelf band of the sea with usage of aggregate signals
VA Akulichev, VV Bezotvetnich, SI Kamenev, EV Kuzmin, YN Morgunov, ...
Acoust. Rus 48 (1), 5-11, 2002
62002
Strukturirovannye sistemy perekhodov
EV Kuzmin, VA Sokolov
Well-Structured Transition Systems), Moscow: Fizmatlit, 2006
52006
On finding a threshold of useful signals in the analysis of magnetic and eddy current defectograms
EV Kuz'min, OE Gorbunov, PO Plotnikov, VA Tyukin
Modelirovanie i Analiz Informatsionnykh Sistem 24 (6), 760-771, 2017
42017
Construction and verification of PLC-programs by LTL-specification
EV Kuzmin, VA Sokolov, DA Ryabukhin
Automatic Control and Computer Sciences 49 (7), 453-465, 2015
42015
The system can't perform the operation now. Try again later.
Articles 1–20