Dmitri M. Beloglazov

According to our database, Dmitri M. Beloglazov authored at least 5 papers between 2007 and 2012.

Collaborative distances:

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

2012

Verification of telecommunication systems specified using communicating finite-state automata using colored Petri nets.

Dmitri M. Beloglazov, Mikhail Mashukov, V. A. Nepomnyashchiy

Autom. Control. Comput. Sci., 2012

2009

A Two-Level Approach for Modeling and Verification of Telecommunication Systems.

Dmitri M. Beloglazov, Valery A. Nepomniaschy

Proceedings of the Perspectives of Systems Informatics, 2009

2008

Modeling and verification of the SDL-specified communication protocols using high-level Petri nets.

Valery A. Nepomniaschy, Victor S. Argirov, Dmitri M. Beloglazov, Alexandre V. Bystrov, Eugene A. Chetvertakov, Tatiana G. Churina

Program. Comput. Softw., 2008

Using Coloured Petri Nets to Model and Verify Telecommunications Systems.

Valery A. Nepomniaschy, Dmitri M. Beloglazov, Tatiana G. Churina, Mikhail Mashukov

Proceedings of the Computer Science, 2008

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