Igor B. Bourdonov

21 papers Journal 16Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Improving System Survivability by Path Duplication. Program. Comput. Softw. Igor B. Bourdonov, Nina V. Evtushenko, Alexander S. Kossatchev
2021	J	`jnl`	Perfect Sets of Paths in the Full Graph of SDN Switches. Program. Comput. Softw. Igor B. Bourdonov, Evgenii M. Vinarskii, Nina V. Evtushenko, Alexander S. Kossatchev
2018	J	`jnl`	Deriving Synchronizing and Homing Sequences for Input/Output Automata. Autom. Control. Comput. Sci. Natalia Kushik, Nina Yevtushenko, Igor B. Bourdonov, Alexander S. Kossatchev
2015	J	`jnl`	Analysis of a graph by a set of automata. Program. Comput. Softw. Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kulyamin
2015	J	`jnl`	Parallel computations on a graph. Program. Comput. Softw. Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kulyamin
2013	J	`jnl`	Agreement between conformance and composition. Program. Comput. Softw. Igor B. Bourdonov, Alexander S. Kossatchev
2013	J	`jnl`	Formalization of a test experiment-II. Program. Comput. Softw. Igor B. Bourdonov, Alexander S. Kossatchev
2011	J	`jnl`	Specification completion for IOCO. Program. Comput. Softw. Igor B. Bourdonov, Alexander S. Kossatchev
2010	J	`jnl`	Interaction semantics with refusals, divergence, and destruction. Program. Comput. Softw. Igor B. Bourdonov, Alexander S. Kossatchev
2009	J	`jnl`	Complete open-state testing of limitedly nondeterministic systems. Program. Comput. Softw. Igor B. Bourdonov, Alexander S. Kossatchev
2009	J	`jnl`	Systems with priorities: Conformance, testing, and composition. Program. Comput. Softw. Igor B. Bourdonov, Alexander S. Kossatchev
2007	J	`jnl`	Formalization of test experiments. Program. Comput. Softw. Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin
2006	—	`conf`	Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions. MBT Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin
2006	—	`conf`	Operating System of the Multi-machine Computer AS-6. SoRuCom Igor B. Bourdonov, V. P. Ivannikov, Alexander S. Kossatchev, Sergey D. Kuznetsov, A. N. Tomilin
2004	J	`jnl`	Backtracking Problem in the Traversal of an Unknown Directed Graph by a Finite Robot. Program. Comput. Softw. Igor B. Bourdonov
2004	J	`jnl`	Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case. Program. Comput. Softw. Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin
2004	J	`jnl`	Traversal of an Unknown Directed Graph by a Finite Robot. Program. Comput. Softw. Igor B. Bourdonov
2003	—	`conf`	Integration of Functional and Timed Testing of Real-Time and Concurrent Systems. Ershov Memorial Conference Victor V. Kuliamin, Alexander K. Petrenko, Nick V. Pakoulin, Alexander S. Kossatchev, Igor B. Bourdonov
2003	J	`jnl`	Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case. Program. Comput. Softw. Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin
2002	—	`conf`	UniTesK Test Suite Architecture. FME Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko
2001	—	`conf`	Java Specification Extension for Automated Test Development. Ershov Memorial Conference Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko, Sergey V. Zelenov