Igor B. Burdonov

19 papers B 1Journal 7Unranked 11

Year	Rank	Type	Title / 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