Igor B. Burdonov

19 papers B 1Journal 7Unranked 11
YearRankTypeTitle / Venue / Authors
2023 J jnl
On Preset Homing and Synchronizing Sequences for Observable Input/Output Automata.
Autom. Remote. Control.
Igor B. Burdonov, Nina V. Evtushenko, Alexander S. Kossachev, Natalia G. Kushik
2021 B conf
Preventive Model-based Verification and Repairing for SDN Requests.
ENASE
Igor B. Burdonov, Alexandre S. Kossachev, Nina Yevtushenko, Jorge López, Natalia Kushik, Djamal Zeghlache
2021 — conf
Verifying Multiple Virtual Networks in Software Defined Networks.
EWDTS
Igor B. Burdonov, Nina Yevtushenko, Alexandre S. Kossachev
2020 — conf
Deriving Distinguishing Sequences for Input/Output Automata.
EWDTS
Nina Yevtushenko, Igor B. Burdonov, Alexandre S. Kossachev
2020 J jnl
Graph Self-Transformation Model Based on the Operation of Change the End of the Edge.
Russ. Digit. Libr. J.
Igor B. Burdonov
2020 — conf
Implementing a Virtual Network on the SDN Data Plane.
EWDTS
Igor B. Burdonov, Nina Yevtushenko, Alexandre S. Kossachev
2020 J jnl
Separating Input/Output Automata With Nondeterministic Behavior.
Russ. Digit. Libr. J.
Igor B. Burdonov, Nina Yevtushenko, Alexander S. Kossatchev
2019 — conf
Distinguishing Transition Systems With The Nondeterministic Behavior.
SSI
Igor B. Burdonov, Nina Yevtushenko, Alexander S. Kossachev
2019 — conf
Distributed Algorithm of Self-Transformation of the Distributed Network Topology in Order to Minimize the Wiener Index.
SSI
Igor B. Burdonov
2019 — conf
Evaluating the length of distinguishing sequences for nondeterministic Input/Output automata.
EWDTS
Igor B. Burdonov, Alexandre S. Kossachev, Nina Yevtushenko, Alexey V. Demakov
2019 J jnl
Verifying SDN Data Path Requests.
CoRR
Igor B. Burdonov, Alexandre S. Kossachev, Nina Yevtushenko, Jorge López, Natalia Kushik, Djamal Zeghlache
2018 — conf
Test Derivation for the Software Defined Networking Platforms: Novel Fault Models and Test Completeness.
EWDTS
Nina Yevtushenko, Igor B. Burdonov, Alexandre S. Kossachev, Jorge López, Natalia Kushik, Djamal Zeghlache
2014 — conf
Deriving complete finite tests based on state machines.
EWDTS
Igor B. Burdonov, Alexander S. Kossatchev, Nina Yevtushenko
2011 J jnl
Safe simulation testing of systems with refusals and destructions.
Autom. Control. Comput. Sci.
Igor B. Burdonov, Alexander S. Kosachev
2009 — conf
Virtualization-based separation of privilege: working with sensitive data in untrusted environment.
VDTS@EuroSys
Igor B. Burdonov, Alexander S. Kosachev, Pavel Iakovenko
2003 J jnl
The UniTesK Approach to Designing Test Suites.
Program. Comput. Softw.
Victor V. Kuliamin, Alexander K. Petrenko, Alexander S. Kossatchev, Igor B. Burdonov
2000 J jnl
Application of finite automatons for program testing.
Program. Comput. Softw.
Igor B. Burdonov, Alexander S. Kossatchev, Victor V. Kulyamin
1999 — conf
KVEST: Automated Generation of Test Suites from Formal Specifications.
World Congress on Formal Methods
Igor B. Burdonov, Alexander S. Kossatchev, Alexander K. Petrenko, Dmitri Galter
1990 — conf
The CLOS Project: Towards on Object-Oriented Environment for Application Development.
East/West Database Workshop
Igor B. Burdonov, Victor Ivannikov, German Kopytov, Alexander S. Kosachev, Sergei Kuznetsoz