本杰明·比特纳
人员信息
SPARQL查询
优化列表
2020年–今天
2022 [j1] 本杰明·比特纳 , 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·加里奥 , 斯特凡诺·托内塔 , 维克托里亚·沃扎罗娃 :
公平过渡系统的可诊断性。 Artif公司。 智力。 309 : 103725 ( 2022 )
2010 – 2019
2017 【c8】 本杰明·比特纳 , 马可·波扎诺 , 亚历山德罗·西马蒂 :
航天器工程的时间失效传播分析:ESA太阳轨道器案例研究。 IMBSA公司 2017 : 255-271 2016 【b1】 本杰明·比特纳 :
用于有效故障管理的正式故障分析:航空航天视角。 意大利特伦托大学, 2016 【c7】 本杰明·比特纳 , 马可·波扎诺 , 亚历山德罗·西马蒂 , 詹尼·赞佩德里 :
故障传播模型的自动验证和拧紧。 AAAI公司 2016 : 907-913 【c6】 本杰明·比特纳 , 马可·波扎诺 , 亚历山德罗·西马蒂 :
定时故障传播图的自动合成。 国际JCAI 2016 : 972-978 【c5】 本杰明·比特纳 , 马可·波扎诺 , 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 马可·加里奥 , 阿尔贝托·格里乔 , 克里斯蒂安·马塔雷 , 安德烈亚·米其利 , 詹尼·赞佩德里 :
xSAP安全分析平台。 TACAS公司 2016 : 533-539 2015 [i1] 本杰明·比特纳 , 马可·波扎诺 , 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 马可·加里奥 , 阿尔贝托·格里乔 , 克里斯蒂安·马塔雷 , 安德烈亚·米其利 , 詹尼·赞佩德里 :
xSAP安全分析平台。 CoRR公司 abs/1504.07513 ( 2015 ) 2014 【c4】 越南元 , 本杰明·比特纳 , Joost-Pieter Katoen公司 , 托马斯·诺尔 :
使用面向成分的插值进行成分分析。 传真 2014 : 68-85 【c3】 本杰明·比特纳 , 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·加里奥 , 阿尔贝托·格里乔 :
单调成本函数的帕累托最优参数综合。 FMCAD公司 2014 : 23-30 【c2】 本杰明·比特纳 , 马可·波扎诺 , 亚历山德罗·西马蒂 , 雷吉斯·德·费卢克 , 马可·加里奥 , 安德烈亚·吉奥托 , 尤里·尤什廷 :
航空航天中FDIR设计的集成过程。 IMBSA公司 2014 : 82-95 2012 【c1】 本杰明·比特纳 , 马可·波扎诺 , 亚历山德罗·西马蒂 , 泽维尔橄榄 :
可诊断性的可观察性要求的符号综合。 AAAI公司 2012 : 712-718