Valery A. Sokolov
Valery A. Sokolov
Professor of Computer Science, Demidov Yaroslavl State University, Russia
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
ARTCP: Efficient algorithm for transport protocol for packet switched networks
IV Alekseev, VA Sokolov
International Conference on Parallel Computing Technologies, 159-174, 2001
122001
DUBNA CYCLOTRONS–STATUS AND PLANS
GG Gulbekyan, BN Gikal, SL Bogomolov, SN Dmitriev, MG Itkis, ...
Exotic Nuclei Exon2004, 643-650, 2005
112005
Compensation Mechanism for Adaptive Rate TCP
IV Alekseev, VA Sokolov
First IEEE/Popov workshop on Internet Technologies and Services,(October 25 …, 1999
111999
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
The problem of creating multi-tenant database clusters
EA Boytsov, VA Sokolov
Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2012
102012
An extensible coloured Petri net model of a transport protocol for packet switched networks
DJ Chaly, VA Sokolov
International Conference on Parallel Computing Technologies, 66-75, 2003
102003
Communicating colouring automata
EV Kouzmin, VA Sokolov
Proc. Int. Workshop on Program Understanding (sat. of PSI’03), 40-46, 2003
102003
Modeling and traffic analysis of the adaptive rate transport protocol
IV Alekseev, VA Sokolov
Future Generation Computer Systems 18 (6), 813-827, 2002
92002
Modeling, specification and construction of PLC-programs
EV Kuzmin, VA Sokolov
Automatic Control and Computer Sciences 48 (7), 554-563, 2014
82014
A network analytics system in the SDN
V Sokolov, I Alekseev, D Mazilov, M Nikitinskiy
2014 International Science and Technology Conference (Modern Networking …, 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
Instrumental supporting system for developing and analysis of software-defined networks of mobile objects
VA Sokolov, SV Korsakov, AV Smirnov, VA Bashkin, ES Nikitin
Automatic Control and Computer Sciences 50 (7), 536-545, 2016
72016
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
The system can't perform the operation now. Try again later.
Articles 1–20