| 2008 |
|---|
| 8 | EE | E. V. Kuzmin,
Valery A. Sokolov:
Modeling, specification, and verification of automaton programs.
Programming and Computer Software 34(1): 27-43 (2008) |
| 2005 |
|---|
| 7 | EE | Valery A. Sokolov,
Eugeny A. Timofeev:
An Approach to the Implementation of the Dynamical Priorities Method.
PaCT 2005: 74-78 |
| 2004 |
|---|
| 6 | EE | E. V. Kouzmin,
Nikolay V. Shilov,
Valery A. Sokolov:
Model Checking mu-Calculus in Well-Structured Transition Systems.
TIME 2004: 152-155 |
| 2003 |
|---|
| 5 | EE | Dmitry J. Chaly,
Valery A. Sokolov:
An Extensible Coloured Petri Net Model of a Transport Protocol for Packet Switched Networks.
PaCT 2003: 66-75 |
| 2002 |
|---|
| 4 | EE | Igor V. Alekseev,
Valery A. Sokolov:
Modeling and traffic analysis of the adaptive rate transport protocol.
Future Generation Comp. Syst. 18(6): 813-827 (2002) |
| 2001 |
|---|
| 3 | EE | Valery A. Sokolov,
Eugeny A. Timofeev:
Dynamical Priorities without Time Measurement and Modification of the TCP.
Ershov Memorial Conference 2001: 240-245 |
| 2 | EE | Igor V. Alekseev,
Valery A. Sokolov:
ARTCP: Efficient Algorithm for Transport Protocol for Packet Switched Networks.
PaCT 2001: 159-174 |
| 1997 |
|---|
| 1 | | Valery A. Sokolov,
Ella E. Roubtsova,
Serguei A. Roubtsov:
On a Technology of Design and Analysis of Dataflow Programs.
PaCT 1997: 115-120 |
