Alexandre Kossachev

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 7

Top Topics

Data Envelopment Analysis

Ibm Zenterprise

Internal States

Finite Alphabet

Top Venues

Publications

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)
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)
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)