Igor B. Bourdonov

Nina V. Evtushenko

Alexander S. Kossachev

Natalia G. Kushik

Autom. Remote. Control., June, 2023

2021

Perfect Sets of Paths in the Full Graph of SDN Switches.

[BibT_eX]

[DOI]

Evgenii M. Vinarskii

Nina V. Evtushenko

Program. Comput. Softw., 2021

Verifying Multiple Virtual Networks in Software Defined Networks.

[BibT_eX]

[DOI]

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

Preventive Model-based Verification and Repairing for SDN Requests.

[BibT_eX]

[DOI]

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

2020

Separating Input/Output Automata With Nondeterministic Behavior.

[BibT_eX]

[DOI]

Russ. Digit. Libr. J., 2020

Graph Self-Transformation Model Based on the Operation of Change the End of the Edge.

[BibT_eX]

[DOI]

Russ. Digit. Libr. J., 2020

Deriving Distinguishing Sequences for Input/Output Automata.

[BibT_eX]

[DOI]

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

Implementing a Virtual Network on the SDN Data Plane.

[BibT_eX]

[DOI]

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

2019

Verifying SDN Data Path Requests.

[BibT_eX]

[DOI]

CoRR, 2019

Distinguishing Transition Systems With The Nondeterministic Behavior.

[BibT_eX]

[DOI]

Alexander S. Kossachev

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

Distributed Algorithm of Self-Transformation of the Distributed Network Topology in Order to Minimize the Wiener Index.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Alexey V. Demakov

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

2018

Deriving Synchronizing and Homing Sequences for Input/Output Automata.

[BibT_eX]

[DOI]

Natalia Kushik

Autom. Control. Comput. Sci., 2018

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

[BibT_eX]

[DOI]

Jorge López

Natalia Kushik

Djamal Zeghlache

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

2015

Analysis of a graph by a set of automata.

[BibT_eX]

[DOI]

Victor V. Kulyamin

Program. Comput. Softw., 2015

Parallel computations on a graph.

[BibT_eX]

[DOI]

Victor V. Kulyamin

Program. Comput. Softw., 2015

2014

Deriving complete finite tests based on state machines.

[BibT_eX]

[DOI]

Proceedings of the 2014 East-West Design & Test Symposium, 2014

2013

Agreement between conformance and composition.

[BibT_eX]

[DOI]

Program. Comput. Softw., 2013

Formalization of a test experiment-II.

[BibT_eX]

[DOI]

Program. Comput. Softw., 2013

2011

Specification completion for IOCO.

[BibT_eX]

[DOI]

Program. Comput. Softw., 2011

Safe simulation testing of systems with refusals and destructions.

[BibT_eX]

[DOI]

Alexander S. Kosachev

Autom. Control. Comput. Sci., 2011

2010

Interaction semantics with refusals, divergence, and destruction.

[BibT_eX]

[DOI]

Program. Comput. Softw., 2010

2009

Complete open-state testing of limitedly nondeterministic systems.

[BibT_eX]

[DOI]

Program. Comput. Softw., 2009

Systems with priorities: Conformance, testing, and composition.

[BibT_eX]

[DOI]

Program. Comput. Softw., 2009

Virtualization-based separation of privilege: working with sensitive data in untrusted environment.

[BibT_eX]

[DOI]

Alexander S. Kosachev

Pavel Iakovenko

Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems, 2009

2007

Formalization of test experiments.

[BibT_eX]

[DOI]

Program. Comput. Softw., 2007

2006

Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Model Based Testing, 2006

Operating System of the Multi-machine Computer AS-6.

[BibT_eX]

[DOI]

V. P. Ivannikov

Sergey D. Kuznetsov

A. N. Tomilin

Proceedings of the Perspectives on Soviet and Russian Computing, 2006

2004

Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case.

[BibT_eX]

[DOI]

Program. Comput. Softw., 2004

Backtracking Problem in the Traversal of an Unknown Directed Graph by a Finite Robot.

[BibT_eX]

[DOI]

Program. Comput. Softw., 2004

Traversal of an Unknown Directed Graph by a Finite Robot.

[BibT_eX]

[DOI]

Program. Comput. Softw., 2004

2003

The UniTesK Approach to Designing Test Suites.

[BibT_eX]

[DOI]

Program. Comput. Softw., 2003

Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case.

[BibT_eX]

[DOI]

Program. Comput. Softw., 2003

Integration of Functional and Timed Testing of Real-Time and Concurrent Systems.

[BibT_eX]

[DOI]

Nick V. Pakoulin

Proceedings of the Perspectives of Systems Informatics, 2003

2002

UniTesK Test Suite Architecture.

[BibT_eX]

[DOI]

Proceedings of the FME 2002: Formal Methods, 2002

2001

Java Specification Extension for Automated Test Development.

[BibT_eX]

[DOI]

Alexey V. Demakov

Andrew A. Jarov

Sergey V. Zelenov

Proceedings of the Perspectives of System Informatics, 2001

2000

Application of finite automatons for program testing.

[BibT_eX]

[DOI]

Victor V. Kulyamin

Program. Comput. Softw., 2000

1999

KVEST: Automated Generation of Test Suites from Formal Specifications.

[BibT_eX]

[DOI]

Dmitri Galter

Proceedings of the FM'99 - Formal Methods, 1999

1990

The CLOS Project: Towards on Object-Oriented Environment for Application Development.

[BibT_eX]

[DOI]