Igor B. Bourdonov - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2021

Perfect Sets of Paths in the Full Graph of SDN SwitchesIgor B. Bourdonov, Evgenii Vinarskii, Nina V. Evtushenko, Alexander S. Kossatchev. pcs, 47(7):505-514, 2021. [doi]

2018

Deriving Synchronizing and Homing Sequences for Input/Output AutomataNatalia Kushik, Nina Yevtushenko, Igor B. Bourdonov, Alexander S. Kossatchev. accs, 52(7):589-595, 2018. [doi]

2015

Parallel computations on a graphIgor B. Bourdonov, Alexander Kossatchev, V. V. Kulyamin. pcs, 41(1):1-13, 2015. [doi]

Analysis of a graph by a set of automataIgor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kulyamin. pcs, 41(6):307-310, 2015. [doi]

2013

Formalization of a test experiment-IIIgor B. Bourdonov, Alexander Kossatchev. pcs, 39(4):163-181, 2013. [doi]

Agreement between conformance and compositionIgor B. Bourdonov, Alexander Kossatchev. pcs, 39(6):269-278, 2013. [doi]

2011

Specification completion for IOCOIgor B. Bourdonov, Alexander Kossatchev. pcs, 37(1):1-14, 2011. [doi]

2010

Interaction semantics with refusals, divergence, and destructionIgor B. Bourdonov, Alexander Kossatchev. pcs, 36(5):247-263, 2010. [doi]

2009

Complete open-state testing of limitedly nondeterministic systemsIgor B. Bourdonov, Alexander Kossatchev. pcs, 35(6):301-313, 2009. [doi]

Systems with priorities: Conformance, testing, and compositionIgor B. Bourdonov, Alexander Kossatchev. pcs, 35(4):198-211, 2009. [doi]

2007

Formalization of test experimentsIgor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin. pcs, 33(5):239-260, 2007. [doi]

2006

Operating System of the Multi-machine Computer AS-6Igor B. Bourdonov, V. P. Ivannikov, Alexander Kossatchev, S. D. Kuznetsov, A. N. Tomilin. ifip9 2011: 31-35 [doi]

Formal Conformance Testing of Systems with Refused Inputs and Forbidden ActionsIgor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin. ENTCS, 164(4):83-96, 2006. [doi]

2004

Backtracking Problem in the Traversal of an Unknown Directed Graph by a Finite RobotIgor B. Bourdonov. pcs, 30(6):305-322, 2004. [doi]

Traversal of an Unknown Directed Graph by a Finite RobotIgor B. Bourdonov. pcs, 30(4):188-203, 2004. [doi]

Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic CaseIgor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin. pcs, 30(1):2-17, 2004. [doi]

2003

Irredundant Algorithms for Traversing Directed Graphs: The Deterministic CaseIgor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin. pcs, 29(5):245-258, 2003. [doi]

Integration of Functional and Timed Testing of Real-Time and Concurrent SystemsVictor V. Kuliamin, Alexandre Petrenko, Nick V. Pakoulin, Alexander Kossatchev, Igor B. Bourdonov. ershov 2003: 450-461 [doi]

2002

UniTesK Test Suite ArchitectureIgor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko. FM 2002: 77-88 [doi]

2001

Java Specification Extension for Automated Test DevelopmentIgor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko, Sergey V. Zelenov. ershov 2001: 301-307 [doi]

Sign in or sign up to see more results.

runs on WebDSL