Alexandre S. Kossachev

According to our database, Alexandre S. Kossachev authored at least 9 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

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., June, 2023

2021

Verifying Multiple Virtual Networks in Software Defined Networks.

Igor B. Burdonov, Nina Yevtushenko, Alexandre S. Kossachev

Proceedings of the IEEE East-West Design & Test Symposium, 2021

Preventive Model-based Verification and Repairing for SDN Requests.

Igor B. Burdonov, Alexandre S. Kossachev, Nina Yevtushenko, Jorge López, Natalia Kushik, Djamal Zeghlache

Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, 2021

2020

Deriving Distinguishing Sequences for Input/Output Automata.

Nina Yevtushenko, Igor B. Burdonov, Alexandre S. Kossachev

Proceedings of the IEEE East-West Design & Test Symposium, 2020

Implementing a Virtual Network on the SDN Data Plane.

Igor B. Burdonov, Nina Yevtushenko, Alexandre S. Kossachev

Proceedings of the IEEE East-West Design & Test Symposium, 2020

2019

Verifying SDN Data Path Requests.

Igor B. Burdonov, Alexandre S. Kossachev, Nina Yevtushenko, Jorge López, Natalia Kushik, Djamal Zeghlache

CoRR, 2019

Distinguishing Transition Systems With The Nondeterministic Behavior.

Igor B. Burdonov, Nina Yevtushenko, Alexander S. Kossachev

Proceedings of the 21st Conference on Scientific Services & Internet (SSI-2019), 2019

Evaluating the length of distinguishing sequences for nondeterministic Input/Output automata.

Igor B. Burdonov, Alexandre S. Kossachev, Nina Yevtushenko, Alexey V. Demakov

Proceedings of the 2019 IEEE East-West Design & Test Symposium, 2019

2018

Test Derivation for the Software Defined Networking Platforms: Novel Fault Models and Test Completeness.

Nina Yevtushenko, Igor B. Burdonov, Alexandre S. Kossachev, Jorge López, Natalia Kushik, Djamal Zeghlache

Proceedings of the 2018 IEEE East-West Design & Test Symposium, 2018