Test Derivation for the Software Defined Networking Platforms: Novel Fault Models and Test Completeness. - Nina Yevtushenko 001; Igor B. Burdonov; Alexandre S. Kossachev; Jorge López; Natalia Kushik; Djamal Zeghlache (EWDTS, 2018)

Evaluating the length of distinguishing sequences for nondeterministic Input/Output automata. - Igor B. Burdonov; Alexandre S. Kossachev; Nina Yevtushenko 001; Alexey V. Demakov (EWDTS, 2019)

Distinguishing Transition Systems With The Nondeterministic Behavior. - Igor B. Burdonov; Nina Yevtushenko 001; Alexander S. Kossachev (SSI, 2019)

Verifying SDN Data Path Requests. - Igor B. Burdonov; Alexandre S. Kossachev; Nina Yevtushenko 001; Jorge López; Natalia Kushik; Djamal Zeghlache (CoRR, 2019)

Implementing a Virtual Network on the SDN Data Plane. - Igor B. Burdonov; Nina Yevtushenko 001; Alexandre S. Kossachev (EWDTS, 2020)

Deriving Distinguishing Sequences for Input/Output Automata. - Nina Yevtushenko 001; Igor B. Burdonov; Alexandre S. Kossachev (EWDTS, 2020)

Preventive Model-based Verification and Repairing for SDN Requests. - Igor B. Burdonov; Alexandre S. Kossachev; Nina Yevtushenko 001; Jorge López; Natalia Kushik; Djamal Zeghlache (ENASE, 2021)

Verifying Multiple Virtual Networks in Software Defined Networks. - Igor B. Burdonov; Nina Yevtushenko 001; Alexandre S. Kossachev (EWDTS, 2021)

On Preset Homing and Synchronizing Sequences for Observable Input/Output Automata. - Igor B. Burdonov; Nina V. Evtushenko; Alexander S. Kossachev; Natalia G. Kushik (Autom. Remote. Control., 2023)