咨询与建议

限定检索结果

文献类型

  • 23 篇 会议
  • 11 篇 期刊文献
  • 1 册 图书

馆藏范围

  • 35 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 21 篇 工学
    • 17 篇 计算机科学与技术...
    • 10 篇 软件工程
    • 6 篇 电气工程
    • 6 篇 信息与通信工程
    • 3 篇 电子科学与技术(可...
    • 2 篇 控制科学与工程
    • 2 篇 土木工程
    • 2 篇 石油与天然气工程
    • 2 篇 交通运输工程
    • 2 篇 船舶与海洋工程
    • 2 篇 安全科学与工程
    • 1 篇 仪器科学与技术
    • 1 篇 生物工程
    • 1 篇 网络空间安全
  • 9 篇 理学
    • 4 篇 物理学
    • 3 篇 数学
    • 2 篇 海洋科学
    • 1 篇 生物学
    • 1 篇 统计学(可授理学、...
  • 2 篇 管理学
    • 2 篇 管理科学与工程(可...
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学

主题

  • 3 篇 linux
  • 3 篇 testing
  • 2 篇 registers
  • 2 篇 computer archite...
  • 2 篇 specifications
  • 2 篇 contracts
  • 2 篇 automata
  • 2 篇 kernel
  • 2 篇 microprocessors
  • 1 篇 non-deterministi...
  • 1 篇 tools
  • 1 篇 runtime
  • 1 篇 adaptive systems
  • 1 篇 microarchitectur...
  • 1 篇 description
  • 1 篇 software package...
  • 1 篇 software defined...
  • 1 篇 model of life cy...
  • 1 篇 programming
  • 1 篇 instruments

机构

  • 3 篇 ivannikov instit...
  • 3 篇 software enginee...
  • 2 篇 institute of nuc...
  • 2 篇 software enginee...
  • 2 篇 department of ne...
  • 2 篇 cloud technologi...
  • 2 篇 software enginee...
  • 2 篇 laboratory of in...
  • 2 篇 compiler technol...
  • 2 篇 laboratory of ul...
  • 2 篇 atlas group univ...
  • 1 篇 krembil research...
  • 1 篇 department of ps...
  • 1 篇 neural basis of ...
  • 1 篇 department of el...
  • 1 篇 school of mathem...
  • 1 篇 informatics univ...
  • 1 篇 sapienza univers...
  • 1 篇 institute of bio...
  • 1 篇 university of ap...

作者

  • 8 篇 yevtushenko nina
  • 4 篇 kossachev alexan...
  • 4 篇 burdonov igor
  • 3 篇 alexander kamkin
  • 3 篇 nina yevtushenko
  • 2 篇 škraba andrej
  • 2 篇 pozin boris a.
  • 2 篇 igor burdonov
  • 2 篇 kamkin alexander
  • 2 篇 vinarskii evgeni...
  • 2 篇 shaidurov vladim...
  • 2 篇 semenkin eugene
  • 2 篇 cavalli ana rosa
  • 2 篇 kovalev igor
  • 2 篇 petrenko alexand...
  • 2 篇 tiziano villa
  • 2 篇 alexandr kossach...
  • 1 篇 a s epikhin
  • 1 篇 t g elizarova
  • 1 篇 efremov denis

语言

  • 35 篇 英文
检索条件"机构=Software Engineering Department Institute for System Programming of the RAS"
35 条 记 录,以下是1-10 订阅
排序:
Verifying Multiple Virtual Networks in software Defined Networks
Verifying Multiple Virtual Networks in Software Defined Netw...
收藏 引用
2021 IEEE East-West Design and Test Symposium, EWDTS 2021
作者: Burdonov, Igor Yevtushenko, Nina Kossachev, Alexandr Ivannikov Institute for System Programming of RAS Software Engineering Department Moscow Russia Ivannikov Institute for System Programming Software Engineering Deparment Moscow Russia
software Defined Network (SDN) technology is one of the modern network virtualization technologies. When implementing a virtual network on the SDN data plane, undesired effects may occur: the appearance of undesired p... 详细信息
来源: 评论
Evaluating the length of distinguishing sequences for nondeterministic Input/Output automata
Evaluating the length of distinguishing sequences for nondet...
收藏 引用
2019 IEEE East-West Design and Test Symposium, EWDTS 2019
作者: Burdonov, Igor Kossachev, Alexandr Yevtushenko, Nina Demakov, Alexey Software Engineering Department Ivannikov Institute for System Programming of RAS Moscow Russia
Distinguishing sequences are used in model based mutation testing in order to distinguish the specification from its mutants that usually represent critical implementation faults. In this paper, we consider distinguis... 详细信息
来源: 评论
Implementing a Virtual Network on the SDN Data Plane
Implementing a Virtual Network on the SDN Data Plane
收藏 引用
2020 IEEE East-West Design and Test Symposium, EWDTS 2020
作者: Burdonov, Igor Yevtushenko, Nina Kossachev, Alexandr Ivannikov Institute for System Programming of Ras Software Engineering Department Moscow Russia
The paper investigates the implementation of virtual networks on the SDN data plane, modeled by a graph of physical connections between network nodes. A virtual network is defined as a set of ordered host pairs (sende... 详细信息
来源: 评论
Deriving Distinguishing Sequences for Input/Output Automata
Deriving Distinguishing Sequences for Input/Output Automata
收藏 引用
2020 IEEE East-West Design and Test Symposium, EWDTS 2020
作者: Yevtushenko, Nina Burdonov, Igor Kossachev, Alexandr Ivannikov Institute for System Programming of Ras Software Engineering Department Moscow Russia
Input/Output (I/O) automata are widely used when deriving high quality tests for (components of) complex discrete systems based on so called distinguishing sequences. For I/O automata, the number of distinguishability... 详细信息
来源: 评论
Reconfigurable model-based test program generator for microprocessors
Reconfigurable model-based test program generator for microp...
收藏 引用
International Workshop on Variability-intensive systems Testing, Validation, and Verification
作者: Kamkin, Alexander Kornykhin, Eugene Vorobyev, Dmitry Software Engineering Department Institute for System Programming Russian Academy of Sciences Moscow Russia
Automatic generation and simulation of test programs is known to be the main means for verifying microprocessors. The problem is that test program generators for new designs are often developed from scratch with littl... 详细信息
来源: 评论
Visualization of behavioral aspects of AADL-models  11
Visualization of behavioral aspects of AADL-models
收藏 引用
11th International Conference on Computer Science and Information Technologies, CSIT 2017
作者: Zelenov, Sergey Buzdalov, Denis Software Engineering Department Institute for System Programming Russian Academy of Sciences Moscow Russia
In the paper, we describe a metamodel to represent dynamics of AADL-models. The metamodel allows to visualize step-by-step a process of models' behavioral aspects analysis. In particular, it essentially helps to d... 详细信息
来源: 评论
Runtime verification of linux kernel modules based on call interception
Runtime verification of linux kernel modules based on call i...
收藏 引用
IEEE International Conference on software Testing, Verification and Validation
作者: Rubanov, Vladimir V. Shatokhin, Eugene A. Department of Software Engineering Institute for System Programming Russian Academy of Sciences Moscow Russia
Verification of Linux kernel modules and especially device drivers is a critically important task. However, due to the special nature of the kernel operation, it is very challenging to perform runtime analysis of part... 详细信息
来源: 评论
Evaluating Length of a Shortest Adaptive Homing Sequence for Weakly Initialized FSMs
Evaluating Length of a Shortest Adaptive Homing Sequence for...
收藏 引用
2020 IEEE East-West Design and Test Symposium, EWDTS 2020
作者: Vinarskii, Evgenii Yevtushenko, Nina Lomonosov Moscow State University Department of Computer Science Moscow Russia Ivannikov Institute for System Programming of Ras Software Engineering Deparment Moscow Russia
There are many research papers devoted to the state identification problem of finite state machines (FSMs) which are widely used for analysis of discrete event systems. A deterministic complete reduced FSM always has ... 详细信息
来源: 评论
Synchronous composition of quasi-complete and quasi-deterministic FSMs
Synchronous composition of quasi-complete and quasi-determin...
收藏 引用
International Conference on Actual Problems of systems and software engineering
作者: Igor Burdonov Alexandr Kossachev Nina Yevtushenko Tiziano Villa Software Engineering department Ivannikov Institute for System Programming of RAS Software engineering deparment Ivannikov Institute for System Programming Computer Science Department University of Verona
In this paper, we consider the synchronous composition of Finite State Machines (FSMs) that corresponds to instantaneous communication of hardware components. Such FSMs can be deterministic or nondeterministic, partia... 详细信息
来源: 评论
Deriving Distinguishing Sequences for Input/Output Automata
Deriving Distinguishing Sequences for Input/Output Automata
收藏 引用
East-West Design & Test Symposium (EWDTS)
作者: Nina Yevtushenko Igor Burdonov Alexandr Kossachev Software Engineering department Ivannikov Institute for System Programming of RAS Moscow Russia Software engineering deparment Ivannikov Institute for System Programming Moscow Russia
Input/Output (I/O) automata are widely used when deriving high quality tests for (components of) complex discrete systems based on so called distinguishing sequences. For I/O automata, the number of distinguishability... 详细信息
来源: 评论