乔纳森·以西结
人员信息
优化列表
2010 – 2019
2017 [注2] 乔纳森·以西结 , 安德烈亚·洛穆西奥 :
结合故障注入和模型检查来验证多代理系统中的容错性、可恢复性和可诊断性。 Inf.计算。 254 : 167-194 ( 2017 ) 2011 [j1] 乔纳森·以西结 , 杰拉尔德·吕特根 , 西米尼亚努半径 :
并行化还是优化? J.日志。 计算。 21 ( 1 ) : 85-120 ( 2011 ) 【c7】 乔纳森·以西结 , 阿莱西奥·洛穆西奥 , 利文特·莫尔纳 , 桑德·维雷斯(Sandor M.Veres) :
验证自主水下机器人的容错性和自诊断性。 国际JCAI 2011 : 1659-1664 2010 【c6】 乔纳森·以西结 , 阿莱西奥·洛穆西奥 :
一种自动可诊断性分析方法。 ICFEM公司 2010 : 549-564
2000 – 2009
2009 【c5】 乔纳森·以西结 , 阿莱西奥·洛穆西奥 :
将故障注入和模型检查相结合来验证多智能体系统中的容错性。 美国原子能机构协会(1) 2009 : 113-120 【c4】 乔纳森·以西结 , 阿莱西奥·洛穆西奥 :
一种在多代理系统中验证可诊断性的自动化方法。 SEFM公司 2009 : 51-60 2007 【c3】 乔纳森·以西结 , 杰拉尔德·吕特根 , 吉安弗兰科·西亚多 :
并行化符号状态空间生成器。 CAV汽车 2007 : 268-280 【c2】 乔纳森·以西结 , 杰拉尔德·吕特根 :
测量和评估并行状态空间探索算法。 PDMC@CAV 2007 : 47-61 2006 【c1】 乔纳森·以西结 , 杰拉尔德·吕特根 , 西米尼亚努半径 :
饱和可以并行化吗? FMICS/PDMC系统 2006 : 331-346