马蒂亚斯·尼伯格
人员信息
优化列表
2020年–今天
2024 [公元20年] 安东·汉普斯 , 马蒂亚斯·尼伯格 :
正式验证随机规范的分解。 国际期刊软件。 技术工具。 变压器。 26 ( 2 ) : 207-228 ( 2024 ) [公元44年] 古斯塔夫·昂格 , 杰斯珀·阿米隆 , 迪利安·古罗夫 , 克里斯蒂安·利德斯特伦 , 马蒂亚斯·尼伯格 , 卡尔·帕尔姆斯科 :
具有非正式要求的汽车软件的事后正式验证:经验报告。 重新 2024 : 287-298 2023 [公元43年] 安东·汉普斯 , 马蒂亚斯·尼伯格 :
使用时间自动机验证概率契约的精化。 TASE公司 2023 : 95-113 2022 [公元42年] 安东·汉普斯 , 马蒂亚斯·尼伯格 :
正式验证随机规范的分解。 飞行管理信息系统 2022 : 193-210 [公元41年] 斯特凡·卡伦 , 安东·汉普斯 , 马蒂亚斯·尼伯格 , 奥尔勒·马特森 :
状态流的随机扩展。 国际比较项目 2022 : 211-222 [公元40年] Predrag Filipovikj公司 , 古斯塔夫·昂 , 迪利安·古罗夫 , 马蒂亚斯·尼伯格 :
状态流的有界不变量检查。 FMAS公司/ ASYDE@SEFM公司 2022 : 38-52 2021 [公元19年] 达米尔·内西奇 , 马蒂亚斯·尼伯格 , 芭芭拉·加利纳 :
基于合同的设计中的产品线保证案例。 J.系统。 柔和。 176 : 110922 ( 2021 ) [公元39年] 斯特凡·卡伦 , 马蒂亚斯·尼伯格 , 奥尔勒·马特森 :
状态流中工具支持的分层半马尔科夫过程模型的瞬态分析。 QEST公司 2021 : 105-126 [i1] Predrag Filipovikj公司 , 迪利安·古罗夫 , 马蒂亚斯·尼伯格 :
状态流程序的有界不变量检查。 CoRR公司 腹肌/2103.06248 ( 2021 ) 2020 [公元38年] 斯特凡·卡伦 , 马蒂亚斯·尼伯格 :
半马尔科夫过程的分支变换及其在安全关键系统中的应用。 IMBSA公司 2020 : 68-82 [公元37年] 马蒂亚斯·尼伯格 , 乔纳斯·韦斯特曼 , 迪利安·古罗夫 :
用非正式规范正式证明工业系统的组成性。 ISoLA(3) 2020 : 348-365
2010 – 2019
2019 [公元18年] 贾德·埃尔库里 , 安德烈·别列佐夫斯基 , 马蒂亚斯·尼伯格 :
工程软件工具互操作性数据访问技术的工业评估。 J.Ind.Inf.集成。 15 : 58-68 ( 2019 ) [公元17年] Didem Gürdür , 贾德·埃尔库里 , 马蒂亚斯·尼伯格 :
通过信息可视化进行关联企业数据质量评估的方法。 J.Ind.Inf.集成。 15 : 191-200 ( 2019 ) [公元16年] 乔纳斯·韦斯特曼 , 马蒂亚斯·尼伯格 :
通过实施语法契约条件,为指定安全关键系统提供工具支持。 要求。 工程师。 24 ( 2 ) : 231-256 ( 2019 ) [c36] 斯特凡·卡伦 , 马蒂亚斯·尼伯格 , 卡尔·邦德森 :
半马尔科夫过程的工具支持可靠性分析及其在自动驾驶中的应用。 ICSRS系统 2019 : 126-135 [公元35年] 达米尔·内西奇 , 贾德·埃尔库里 , 乔纳斯·韦斯特曼 , 马蒂亚斯·尼伯格 :
构建基于Web的联合工具链:从四年工业项目中吸取的教训。 iiWAS公司 2019 : 512-521 [公元34年] 克里斯蒂安·利德斯特伦 , 卡尔·邦德森 , 马蒂亚斯·尼伯格 , 乔纳斯·韦斯特曼 :
具有相关需求的ISO 26262 ASIL分解的改进模式。 QRS伴侣 2019 : 28-35 [c33] 达米尔·内西奇 , 马蒂亚斯·尼伯格 , 芭芭拉·加利纳 :
根据基于合同的规范构建产品线安全案例。 囊 2019 : 2022-2031 [公元32年] 达米尔·内西奇 , 马蒂亚斯·尼伯格 :
基于假设保证合同的产品线模块化安全案例。 SAFECOMP研讨会 2019 : 28-40 2018 [公元15年] 乔纳斯·韦斯特曼 , 马蒂亚斯·尼伯格 :
异构系统中分离职责的合同条件。 形式方法系统。 设计。 52 ( 2 ) : 147-192 ( 2018 ) [公元31年] 达米尔·内西奇 , 马蒂亚斯·尼伯格 :
使用描述逻辑验证基于合同的产品线规范。 描述逻辑 2018 [公元30年] 乔纳斯·韦斯特曼 , 马蒂亚斯·尼伯格 :
非单调组合下保持合同可满足性。 复地 2018 : 181-195 [公元29年] 马蒂亚斯·尼伯格 , 迪利安·古罗夫 , 克里斯蒂安·利德斯特伦 , 安德烈亚斯·拉斯穆森 , 乔纳斯·韦斯特曼 :
汽车行业的正式验证:促成因素和障碍。 ISoLA(4) 2018 : 139-158 [公元28年] Subramani Palanisamy Harisubramanyabalaji , 沙菲克·乌尔·雷曼 , 马蒂亚斯·尼伯格 , 乔金·古斯塔夫森 :
使用预测数据增强提高图像分类鲁棒性。 SAFECOMP研讨会 2018 : 548-561 2017 [公元14年] 乔纳斯·韦斯特曼 , 马蒂亚斯·尼伯格 , 乔金·古斯塔夫森 , 迪利安·古罗夫 :
顺序非递归C程序的形式化体系结构建模。 科学。 计算。 程序。 146 : 2-27 ( 2017 ) [公元27年] 迪利安·古罗夫 , 克里斯蒂安·利德斯特伦 , 马蒂亚斯·尼伯格 , 乔纳斯·韦斯特曼 :
安全关键嵌入式C代码的演绎功能验证:经验报告。 FMICS-AVoCS 2017 : 3-18 [公元26年] 芭芭拉·加利纳 , 马蒂亚斯·尼伯格 :
率先创建符合ISO 26262标准的基于OSLC的安全案例。 ISSRE研讨会 2017 : 325-330 [公元25年] 达米尔·内西奇 , 马蒂亚斯·尼伯格 :
多层次建模在产品线工程数据集成中的应用。 MoDELS(卫星活动) 2017 : 235-242 [公元24年] Predrag Filipovikj公司 , 吉列尔莫·罗德里格斯-纳瓦斯 , 马蒂亚斯·尼伯格 , 克里斯蒂娜·塞塞莱亚努 :
基于SMT的工业系统需求一致性分析。 囊 2017 : 1272-1279 【c23】 达米尔·内西奇 , 马蒂亚斯·尼伯格 , 芭芭拉·加利纳 :
使用多层理论对产品线遗留资产进行建模。 SPLC(B) 2017 : 89-96 2016 [公元22年] Predrag Filipovikj公司 , 特雷弗·贾格菲尔德 , 马蒂亚斯·尼伯格 , 吉列尔莫·罗德里格斯-纳瓦斯 , 克里斯蒂娜·塞尔希·塞塞莱亚努 :
在工业工具链中集成基于模式的形式化需求规范。 COMPSAC研讨会 2016 : 167-173 【c21】 乔纳斯·韦斯特曼 , 马蒂亚斯·尼伯格 , 奥斯卡·蒂登 :
CPS规范-安全关键网络物理系统的规范工具。 CyPhy公司 2016 : 116-125 [公元20年] 芭芭拉·加利纳 , 卡西亚亚尼·帕迪拉 , 马蒂亚斯·尼伯格 :
建立符合ISO 26262标准的基于OSLC的工具链,实现持续的自我评估。 QUATIC公司 2016 : 199-204 [第19条] 达米尔·内西奇 , 马蒂亚斯·尼伯格 :
系统工程中产品线可变性的多视图建模和自动化分析。 苏丹人民解放军 2016 : 287-296 2015 [c18] 马蒂亚斯·尼伯格 , 乔纳斯·韦斯特曼 :
基于契约理论的故障传播建模。 EDCC公司 2015 : 108-119 [c17] 乔纳斯·韦斯特曼 , 马蒂亚斯·尼伯格 :
顺序C程序的形式化体系结构建模。 FACS公司 2015 : 312-329 [第16条] 乔纳斯·韦斯特曼 , 马蒂亚斯·尼伯格 :
用安全完整性水平扩展合同理论。 哈斯 2015 : 85-92 2014 [j13] Lena Rogovchenko-Buffoni女士 , 安德烈亚·图迪斯 , 穆罕默德·佐赫布·侯赛因 , 马蒂亚斯·尼伯格 , 彼得·弗里茨森 :
基于模型的功能安全分析的集成工具链。 J.计算。 科学。 5 ( 三 ) : 408-414 ( 2014 ) [第15条] 张新海 , 马格努斯·佩尔森 , 马蒂亚斯·尼伯格 , 贝罗奥斯·莫赫塔里 , 安东·艾纳森 , 亨利克·林德 , 乔纳斯·韦斯特曼 , 陈德九 , 马丁·特伦格伦 :
有将软件架构恢复应用于汽车嵌入式系统的经验。 CSMR-WCRE公司 2014 : 379-382 [第14条] 吉列尔莫·罗德里格斯-纳瓦斯 , Cristina Cerschi Seceleanu女士 , 汉斯·汉森 , 马蒂亚斯·尼伯格 , 奥斯卡·容克兰茨 , 亨利克·洛恩 :
重型车辆功能安全的自动规范和验证:VeriSpec方法。 数模转换器 2014 : 95:1-95:4 [第13条] 乔纳斯·韦斯特曼 , 马蒂亚斯·尼伯格 :
以环境为中心的网络物理系统设计合同。 模型 2014 : 218-234 [c12] Predrag Filipovikj公司 , 马蒂亚斯·尼伯格 , 吉列尔莫·罗德里格斯-纳瓦斯 :
重新评估用于形式化汽车领域需求的基于模式的方法。 重新 2014 : 444-450 2013 [公元12年] 卡尔·斯瓦德 , 马蒂亚斯·尼伯格 , 埃里克·弗里斯克 :
汽车发动机故障诊断中剩余发电机的可实现性约束选择。 IEEE传输。 系统。 曼赛本。 系统。 43 ( 6 ) : 1354-1369 ( 2013 ) [第11条] Mafijul马里兰州伊斯兰 , 贝罗斯·桑切利(Behrooz Sangchoolie) , 法特梅赫·阿亚托拉希 , 丹尼尔·斯卡林 , 乔尼·文特 , 弗雷德里克·托纳 , 安德烈亚斯·卡克 , 马蒂亚斯·尼伯格 , 埃米利亚·维拉尼 , 约翰·哈拉尔德森 , 帕特里克·伊萨克森 , 约翰·卡尔森 :
面向汽车行业功能安全基准。 EWDC公司 2013 : 111-125 [第10条] 芭芭拉·加利纳 , 安东尼奥·加卢奇 , 克里斯蒂娜·隆德奎斯特 , 马蒂亚斯·尼伯格 :
VROOM&cC:为符合ISO 26262的产品线构建安全案例的方法。 SASSUR@SAFECOMP公司 2013 【c9】 乔纳斯·韦斯特曼 , 马蒂亚斯·尼伯格 :
使用ISO 26262的安全要求规范参考示例。 SAFECOMP的DECS 2013 【c8】 乔纳斯·韦斯特曼 , 马蒂亚斯·尼伯格 , 马丁·特伦格伦 :
使用合同理论构建ISO 26262中的安全要求。 SAFECOMP公司 2013 : 166-177 2012 [公元11年] 安娜·佩内斯特 , 马蒂亚斯·尼伯格 , 哈坎·沃奎斯特 :
重型卡车辅助制动系统干预故障诊断的建模和推理。 工程应用。 Artif公司。 智力。 25 ( 4 ) : 705-719 ( 2012 ) 【c7】 拉加德·达尔达 , 芭芭拉·加利纳 , 安德烈亚斯·约翰森 , 克里斯蒂娜·隆德奎斯特 , 马蒂亚斯·尼伯格 :
根据ISO 26262建立安全案例的行业经验。 ISSRE研讨会 2012 : 349-354 2011 [公元10年] 马蒂亚斯·尼伯格 :
处理行为模式诊断的广义最小命中集算法。 IEEE传输。 系统。 曼赛本。 A部分 41 ( 1 ) : 137-148 ( 2011 ) [公元9年] 乔纳斯·比特斯 , 埃里克·弗里斯克 , 马蒂亚斯·尼伯格 :
使用诊断压缩表示法的分布式诊断及其在汽车上的应用。 IEEE传输。 系统。 曼赛本。 A部分 41 ( 6 ) : 1262-1267 ( 2011 ) 【c6】 卡尔·斯瓦德 , 马蒂亚斯·尼伯格 , 埃里克·弗里斯克 , 马蒂亚斯·克莱桑德 :
用于故障诊断的残差评估的数据驱动和概率方法。 CDC/ECC 2011 : 95-102 2010 [j8] 卡尔·斯瓦德 , 马蒂亚斯·尼伯格 :
将混合因果计算序列用于汽车系统故障诊断的残差发生器。 IEEE传输。 系统。 曼赛本。 A部分 40 ( 6 ) : 1310-1328 ( 2010 )
2000 – 2009
2009 [j7] 乔纳斯·比特斯 , 马蒂亚斯·尼伯格 , 埃里克·弗里斯克 , 简·奥·斯伦德 :
利用分布式汽车应用程序确定部件的故障状态及其准备状态。 工程应用。 Artif公司。 智力。 22 ( 三 ) : 363-373 ( 2009 ) 2008 [j6] 乔纳斯·比特斯 , 马蒂亚斯·尼伯格 , 埃里克·弗里斯克 :
一种用于计算分布式系统中具有最小基数的诊断的算法。 工程应用。 Artif公司。 智力。 21 ( 2 ) : 269-276 ( 2008 ) [j5] 马蒂亚斯·克莱桑德 , 简·奥·斯伦德 , 马蒂亚斯·尼伯格 :
基于模型诊断的最小超约束子系统的高效算法。 IEEE传输。 系统。 曼赛本。 A部分 38 ( 1 ) : 197-206 ( 2008 ) 【c5】 Håkan Warnquist公司 , 马蒂亚斯·尼伯格 , 彼得·萨比 :
当行动成本取决于卡车发动机应用时的故障排除。 斯凯 2008 : 68-75 【c4】 安娜·佩内斯特 , 马蒂亚斯·尼伯格 :
概率约束下的贝叶斯推理。 SCAI公司 2008 : 151-156 【c3】 Hannes Wettig公司 , 安娜·佩内斯特 , 托米·西兰德 , 马蒂亚斯·尼伯格 :
故障隔离中的贝叶斯学习方法。 BMA公司 2008 2006 【j4】 马蒂亚斯·尼伯格 , 埃里克·弗里斯克 :
线性微分代数方程描述系统故障诊断的残差生成。 IEEE传输。 自动。 控制。 51 ( 12 ) : 1995-2000 ( 2006 ) 2002 [j3] 马蒂亚斯·尼伯格 :
使用几种类型的故障模型对汽车发动机进行基于模型的诊断。 IEEE传输。 控制。 系统。 Technol公司。 10 ( 5 ) : 679-689 ( 2002 ) 2001 [注2] 埃里克·弗里斯克 , 马蒂亚斯·尼伯格 :
线性系统故障诊断中残差生成的最小多项式基解。 自动。 37 ( 9 ) : 1417-1424 ( 2001 ) 2000 [j1] 马蒂亚斯·尼伯格 , 拉尔斯·尼尔森 :
一个通用的Chow-Willsky方案和可探测性标准。 IEEE传输。 自动。 控制。 45 ( 1 ) : 152-156 ( 2000 )
1990 – 1999
1999 【c2】 马蒂亚斯·尼伯格 :
基于模型的诊断框架和方法及其在汽车发动机上的应用。 ECC公司 1999 : 1872-1877 【c1】 埃里克·弗里斯克 , 马蒂亚斯·尼伯格 :
使用最小多项式基进行故障诊断。 ECC公司 1999 : 4161-4166