Igor B. Bourdonov

Publication Activity (10 Years)

Years Active: 2001-2021
Publications (10 Years): 2

Top Topics

Dependency Graph

Internal States

Top Venues

Program. Comput. Softw.

Autom. Control. Comput. Sci.

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)
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. 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)
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)
Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin
Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case. Program. Comput. Softw. 30 (1) (2004)
Igor B. Bourdonov
Traversal of an Unknown Directed Graph by a Finite Robot. Program. Comput. Softw. 30 (4) (2004)
Igor B. Bourdonov
Backtracking Problem in the Traversal of an Unknown Directed Graph by a Finite Robot. Program. Comput. Softw. 30 (6) (2004)
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)
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)