Igor B. Burdonov

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 12

Top Topics

Internal States

Cellular Automata

Ibm Zenterprise

Top Venues

Russ. Digit. Libr. J.

Publications

Igor B. Burdonov, Nina V. Evtushenko, Alexander S. Kossachev, Natalia G. Kushik
On Preset Homing and Synchronizing Sequences for Observable Input/Output Automata. Autom. Remote. Control. 84 (6) (2023)
Igor B. Burdonov, Nina Yevtushenko, Alexandre Kossachev
Verifying Multiple Virtual Networks in Software Defined Networks. EWDTS (2021)
Igor B. Burdonov, Alexandre Kossachev, Nina Yevtushenko, Jorge López, Natalia Kushik, Djamal Zeghlache
Preventive Model-based Verification and Repairing for SDN Requests. ENASE (2021)
Igor B. Burdonov, Nina Yevtushenko, Alexandre Kossachev
Implementing a Virtual Network on the SDN Data Plane. EWDTS (2020)
Igor B. Burdonov
Graph Self-Transformation Model Based on the Operation of Change the End of the Edge. Russ. Digit. Libr. J. 23 (3) (2020)
Igor B. Burdonov, Nina Yevtushenko, Alexander S. Kossatchev
Separating Input/Output Automata With Nondeterministic Behavior. Russ. Digit. Libr. J. 23 (4) (2020)
Nina Yevtushenko, Igor B. Burdonov, Alexandre Kossachev
Deriving Distinguishing Sequences for Input/Output Automata. EWDTS (2020)
Igor B. Burdonov, Alexandre Kossachev, Nina Yevtushenko, Alexey V. Demakov
Evaluating the length of distinguishing sequences for nondeterministic Input/Output automata. EWDTS (2019)
Igor B. Burdonov, Alexandre Kossachev, Nina Yevtushenko, Jorge López, Natalia Kushik, Djamal Zeghlache
Verifying SDN Data Path Requests. CoRR (2019)
Igor B. Burdonov, Nina Yevtushenko, Alexander Kossachev
Distinguishing Transition Systems With The Nondeterministic Behavior. SSI (2019)
Igor B. Burdonov
Distributed Algorithm of Self-Transformation of the Distributed Network Topology in Order to Minimize the Wiener Index. SSI (2019)
Nina Yevtushenko, Igor B. Burdonov, Alexandre Kossachev, Jorge López, Natalia Kushik, Djamal Zeghlache
Test Derivation for the Software Defined Networking Platforms: Novel Fault Models and Test Completeness. EWDTS (2018)
Igor B. Burdonov, Alexander S. Kossatchev, Nina Yevtushenko
Deriving complete finite tests based on state machines. EWDTS (2014)
Igor B. Burdonov, Alexander S. Kosachev
Safe simulation testing of systems with refusals and destructions. Autom. Control. Comput. Sci. 45 (7) (2011)
Igor B. Burdonov, Alexander S. Kosachev, Pavel Iakovenko
Virtualization-based separation of privilege: working with sensitive data in untrusted environment. VDTS@EuroSys (2009)
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. 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)
Igor B. Burdonov, Victor Ivannikov, German Kopytov, Alexander S. Kosachev, Sergei Kuznetsoz
The CLOS Project: Towards on Object-Oriented Environment for Application Development. East/West Database Workshop (1990)