Igor B. Bourdonov

21 papers Journal 16Unranked 5
YearRankTypeTitle / 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