Gennady I. Alekseev

According to our database, Gennady I. Alekseev authored at least 3 papers between 1995 and 2007.

Collaborative distances:

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

2007

Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols.

Valery A. Nepomniaschy, Gennady I. Alekseev, Victor S. Argirov, Dmitri M. Beloglazov, Alexandre V. Bystrov, Eugene A. Chetvertakov, Tatiana G. Churina, Sergey P. Mylnikov, Ruslan M. Novikov

Proceedings of the Computer Science, 2007

2001

Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets.

Valery A. Nepomniaschy, Gennady I. Alekseev, Alexandre V. Bystrov, Sergey P. Mylnikov, E. V. Okunishnikova, P. A. Chubarev, Tatiana G. Churina

Program. Comput. Softw., 2001

1995

Petri Net Modelling of Estelle-specified Communication Protocols.

Valery A. Nepomniaschy, Gennady I. Alekseev, Alexandre V. Bystrov, Tatiana G. Churina, Sergey P. Mylnikov, E. V. Okunishnikova

Proceedings of the Parallel Computing Technologies, 1995