伊琳娜·斯托尔科夫斯卡
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [注2] 伊戈尔·康诺夫 , 玛丽亚娜·拉齐奇 , 伊琳娜·斯托尔科夫斯卡 , 约瑟夫·威德 :
门限自动机和拜占庭模型检查器参数化验证综述。 日志。 方法计算。 科学。 19 ( 1 ) ( 2023 ) 【c8】 丹尼尔·斯科佩 , 大卫·西卡茨 , 伊琳娜·斯托尔科夫斯卡 , 桑德罗·斯塔基 , 丹尼尔·塔特萨尔 , 波琳·博利尼亚诺 , 弗兰科·雷蒙迪 , Bor-Yuh Evan Chang先生 :
将按需分析提升到高阶语言。 SAS公司 2023 : 460-484 2022 [j1] 伊琳娜·斯托尔科夫斯卡 , 伊戈尔·康诺夫 , 约瑟夫·威德 , 弗洛里安·祖勒格 :
通过有界模型检查验证同步容错算法的安全性。 Int.J.软件。 技术工具。 Transf公司。 24 ( 1 ) : 33-48 ( 2022 ) 2021 【c7】 伊琳娜·斯托尔科夫斯卡 , 伊戈尔·康诺夫 , 约瑟夫·威德 , 弗洛里安·祖勒格 :
消除同步阈值自动机中的消息计数器。 VMCAI公司 2021 : 196-218 2020 【c6】 伊琳娜·斯托尔科夫斯卡 , 伊戈尔·康诺夫 , 约瑟夫·威德 , 弗洛里安·祖勒格 :
消除阈值自动机中的消息计数器。 ATVA公司 2020 : 196-212 【c5】 肖恩·布雷斯韦特 , 伊桑·布赫曼 , 伊戈尔·康诺夫 , 扎尔科·米洛舍维奇 , 伊琳娜·斯托尔科夫斯卡 , 约瑟夫·威德 , 安卡·赞菲尔 :
招标区块链同步协议的形式化规范和模型检查(短文)。 FMBC@CAV 2020 : 10:1-10:8 【c4】 伊戈尔·科诺夫 , 玛丽亚娜·拉齐奇 , 伊琳娜·斯托尔科夫斯卡 , 约瑟夫·威德 :
教程:使用拜占庭模型检查器进行参数化验证。 复地 2020 : 189-207 【c3】 肖恩·布雷斯韦特 , 伊桑·布赫曼 , 伊戈尔·康诺夫 , 扎尔科·米洛舍维奇 , 伊琳娜·斯托尔科夫斯卡 , 约瑟夫·威德 , 安卡·赞菲尔 :
招标区块链同步:正式规范和模型检查。 ISoLA(1) 2020 : 471-488 [i1] 伊戈尔·康诺夫 , 玛丽亚娜·拉齐奇 , 伊琳娜·斯托尔科夫斯卡 , 约瑟夫·维德 :
门限自动机和拜占庭模型检查器参数化验证综述。 CoRR公司 abs/2011.14789 ( 2020 )
2010 – 2019
2019 【c2】 伊琳娜·斯托尔科夫斯卡 , 伊戈尔·康诺夫 , 约瑟夫·维德 , 弗洛里安·祖勒格 :
通过有界模型检查验证同步容错算法的安全性。 TACAS(2) 2019 : 357-374 2018 【c1】 本杰明·阿米诺夫 , 萨沙·鲁宾 , 伊琳娜·斯托尔科夫斯卡 , 约瑟夫·威德 , 弗洛里安·祖勒格 :
基于抽象的同步分布式算法参数化模型检查。 VMCAI公司 2018 : 1-24
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)