阿诺德·菲茨克
人员信息
优化列表
2020年–今天
2022 [c12] 马库斯·施纳宾格 , 西蒙·扎乔 , 阿诺德·菲茨克 , 亚历山大·普雷施纳 以下为:
基于文本和图像的机器学习预测软件可维护性的初步研究。 SWQD公司 2022 以下为: 41-60 2021 [第11条] 马库斯·施纳格尔 , 阿诺德·菲茨克 , 亚历山大·普雷施纳 以下为:
基于静态代码度量的人性化顺序维修性预测。 EASE公司 2021 以下为: 160-169 2020 [第10条] 马库斯·施纳宾格 , 阿诺德·菲茨克 , 亚历山大·普雷施纳 以下为:
定义软件可维护性数据集:收集、聚合和分析软件可维护的专家评估。 国际中小企业联合会 2020 以下为: 278-289
2010 – 2019
2019 【c9】 康拉德·海德勒 , 阿诺德·菲茨克 以下为:
用于评估中欧干旱保险索赔的遥感。 IGARSS公司 2019 以下为: 7306-7309 【c8】 马库斯·施纳宾格 , 莫赫德·哈菲兹·奥斯曼 , 亚历山大·普雷施纳 , 阿诺德·菲茨克 以下为:
学习基于静态分析工具的可维护性预测分类器。 国际刑警组织 2019 以下为: 243-248年 2018 【c7】 马库斯·施纳宾格 , 莫赫德·哈菲兹·奥斯曼 , 亚历山大·普雷施纳 , 马库斯·皮兹卡 , 阿诺德·菲茨克 以下为:
实践中的软件质量评估:一个假设驱动的框架。 环境与社会管理局 2018 以下为: 40:1-40:6 2017 【c6】 阿诺德·菲茨克 , Benedikt Mas y Parareda公司 以下为:
Versicherungsbrance的软件维护:Ein Praxisbeispiel。 软件工程 2017 以下为: 33-34 2014 【b1】 阿诺德·菲茨克 以下为:
标签叠加。 萨尔州大学, 2014 2012 [注2] 阿诺德·菲茨克 , 克里斯托夫·魏登巴赫 以下为:
叠加作为时间自动机的决策过程。 数学。 计算。 科学。 6 ( 4 ) 以下为: 409-425 ( 2012 ) 【c5】 阿诺德·菲茨克 , 叶夫根尼·克鲁格洛夫 , 克里斯托夫·魏登巴赫 以下为:
SUP(LA)中循环导数不变量的自动生成。 LPAR公司 2012 以下为: 197-211 2010 【c4】 阿诺德·菲茨克 , 霍尔格·赫尔曼斯 , 克里斯托夫·魏登巴赫 以下为:
基于叠加的一阶概率时间自动机分析。 LPAR(日惹) 2010 以下为: 302-316
2000 – 2009
2009 [j1] 阿诺德·菲茨克 , 克里斯托夫·魏登巴赫 以下为:
带标签的拆分。 安。数学。 Artif公司。 因特尔。 55 ( 1-2 ) 以下为: 3-34 ( 2009 ) 【c3】 克里斯托夫·魏登巴赫 , 迪利亚娜·迪莫娃 , 阿诺德·菲茨克 , 罗希特·库马尔 , 马丁·苏达 , 帕特里克·维什内夫斯基 以下为:
SPASS 3.5版。 CADE公司 2009 以下为: 140-145 2008 [c2] 克里斯托夫·本兹穆勒 , 劳伦斯·C·保尔森 , 弗兰克·泰斯 , 阿诺德·费茨克 以下为:
LEO-II——经典高阶逻辑的协同自动定理证明程序(系统描述)。 国际JCAR 2008 以下为: 162-170 【c1】 阿诺德·菲茨克 , 克里斯托夫·魏登巴赫 以下为:
标签拆分。 国际JCAR 2008 以下为: 459-474