On Construction and Verification of PLC-programs EV Kuzmin, VA Sokolov Modeling and analysis of information systems 19 (4), 25-36, 2015 | 21 | 2015 |
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 |
ARTCP: Efficient algorithm for transport protocol for packet switched networks IV Alekseev, VA Sokolov International Conference on Parallel Computing Technologies, 159-174, 2001 | 15 | 2001 |
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 |
A network analytics system in the SDN V Sokolov, I Alekseev, D Mazilov, M Nikitinskiy 2014 International Science and Technology Conference (Modern Networking …, 2014 | 13 | 2014 |
Compensation Mechanism for Adaptive Rate TCP IV Alekseev, VA Sokolov First IEEE/Popov workshop on Internet Technologies and Services,(October 25 …, 1999 | 12 | 1999 |
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 |
The problem of creating multi-tenant database clusters EA Boytsov, VA Sokolov Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2012 | 11 | 2012 |
An extensible coloured Petri net model of a transport protocol for packet switched networks DJ Chaly, VA Sokolov Parallel Computing Technologies: 7th International Conference, PaCT 2003 …, 2003 | 11 | 2003 |
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 |
Modeling and traffic analysis of the adaptive rate transport protocol IV Alekseev, VA Sokolov Future Generation Computer Systems 18 (6), 813-827, 2002 | 8 | 2002 |
Formation and filtering in coherent light the images of 3D asymmetric edges YV Chugui, VA Sokolov Proc. 6th ISMQC IMEKO Symp. Metrology for Quality Control in Production …, 1998 | 8 | 1998 |