Alexander S. Kossatchev

Publication Activity (10 Years)

Years Active: 1999-2021
Publications (10 Years): 3

Top Topics

Noise Cancellation

Finite Automata

Dependency Graph

Top Venues

Program. Comput. Softw.

Autom. Control. Comput. Sci.

Russ. Digit. Libr. J.

Publications

Igor B. Bourdonov, Evgenii M. Vinarskii, Nina V. Evtushenko, Alexander S. Kossatchev
Perfect Sets of Paths in the Full Graph of SDN Switches. Program. Comput. Softw. 47 (7) (2021)
Igor B. Burdonov, Nina Yevtushenko, Alexander S. Kossatchev
Separating Input/Output Automata With Nondeterministic Behavior. Russ. Digit. Libr. J. 23 (4) (2020)
Natalia Kushik, Nina Yevtushenko, Igor B. Bourdonov, Alexander S. Kossatchev
Deriving Synchronizing and Homing Sequences for Input/Output Automata. Autom. Control. Comput. Sci. 52 (7) (2018)
Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kulyamin
Parallel computations on a graph. Program. Comput. Softw. 41 (1) (2015)
Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kulyamin
Analysis of a graph by a set of automata. Program. Comput. Softw. 41 (6) (2015)
Igor B. Burdonov, Alexander S. Kossatchev, Nina Yevtushenko
Deriving complete finite tests based on state machines. EWDTS (2014)
Igor B. Bourdonov, Alexander S. Kossatchev
Agreement between conformance and composition. Program. Comput. Softw. 39 (6) (2013)
Igor B. Bourdonov, Alexander S. Kossatchev
Formalization of a test experiment-II. Program. Comput. Softw. 39 (4) (2013)
Igor B. Bourdonov, Alexander S. Kossatchev
Specification completion for IOCO. Program. Comput. Softw. 37 (1) (2011)
Igor B. Bourdonov, Alexander S. Kossatchev
Interaction semantics with refusals, divergence, and destruction. Program. Comput. Softw. 36 (5) (2010)
Igor B. Bourdonov, Alexander S. Kossatchev
Complete open-state testing of limitedly nondeterministic systems. Program. Comput. Softw. 35 (6) (2009)
Igor B. Bourdonov, Alexander S. Kossatchev
Systems with priorities: Conformance, testing, and composition. Program. Comput. Softw. 35 (4) (2009)
Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin
Formalization of test experiments. Program. Comput. Softw. 33 (5) (2007)
V. P. Ivannikov, Alexander S. Kamkin, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko
The use of contract specifications for representing requirements and for functional testing of hardware models. Program. Comput. Softw. 33 (5) (2007)
Igor B. Bourdonov, V. P. Ivannikov, Alexander S. Kossatchev, Sergey D. Kuznetsov, A. N. Tomilin
Operating System of the Multi-machine Computer AS-6. SoRuCom (2006)
Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin
Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions. Electron. Notes Theor. Comput. Sci. 164 (4) (2006)
Alexander S. Kossatchev, Mikhail Posypkin
Survey of compiler testing methods. Program. Comput. Softw. 31 (1) (2005)
Yuri Gurevich, Alexander K. Petrenko, Alexander S. Kossatchev
Preface. Electron. Notes Theor. Comput. Sci. 111 (2005)
Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin
Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case. Program. Comput. Softw. 30 (1) (2004)
Alexander S. Kossatchev, P. Kutter, Mikhail Posypkin
Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language. Program. Comput. Softw. 30 (4) (2004)
Victor V. Kuliamin, Alexander K. Petrenko, Alexander S. Kossatchev, Igor B. Burdonov
The UniTesK Approach to Designing Test Suites. Program. Comput. Softw. 29 (6) (2003)
Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin
Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case. Program. Comput. Softw. 29 (5) (2003)
Victor V. Kuliamin, Alexander K. Petrenko, Nick V. Pakoulin, Alexander S. Kossatchev, Igor B. Bourdonov
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems. Ershov Memorial Conference (2003)
Alexey Ya. Kalinov, Alexander S. Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov
Coverage-driven Automated Compiler Test Suite Generation. Electron. Notes Theor. Comput. Sci. 82 (3) (2003)
Alexey Ya. Kalinov, Alexander S. Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov
Using ASM Specifications for Compiler Testing. Abstract State Machines (2003)
Sergey V. Zelenov, Sophia A. Zelenova, Alexander S. Kossatchev, Alexander K. Petrenko
Test Generation for Compilers and Other Formal Text Processors. Program. Comput. Softw. 29 (2) (2003)
Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko
UniTesK Test Suite Architecture. FME (2002)
Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko, Sergey V. Zelenov
Java Specification Extension for Automated Test Development. Ershov Memorial Conference (2001)
Igor B. Burdonov, Alexander S. Kossatchev, Victor V. Kulyamin
Application of finite automatons for program testing. Program. Comput. Softw. 26 (2) (2000)
Igor B. Burdonov, Alexander S. Kossatchev, Alexander K. Petrenko, Dmitri Galter
KVEST: Automated Generation of Test Suites from Formal Specifications. World Congress on Formal Methods (1999)