阿列克桑达尔·迪莫夫斯基
人员信息
优化列表
2020年–今天
2024 [公元20年] 阿列克桑达尔·迪莫夫斯基 :
基于突变的软件产品线提升修复(工件)。 Dagstuhl Artifacts爵士。 10 ( 2 ) : 5:1-5:5 ( 2024 ) [公元19年] 阿列克桑达尔·迪莫夫斯基 :
通过抽象解释进行故障定位及其应用。 J.计算。 语言。 80 : 101288 ( 2024 ) [公元43年] 阿列克桑达尔·迪莫夫斯基 :
基于突变的软件产品线提升维修。 ECOOP公司 2024 : 12:1-12:24 [公元42年] 阿列克桑达尔·迪莫夫斯基 , 什佩蒂姆·雷杰皮 , 戈兰·维利诺夫 , 伊泽特·泽奇里 :
基于变异的程序修复的语义错误定位。 MECO公司 2024 : 1-5 2023 [公元18年] 阿列克桑达尔·迪莫夫斯基 :
使用基于决策树的提升分析进行定量程序草图绘制。 J.计算。 语言。 75 : 101206 ( 2023 ) [公元41年] 阿列克桑达尔·迪莫夫斯基 , 贝金·费塔吉 :
关于验证可配置软件的时间属性。 MECO公司 2023 : 1-5 [公元40年] 阿列克桑达尔·迪莫夫斯基 :
通过抽象解释进行故障定位的错误不变量。 SAS公司 2023 : 190-211 [公元39年] 阿列克桑达尔·迪莫夫斯基 :
通过抽象解释和逻辑推理绘制广义程序。 SAS公司 2023 : 212-230 [公元38年] 阿列克桑达尔·迪莫夫斯基 , 萨米·拉兹雷格 , 马克西姆·科尔迪 , Axel Legay公司 :
fMultiLTL属性的基于系列的模型检查。 SPLC(甲) 2023 : 41-51 2022 [公元17年] 本森·姆布亚 , 阿列克桑达尔·迪莫夫斯基 , 马可·梅洛 , 托马斯·基韦勒 :
在发展中国家低可靠性弱电网中运行的并网光伏系统的极短期停电预测。 复杂。 2022 : 4763820:1-4763820:13 ( 2022 ) [公元16年] 阿列克桑达尔·迪莫夫斯基 , 斯文·阿佩尔 , Axel Legay公司 :
几个提升的抽象域用于数值程序族的静态分析。 科学。 计算。 程序。 213 : 102725 ( 2022 ) [公元37年] 阿列克桑达尔·迪莫夫斯基 :
使用提升静态分析进行定量程序草图绘制。 FASE公司 2022 : 102-122 [c36] 阿列克桑达尔·迪莫夫斯基 :
通过抽象细化进行模型草图绘制,以检查提升的模型。 囊 2022 : 1845-1848 2021 [公元15年] 阿列克桑达尔·迪莫夫斯基 , 斯文·阿佩尔 :
通过抽象解释提升动态程序族的静态分析(工件)。 Dagstuhl Artifacts爵士。 7 ( 2 ) : 06:1-06:6 ( 2021 ) [公元14年] 艾哈迈德·萨利姆·西巴希 , 托马斯·詹森 , 阿列克桑达尔·迪莫夫斯基 , 安德烈·瓦索夫斯基 :
使用归纳精化类型验证程序转换。 ACM事务处理。 柔和。 工程方法。 30 ( 1 ) : 5:1-5:33 ( 2021 ) [j13] 阿列克桑达尔·迪莫夫斯基 :
二进制决策图提升了分析程序族的领域。 J.计算。 语言。 63 : 101032 ( 2021 ) [公元35年] 阿列克桑达尔·迪莫夫斯基 , 斯文·阿佩尔 :
通过抽象解释提升动态程序族的静态分析。 ECOOP公司 2021 : 14:1-14:28 [公元34年] 阿列克桑达尔·迪莫夫斯基 , 斯文·阿佩尔 , Axel Legay公司 :
用于分析具有数字特征的程序族的决策树提升域。 FASE公司 2021 : 67-86 [c33] 阿列克桑达尔·迪莫夫斯基 :
抽象解释提升终止分析及其应用。 GPCE公司 2021 : 96-109 [公元32年] 阿列克桑达尔·迪莫夫斯基 , 斯文·阿佩尔 , Axel Legay公司 :
使用提升分析绘制数值程序族的程序草图。 非金融市场 2021 : 95-112 【d3】 阿列克桑达尔·迪莫夫斯基 , 斯文·阿佩尔 :
用于“通过抽象解释对动态程序族进行提升静态分析”的工具工件。 版本1。 泽诺多 , 2021 [所有版本] 【d2】 阿列克桑达尔·迪莫夫斯基 , 斯文·阿佩尔 :
用于“通过抽象解释对动态程序族进行提升静态分析”的工具工件。 版本0.2.0。 泽诺多 , 2021 [所有版本] 【d1】 阿列克桑达尔·迪莫夫斯基 , 斯文·阿佩尔 :
用于“通过抽象解释对动态程序族进行提升静态分析”的工具工件。 版本0.3.0。 泽诺多 , 2021 [所有版本] [i8] 阿列克桑达尔·迪莫夫斯基 :
用于提升模型检查的抽象精化模型草图(扩展版)。 CoRR公司 abs/2112.11546 ( 2021 ) 2020 [公元12年] 阿列克桑达尔·迪莫夫斯基 :
使用可变性抽象和模态转换系统的$\hbox{CTL}^{\star}$基于家族的模型检查。 国际期刊软件。 技术工具。 变压器。 22 ( 1 ) : 35-55 ( 2020 ) [公元11年] 阿列克桑达尔·迪莫夫斯基 , Axel Legay公司 , 安德烈·瓦索夫斯基 :
基于游戏的CTL提升模型检查的广义抽象重新定义。 西奥。 计算。 科学。 837 : 181-206 ( 2020 ) [公元31年] 阿列克桑达尔·迪莫夫斯基 , Axel Legay公司 :
使用前向-后向前提分析和模型计数计算程序可靠性。 FASE公司 2020 : 182-202 [i7] 阿列克桑达尔·迪莫夫斯基 , 斯文·阿佩尔 , Axel Legay公司 :
用于分析具有数字特征的程序族的决策树提升域(扩展版本)。 CoRR公司 腹肌/2012.05863 ( 2020 )
2010 – 2019
2019 [公元10年] 阿列克桑达尔·迪莫夫斯基 , 克劳斯·布拉布兰德 , 安德烈·瓦索夫斯基 :
为提升分析寻找合适的变异性抽象。 形式方面计算。 31 ( 2 ) : 231-259 ( 2019 ) [公元30年] 阿列克桑达尔·迪莫夫斯基 , Axel Legay公司 , 安德烈·瓦索夫斯基 :
全CTL基于游戏的提升模型检验的变异性提取和精化。 FASE公司 2019 : 192-209 [公元29年] 阿列克桑达尔·迪莫夫斯基 :
使用二进制决策图抽象域提升静态分析。 GPCE公司 2019 : 102-114 [i6] 阿列克桑达尔·迪莫夫斯基 , Axel Legay公司 , 安德烈·瓦索夫斯基 :
全CTL(扩展版)基于游戏的提升模型检查的变异性抽象和精化。 CoRR公司 abs/1902.05594 ( 2019 ) [i5] 尼诺·阿索夫 , 戈兰·维利诺夫 , 阿列克桑达尔·迪莫夫斯基 , 博贾纳·科特斯卡 , 德拉甘·萨帕斯基 , 玛吉塔·孔·波波夫斯卡 :
通过查询执行成本估计预测水平数据分区。 CoRR公司 abs/1911.11725 ( 2019 ) 2018 [公元9年] 布拉戈伊·阿塔纳索夫斯基 , 米洛斯·博格达诺维奇 , 戈兰·维利诺夫 , 列奥尼德·斯托伊梅诺夫 , 阿列克桑达尔·迪莫夫斯基 , 博贾纳·科特斯卡 , 德拉甘·扬科维奇 , 伊雷娜·斯科斯卡 , 玛吉塔·孔·波波夫斯卡 , 博罗·贾基莫夫斯基 :
定义企业电子健康系统的模型驱动架构。 企业。 信息系统。 12 ( 8-9 ) : 915-941 ( 2018 ) [j8] 阿列克桑达尔·迪莫夫斯基 , 克劳斯·布拉布兰德 , 安德烈·瓦索夫斯基 :
提升分析的可变性抽象。 科学。 计算。 程序。 159 : 1-27 ( 2018 ) [j7] 阿列克桑达尔·迪莫夫斯基 :
使用符号游戏语义验证带注释的程序族。 西奥。 计算。 科学。 706 : 35-53 ( 2018 ) [公元28年] 阿列克桑达尔·迪莫夫斯基 :
使用模态特征转换系统的抽象基于家族的模型检查:CTL的保存。 FASE公司 2018 : 301-318 [公元27年] 艾哈迈德·萨利姆·西巴希 , 托马斯·詹森 , 阿列克桑达尔·迪莫夫斯基 , 安德烈·瓦索夫斯基 :
使用归纳精化类型验证高级转换。 GPCE公司 2018 : 147-160 [i4] 阿列克桑达尔·迪莫夫斯基 :
使用模态特征转换系统的抽象族模型检查:CTL*的保存(扩展版)。 CoRR公司 abs/1802.04970 ( 2018 ) [i3] 艾哈迈德·萨利姆·西巴希 , 托马斯·詹森 , 阿列克桑达尔·迪莫夫斯基 , 安德烈·瓦索夫斯基 :
用归纳精化类型验证高层变换。 CoRR公司 腹肌/1809.06336 ( 2018 ) 2017 [j6] 亚历山德鲁·弗洛林·约西夫·拉扎尔 , 让·梅洛 , 阿列克桑达尔·迪莫夫斯基 , 克劳斯·布拉布兰德 , 安德烈·瓦索夫斯基 :
通过重写变量对C程序进行有效分析。 艺术科学。 工程计划。 1 ( 1 ) : 1 ( 2017 ) [j5] 阿列克桑达尔·迪莫夫斯基 , 艾哈迈德·萨利姆·西巴希 , 克劳斯·布拉布兰德 , 安德烈·瓦索夫斯基 :
通过可变性抽象实现高效的基于家族的模型检查。 国际期刊软件。 技术工具。 变压器。 19 ( 5 ) : 585-603 ( 2017 ) [公元26年] 阿列克桑达尔·迪莫夫斯基 , 安德烈·瓦索夫斯基 :
从过渡系统到可变模型,从提升模型检查回到UPPAAL。 模型、算法、逻辑和工具 2017 : 249-268 [公元25年] 斯内扎娜·昆德瓦 , 阿列克桑达尔·迪莫夫斯基 :
用于调节微电网频率的车载电网系统。 欧洲通信公司 2017 : 456-460 [公元24年] 阿列克桑达尔·迪莫夫斯基 , 安德烈·瓦索夫斯基 :
基于系列的模型检查的变量特定抽象细化。 FASE公司 2017 : 406-423 【c23】 阿列克桑达尔·迪莫夫斯基 :
基于符号游戏语义和模型计数的概率分析。 甘道夫 2017 : 1-15 [i2] 亚历山德鲁·弗洛林·约西夫·拉扎尔 , 让·梅洛 , 阿列克桑达尔·迪莫夫斯基 , 克劳斯·布拉布兰德 , 安德烈·瓦索夫斯基 :
通过重写变量对C程序进行有效分析。 CoRR公司 abs/1701.08114 ( 2017 ) 2016 [公元22年] 阿列克桑达尔·迪莫夫斯基 , 克劳斯·布拉布兰德 , 安德烈·瓦索夫斯基 :
为基于家族的分析找到合适的变量抽象。 FM公司 2016 : 217-234 【c21】 艾哈迈德·萨利姆·西巴希 , 阿列克桑达尔·迪莫夫斯基 , 安德烈·瓦索夫斯基 :
高级转换的符号执行。 SLE公司 2016 : 207-220 [公元20年] 阿列克桑达尔·迪莫夫斯基 :
模型检查程序族的符号游戏语义。 自旋蛋白 2016 : 19-37 2015 【j4】 扬·米德加德 , 阿列克桑达尔·迪莫夫斯基 , 克劳斯·布拉布兰德 , 安德烈·瓦索夫斯基 :
正确的变量感知程序分析的系统推导。 科学。 计算。 程序。 105 : 145-170 ( 2015 ) [第19条] 阿列克桑达尔·迪莫夫斯基 , 克劳斯·布拉布兰德 , 安德烈·瓦索夫斯基 :
易变性抽象:基于家族分析的速度交易精度。 ECOOP公司 2015 : 247-270 [c18] 亚历山德鲁·伊奥西夫·拉扎尔 , 艾哈迈德·萨利姆·西巴希 , 阿列克桑达尔·迪莫夫斯基 , 朱哈·埃里克·萨沃莱宁 , Krzysztof Sierszecki公司 , 安德烈·瓦索夫斯基 :
设计和验证软件现代化改造的经验(E)。 ASE公司 2015 : 597-607 [c17] 阿列克桑达尔·迪莫夫斯基 , 艾哈迈德·萨利姆·西巴希 , 克劳斯·布拉布兰德 , 安德烈·瓦索夫斯基 :
不使用基于族的模型检查器的基于族的模式检查。 自旋蛋白 2015 : 282-299 [第16条] 阿列克桑达尔·迪莫夫斯基 , 艾哈迈德·萨利姆·西巴希 , 克劳斯·布拉布兰德 , 安德烈·瓦索夫斯基 :
使用现成的模型检查器进行基于族的模型检查:扩展抽象。 苏丹人民解放军 2015 : 397 [i1] 阿列克桑达尔·迪莫夫斯基 , 克劳斯·布拉布兰德 , 安德烈·瓦索夫斯基 :
变异性抽象:基于家族分析的速度交易精度(扩展版)。 CoRR公司 abs/1503.04608 ( 2015 ) 2014 [j3] 阿列克桑达尔·迪莫夫斯基 :
使用符号游戏语义进行程序验证。 西奥。 计算。 科学。 560 : 364-379 ( 2014 ) [第15条] 阿列克桑达尔·迪莫夫斯基 :
通过游戏语义确保程序的安全无干扰。 STM公司 2014 : 81-96 2013 [第14条] 阿列克桑达尔·迪莫夫斯基 :
使用游戏语义验证数据无关程序。 STAF的SC 2013 : 128-143 [第13条] 阿列克桑达尔·迪莫夫斯基 :
检测程序定时泄漏的吃角子老虎机游戏。 甘道夫 2013 : 166-179 2012 [c12] 德拉甘·萨帕斯基 , 阿列克桑达尔·迪莫夫斯基 , 戈兰·维利诺夫 , 玛吉塔·孔·波波夫斯卡 :
通过属性域细化有效处理Top-K连接查询。 亚的斯亚贝巴 2012 : 318-331 [第11条] 阿列克桑达尔·迪莫夫斯基 :
开放程序的参数化验证。 BCI公司 2012 : 180-185 [第10条] 阿列克桑达尔·迪莫夫斯基 :
算法游戏语义的符号表示。 甘道夫 2012 : 99-112 2010 [注2] 亚当·贝克韦尔 , 阿列克桑达尔·迪莫夫斯基 , 丹·吉卡(Dan R.Ghica) , 兰科·拉齐奇 :
数据抽象细化:一种游戏语义方法。 国际期刊软件。 技术工具。 变压器。 12 ( 5 ) : 373-389 ( 2010 ) 【c9】 阿列克桑达尔·迪莫夫斯基 , 戈兰·维利诺夫 , 德拉甘·萨帕斯基 :
基于谓词抽象的水平分区及其在数据仓库设计中的应用。 亚的斯亚贝巴 2010 : 164-175 【c8】 阿列克桑达尔·迪莫夫斯基 :
一种决定程序终止的组合方法。 ICT创新 2010 : 71-80 【c7】 阿列克桑达尔·迪莫夫斯基 :
一种确定非确定性程序等价性和终止性的合成方法。 国际单项体育联合会 2010 : 121-135
2000 – 2009
2007 【b1】 阿列克桑达尔·迪莫夫斯基 :
基于游戏语义的组合软件验证。 英国考文垂华威大学, 2007 [j1] 阿列克桑达尔·迪莫夫斯基 , 兰科·拉齐奇 :
基于游戏语义和过程代数的组合软件验证。 国际期刊软件。 技术工具。 变压器。 9 ( 1 ) : 37-51 ( 2007 ) 2006 【c6】 阿列克桑达尔·迪莫夫斯基 , 兰科·拉齐奇 :
基于游戏语义的假设保证软件验证。 ICFEM公司 2006 : 529-548 【c5】 阿列克桑达尔·迪莫夫斯基 , 丹·吉卡(Dan R.Ghica) , 兰科·拉齐奇 :
开放过程程序的反例引导优化工具。 自旋蛋白 2006 : 288-292 2005 【c4】 阿列克桑达尔·迪莫夫斯基 , 丹·吉卡(Dan R.Ghica) , 兰科·拉齐奇 :
基于游戏的模型检查的抽象细化。 GALOP@预计到达时间 2005 : 139 【c3】 阿列克桑达尔·迪莫夫斯基 , 丹·吉卡(Dan R.Ghica) , 兰科·拉齐奇 :
数据抽象精炼:一种游戏语义方法。 SAS公司 2005 : 102-117 2004 【c2】 阿列克桑达尔·迪莫夫斯基 , 兰科·拉齐奇 :
二阶理想化算法的游戏语义CSP表示。 ICFEM公司 2004 : 146-161 【c1】 阿列克桑达尔·迪莫夫斯基 , 兰科·拉齐奇 :
基于游戏语义和CSP的软件模型检查。 AVoCS公司 2004 : 105-125