亚历山大·科萨切夫
人员信息
附属: 俄罗斯科学院系统编程研究所,俄罗斯莫斯科
优化列表
2020年–今天
2021 [公元21年] 伊戈尔·伯多诺夫 , Evgenii M.Vinarskii先生 , 尼娜·埃夫图申科 , 亚历山大·科萨切夫 :
SDN交换机全图中的完美路径集。 程序。 计算。 柔和。 47 ( 7 ) : 505-514 ( 2021 ) 2020 [公元20年] 伊戈尔·伯多诺夫 , 尼娜·叶夫图申科 , 亚历山大·科萨切夫 :
用不确定性行为分离输入/输出自动机。 俄罗斯数字。 伦敦银行同业拆借利率。 J。 23 ( 4 ) : 634-655 ( 2020 )
2010 – 2019
2018 [公元19年] 纳塔利娅·库什克 , 尼娜·叶夫图申科 , 伊戈尔·伯多诺夫 , 亚历山大·科萨切夫 :
导出输入/输出自动机的同步和归位序列。 自动。 控制。 计算。 科学。 52 ( 7 ) : 589-595 ( 2018 ) 2015 [公元18年] 伊戈尔·伯多诺夫 , 亚历山大·科萨切夫 , 维克多·V·库利亚明 :
图上的并行计算。 程序。 计算。 柔和。 41 ( 1 ) : 1-13 ( 2015 ) [公元17年] 伊戈尔·B·布尔多诺夫 , 亚历山大·科萨切夫 , 维克托·库利亚明 :
用一组自动机分析图。 程序。 计算。 柔和。 41 ( 6 ) : 307-310 ( 2015 ) 2014 [第12条] 伊戈尔·伯多诺夫 , 亚历山大·科萨切夫 , 尼娜·叶夫图申科 :
基于状态机导出完整的有限测试。 EWDTS公司 2014 : 1-4 2013 [公元16年] 伊戈尔·伯多诺夫 , 亚历山大·科萨切夫 :
测试实验的形式化-II。 程序。 计算。 柔和。 39 ( 4 ) : 163-181 ( 2013 ) [j15] 伊戈尔·伯多诺夫 , 亚历山大·科萨切夫 :
一致性和组成之间的协议。 程序。 计算。 柔和。 39 ( 6 ) : 269-278 ( 2013 ) 2011 [公元14年] 伊戈尔·伯多诺夫 , 亚历山大·科萨切夫 :
拒绝和破坏系统的安全模拟测试。 自动。 控制。 计算。 科学。 45 ( 7 ) : 380-389 ( 2011 ) [j13] 伊戈尔·伯多诺夫 , 亚历山大·科萨切夫 :
IOCO规范完成。 程序。 计算。 柔和。 37 ( 1 ) : 1-14 ( 2011 ) 2010 [公元12年] 伊戈尔·伯多诺夫 , 亚历山大·科萨切夫 :
拒绝、分歧和破坏的交互语义。 程序。 计算。 柔和。 36 ( 5 ) : 247-263 ( 2010 )
2000 – 2009
2009 [公元11年] 伊戈尔·伯多诺夫 , 亚历山大·科萨切夫 :
具有优先级的系统:一致性、测试和组合。 程序。 计算。 柔和。 35 ( 4 ) : 198-211 ( 2009 ) [公元10年] 伊戈尔·伯多诺夫 , 亚历山大·科萨切夫 :
有限不确定性系统的完全开放状态测试。 程序。 计算。 柔和。 35 ( 6 ) : 301-313 ( 2009 ) [第11条] 伊戈尔·B·伯多诺夫 , 亚历山大·科萨切夫 , 帕维尔·伊阿科文科 :
基于虚拟化的权限分离:在不受信任的环境中处理敏感数据。 VDTS@EuroSys 2009 : 1-6 2007 [公元9年] 伊戈尔·伯多诺夫 , 亚历山大·科萨切夫 , 维克托·库利亚明 :
测试实验的形式化。 程序。 计算。 柔和。 33 ( 5 ) : 239-260 ( 2007 ) [j8] V.P.伊万尼科夫 , 亚历山大·坎金 , 亚历山大·科萨切夫 , 维克托·库利亚明 , 亚历山大·彼得伦科 :
使用合同规范来表示硬件模型的需求和功能测试。 程序。 计算。 柔和。 33 ( 5 ) : 272-282 ( 2007 ) 2006 [c10] 伊戈尔·伯多诺夫 , V.P.伊万尼科夫 , 亚历山大·科萨切夫 , 谢尔盖·D·库兹涅佐夫 , A.N.托米林 :
多机计算机操作系统AS-6。 SoRuCom公司 2006 : 31-35 【c9】 伊戈尔·伯多诺夫 , 亚历山大·科萨切夫 , 维克托·库利亚明 :
拒绝输入和禁止操作的系统的正式一致性测试。 MBT公司 2006 : 83-96 2005 [j7] 亚历山大·科萨切夫 , 米哈伊尔·波西普金 :
编译器测试方法综述。 程序。 计算。 柔和。 31 ( 1 ) : 10-19 ( 2005 ) 2004 [j6] 伊戈尔·伯多诺夫 , 亚历山大·科萨切夫 , 维克托·库利亚明 :
遍历有向图的无冗余算法:不确定性情况。 程序。 计算。 柔和。 30 ( 1 ) : 2-17 ( 2004 ) [j5] 亚历山大·科萨切夫 , P.库特 , 米哈伊尔·波西普金 :
基于编程语言动态语义形式化规范的严格一致性测试的自动生成。 程序。 计算。 柔和。 30 ( 4 ) : 218-229 ( 2004 ) 【c8】 尤里·古雷维奇 , 亚历山大·彼得伦科 , 亚历山大·科萨切夫 :
前言。 MBT公司 2004 : 1-3 2003 【j4】 谢尔盖·泽列诺夫 , 索菲亚·泽列诺娃 , 亚历山大·科萨切夫 , 亚历山大·彼得伦科 :
编译器和其他正式文本处理器的测试生成。 程序。 计算。 柔和。 29 ( 2 ) : 104-111 ( 2003 ) [j3] 伊戈尔·伯多诺夫 , 亚历山大·科萨切夫 , 维克托·库利亚明 :
遍历有向图的无冗余算法:确定性情况。 程序。 计算。 柔和。 29 ( 5 ) : 245-258 ( 2003 ) [注2] 维克托·库利亚明 , 亚历山大·彼得伦科 , 亚历山大·科萨切夫 , 伊戈尔·伯多诺夫 :
UniTesK设计测试套件的方法。 程序。 计算。 柔和。 29 ( 6 ) : 310-322 ( 2003 ) 【c7】 亚历克谢·亚。 卡利诺夫 , 亚历山大·科萨切夫 , 亚历山大·彼得伦科 , 米哈伊尔·波西普金 , 弗拉基米尔·希什科夫 :
使用ASM规范进行编译器测试。 抽象状态机 2003 : 415 【c6】 维克托·库利亚明 , 亚历山大·彼得伦科 , 尼克·V·帕库林 , 亚历山大·科萨切夫 , 伊戈尔·B·布尔多诺夫 :
实时和并发系统的功能和定时测试集成。 埃尔绍夫纪念大会 2003 : 450-461 【c5】 亚历克谢·亚。 卡利诺夫 , 亚历山大·科萨切夫 , 亚历山大·彼得伦科 , 米哈伊尔·波西普金 , 弗拉基米尔·希什科夫 :
Coverage-driven自动编译器测试套件生成。 LDTA@ETAPS(预计到达时间) 2003 : 500-514 2002 【c4】 伊戈尔·伯多诺夫 , 亚历山大·科萨切夫 , 维克托·库利亚明 , 亚历山大·彼得伦科 :
UniTesK测试套件体系结构。 失效模式与后果 2002 : 77-88 2001 【c3】 伊戈尔·伯多诺夫 , 阿列克谢·德马科夫 , 安德鲁·亚洛夫 , 亚历山大·科萨切夫 , 维克托·库利亚明 , 亚历山大·彼得伦科 , 谢尔盖·泽列诺夫 :
用于自动测试开发的Java规范扩展。 埃尔绍夫纪念大会 2001 : 301-307 2000 [j1] 伊戈尔·B·伯多诺夫 , 亚历山大·科萨切夫 , 维克托·库利亚明 :
有限自动机在程序测试中的应用。 程序。 计算。 柔和。 26 ( 2 ) : 61-73 ( 2000 )
1990 – 1999
1999 【c2】 伊戈尔·伯多诺夫 , 亚历山大·科萨切夫 , 亚历山大·彼得伦科 , 德米特里·加尔特 :
KVEST:根据正式规范自动生成测试套件。 形式方法世界大会 1999 : 608-621 1990 【c1】 伊戈尔·伯多诺夫 , 维克托·伊万尼科夫 , 德国科皮托夫 , 亚历山大·科萨切夫 , 谢尔盖·库兹涅索兹 :
CLOS项目:面向应用程序开发的面向对象环境。 东西方数据库研讨会 1990 : 422-427