Vladislav A. Volkov

According to our database, Vladislav A. Volkov authored at least 7 papers between 1994 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

Formal Requirements Capturing using VRS system.

Alexander A. Letichevsky, Alexander Kolchin, Oleksandr Letychevskyy Jr., Stepan Potiyenko, Vladislav A. Volkov, Thomas Weigert

Proceedings of the Second International Workshop on Invariant Generation, 2010

2005

System Validation.

Alexander A. Letichevsky, Julia V. Kapitonova, Thomas Weigert, Vladislav A. Volkov

Proceedings of the Embedded Systems Handbook., 2005

Basic protocols, message sequence charts, and the verification of requirements specifications.

Alexander A. Letichevsky, Julia V. Kapitonova, A. A. Letichevsky Jr., Vladislav A. Volkov, Sergey Baranov, Thomas Weigert

Comput. Networks, 2005

Semantics of Message Sequence Charts.

Alexander A. Letichevsky, Julia V. Kapitonova, Vsevolod Kotlyarov, Vladislav A. Volkov, A. A. Letichevsky Jr., Thomas Weigert

Proceedings of the SDL 2005: Model Driven, 2005

2002

Requirement Capturing and 3CR Approac.

Sergey Baranov, Vsevolod Kotlyarov, Julia V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

1999

The development of interactive algorithms for the Mathematical Environment.

Alexander A. Letichevsky, Julia V. Kapitonova, Vladislav A. Volkov, A. Chugayenko, Victor Khomenko, David R. Gilbert

Proceedings of the Systems for Integrated Computation and Deduction, 1999

1994

Tools for Solving Problems in the Scope of Algebraic Programming.

Y. V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov, M. S. Lvov

Proceedings of the Integrating Symbolic Mathematical Computation and Artificial Intelligence, 1994