Dmitri M. Beloglazov

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Hybrid Automata

Decision Making

Colored Petri Nets

Telecommunication Systems

Top Venues

Autom. Control. Comput. Sci.

Publications

Dmitri M. Beloglazov, Mikhail Mashukov, V. A. Nepomnyashchiy
Verification of telecommunication systems specified using communicating finite-state automata using colored Petri nets. Autom. Control. Comput. Sci. 46 (7) (2012)
Dmitri M. Beloglazov, Valery A. Nepomniaschy
A Two-Level Approach for Modeling and Verification of Telecommunication Systems. Ershov Memorial Conference (2009)
Valery A. Nepomniaschy, Victor S. Argirov, Dmitri M. Beloglazov, Alexandre V. Bystrov, Eugene A. Chetvertakov, Tatiana G. Churina
Modeling and verification of the SDL-specified communication protocols using high-level Petri nets. Program. Comput. Softw. 34 (6) (2008)
Valery A. Nepomniaschy, Dmitri M. Beloglazov, Tatiana G. Churina, Mikhail Mashukov
Using Coloured Petri Nets to Model and Verify Telecommunications Systems. CSR (2008)
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
Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols. CSR (2007)