D. Ju. Chalyy

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 3

Top Topics

Programming Language

Information Flows

Intrusion Detection

Denotational Semantics

Top Venues

Autom. Control. Comput. Sci.

Publications

D. R. Filonov, D. Ju. Chalyy, Dmitriy Mikhailovich Murin, Valery G. Durnev, Valery A. Sokolov
A Question-Answering System for Applicant Support Using Modern Messaging Apps. Autom. Control. Comput. Sci. 53 (7) (2019)
Valery G. Durnev, Dmitriy Mikhailovich Murin, Valery A. Sokolov, D. Ju. Chalyy
On Some Approaches to the Solution of the "Useful Proof-of-Work for Blockchains" Task. Autom. Control. Comput. Sci. 52 (7) (2018)
E. Ju. Antoshina, D. Ju. Chalyy
Semantic Security Tools in Software-Defined Networks. Autom. Control. Comput. Sci. 52 (7) (2018)
E. Ju. Antoshina, A. N. Barakova, E. S. Nikitin, D. Ju. Chalyy
A translator with a security static analysis feature of an information flow for a simple programming language. Autom. Control. Comput. Sci. 48 (7) (2014)
Mikhail A. Nikitinskiy, D. Ju. Chalyy
Performance analysis of trickles and TCP transport protocols under high-load network conditions. Autom. Control. Comput. Sci. 47 (7) (2013)
E. V. Kuzmin, D. Ju. Chalyy
On the reachability set of automaton counter machines. Autom. Control. Comput. Sci. 45 (7) (2011)
E. V. Kuzmin, D. Ju. Chalyy
On languages of automaton counter machines. Autom. Control. Comput. Sci. 45 (7) (2011)
E. V. Kuzmin, D. Ju. Chalyy
Decidability of boundedness problems for Minsky counter machines. Autom. Control. Comput. Sci. 44 (7) (2010)
E. V. Kuzmin, Valery A. Sokolov, D. Ju. Chalyy
Boundedness problems for Minsky counter machines. Program. Comput. Softw. 36 (1) (2010)
E. V. Kuzmin, D. Ju. Chalyy
On a reachability set of automation 3-counter machines. Autom. Control. Comput. Sci. 44 (7) (2010)
E. V. Kuzmin, D. Ju. Chalyy
Algorithms for the boundedness problem for Minsky counter machines. Autom. Control. Comput. Sci. 44 (7) (2010)
E. V. Kuzmin, D. Ju. Chalyy
On one class of counter machines. Autom. Control. Comput. Sci. 44 (7) (2010)
E. V. Kuzmin, Valery A. Sokolov, D. Ju. Chalyy
Application of the trace assertion method to the specification, design, and verification of automaton programs. Program. Comput. Softw. 35 (1) (2009)