Parallel computations on a graph von Bourdonov, I. B., Kossatchev, A. S., Kulyamin, V. V.

Volltext

Perfect Sets of Paths in the Full Graph of SDN Switches von Burdonov, I. B., Vinarskii, E. M., Yevtushenko, N. V., Kossatchev, A. S.

Volltext

Interaction semantics with refusals, divergence, and destruction von Bourdonov, I. B., Kossatchev, A. S.

Volltext

Complete open-state testing of limitedly nondeterministic systems von Bourdonov, I. B., Kossatchev, A. S.

Volltext

Systems with priorities: Conformance, testing, and composition von Bourdonov, I. B., Kossatchev, A. S.

Volltext

Analysis of a graph by a set of automata von Bourdonov, I. B., Kossatchev, A. S., Kulyamin, V. V.

Volltext

Survey of compiler testing methods von Kossatchev, A. S., Posypkin, M. A.

Volltext

Agreement between conformance and composition von Bourdonov, I. B., Kossatchev, A. S.

Volltext

The UniTesK Approach to Designing Test Suites von Kuliamin, V. V., Petrenko, A. K., Kossatchev, A. S., Burdonov, I. B.

Volltext

Survey of Compiler Testing Methods von Kossatchev, A. S., Posypkin, M. A.

Volltext

Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language von Kossatchev, A. S., Kutter, P., Posypkin, M. A.

Volltext

Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case von Bourdonov, I. B., Kossatchev, A. S., Kuliamin, V. V.

Volltext

A general approach to solving problems on graphs by collective automata von Burdonov, I., Kossatchev, A.

Volltext

Automata system: composition according to graph of links von Burdonov, I.B., Kossatchev, A.S.

Volltext

Directed distributed system: Backtracking problem von Burdonov, I.B., Kossatchev, A.S.

Volltext

The use of contract specifications for representing requirements and for functional testing of hardware models von Ivannikov, V. P., Kamkin, A. S., Kossatchev, A. S., Kuliamin, V. V., Petrenko, A. K.

Volltext

Asynchronous Distributed Algorithms for Static and Dynamic Directed Rooted Graphs von Burdonov, I., Kossatchev, A., Kuliamin, V., Tomilin, A., Shnitman, V.

Volltext

Studying Load Issues in Software-Defined Networks von Burdonov, Igor Borisovich, Yevtushenko, Nina Vladimirovna, Kossatchev, Alexander Sergeevitch

Volltext

Automata system: determinism conditions and testing von Burdonov, I.B., Kossatchev, A.S.

Volltext

Parallel Calculations on Dynamic Graph von Burdonov, Igor, Kossatchev, Alexander

Volltext