大卫·帕克 0002
人员信息
附属: 英国赫尔大学
其他同名人员
大卫·帕克 — 消歧页 大卫·帕克 0001 (又名:大卫·安东尼·帕克) — 英国牛津大学计算机科学系 (还有1个) 大卫·帕克 0003 -英国纽卡斯尔大学 大卫·帕克 0004 — 加拿大安大略省斯卡伯勒市斯卡伯勒医院(TSH) (还有1个) 大卫·帕克 0005 -英国伯明翰阿斯顿大学阿斯顿商学院 大卫·帕克 0006 — 英国阿伯里斯特威斯大学 (还有1个) 大卫·帕克 0007 -加拿大新斯科舍省哈利法克斯达尔豪西大学 大卫·帕克 0008 -美国纽约哥伦比亚大学 大卫·帕克 0009 -英国奇尔顿卢瑟福阿普尔顿实验室(RAL) 大卫·帕克 0010 -英国达勒姆大学商学院 大卫·帕克 0011 -美国德克萨斯州峡谷市西得克萨斯农工大学农业、科学与工程学院
优化列表
2020年–今天
2022 [第12条] 卢卡斯·布莱桑 , 安德烈·路易斯·德·奥利维拉 , 费尔南达·C·A·坎波斯 , 莱昂纳多·蒙泰奇 , 拉斐尔·卡皮拉 , 大卫·帕克 , 库罗什·阿斯兰塞法特 , 伊安妮斯·帕帕佐普洛斯 :
使用状态机图对系统安全分析的可变性进行建模。 IMBSA公司 2022 : 43-59 2020 [第11条] 哈米德·贾哈尼安 , 大卫·帕克 , 马克·泽勒 , 安娜贝拉·麦克维尔 , 伊安妮斯·帕帕佐普洛斯 :
基于模型的安全分析中的故障模式推理。 IMBSA公司 2020 : 130-145 [第10条] 卢卡斯·布莱桑 , 安德烈·路易斯·德·奥利维拉 , 费尔南达·坎波斯 , 伊安妮斯·帕帕佐普洛斯 , 大卫·帕克 :
支持变型智能系统基于过程认证的综合方法。 IMBSA公司 2020 : 179-193 [i1] 哈米德·贾哈尼安 , 大卫·帕克 , 马克·泽勒 , 安娜贝拉·麦克维尔 , 伊安妮斯·帕帕佐普洛斯 :
基于模型的安全分析中的故障模式推理。 CoRR公司 abs/2005.06279 ( 2020 )
2010 – 2019
2019 [j5] 安德烈·路易斯·德·奥利维拉 , 罗莎娜·T·V·布拉加 , 保罗·塞萨尔·马西耶罗 , 大卫·帕克 , 伊安妮斯·帕帕佐普洛斯 , 易卜拉欣·哈布利 , 蒂姆·凯利 :
安全关键系统设计和可靠性分析中的可变性管理。 J.软件。 进化。 过程。 31 ( 8 ) ( 2019 ) 2017 【c9】 阿萨纳西奥斯视网膜炎 , 伊安妮斯·帕帕佐普洛斯 , 约阿尼斯·索罗科斯 , 大卫·帕克 , 尼古拉斯·马特拉卡斯 , 塞普塔维拉·莎维亚 :
模型关联安全案例。 IMBSA公司 2017 : 50-63 【c8】 索哈格·卡比尔 , 伊安妮斯·帕帕佐普洛斯 , 马丁·沃克 , 大卫·帕克 , 何塞·伊格纳西奥·艾兹普鲁阿 , 约格·兰普 , 埃里希·吕德 :
基于模型的HiP-HOPS扩展,用于动态故障传播研究。 IMBSA公司 2017 : 163-178 2016 【j4】 伊安妮斯·帕帕佐普洛斯 , 马丁·沃克 , 大卫·帕克 , 塞普塔维拉·莎维亚 , 莱昂纳多·博塔奇 , 索哈格·卡比尔 , 路易斯·席尔瓦·阿泽维多 , 伊安妮斯·索洛科斯 :
可靠系统设计中逻辑和生物灵感技术的综合。 每年。 版本控制。 41 : 170-182 ( 2016 ) 2014 [j3] 路易斯·达席尔瓦·阿泽夫多 , 大卫·帕克 , 马丁·沃克 , 伊安妮斯·帕帕佐普洛斯 , 鲁伊·埃斯特夫斯·阿劳霍 :
协助分配汽车安全要求。 IEEE软件。 31 ( 1 ) : 62-68 ( 2014 ) 【c7】 路易斯·席尔瓦·阿齐夫多 , 大卫·帕克 , 伊安妮斯·帕帕佐普洛斯 , 马丁·沃克 , 伊安妮斯·索洛科斯 , 鲁伊·埃斯特夫斯·阿劳霍 :
探讨不同成本启发式在安全完整性等级分配中的影响。 IMBSA公司 2014 : 70-81 2013 [注2] 马丁·沃克 , Mark-Liver Reiser公司 , 萨拉·图奇·皮尔乔瓦尼 , 伊安妮斯·帕帕佐普洛斯 , 亨利克·洛恩 , 乔克里·姆拉迪哈 , 大卫·帕克 , 陈德九 , 大卫·塞瓦特 :
使用EAST-ADL自动优化系统架构。 J.系统。 柔和。 86 ( 10 ) : 2467-2487 ( 2013 ) 【c6】 大卫·帕克 , 马丁·沃克 , 路易斯·席尔瓦·阿齐夫多 , 伊安妮斯·帕帕佐普洛斯 , 鲁伊·埃斯特韦斯·阿劳霍 :
使用基于惩罚的遗传算法自动分解和分配安全完整性等级。 国际能源署/美国国际能源署 2013 : 449-459 [c5] 路易斯·席尔瓦·阿齐夫多 , 大卫·帕克 , 马丁·沃克 , 伊安妮斯·帕帕佐普洛斯 , 鲁伊·埃斯特夫斯·阿劳霍 :
安全完整性等级的自动分解:通过禁忌搜索进行优化。 汽车@SAFECOMP 2013 2011 [j1] Masakazu Adachi公司 , 伊安妮斯·帕帕佐普洛斯 , 塞普塔维拉·莎维亚 , 大卫·帕克 , Tetsuya Tohdo公司 :
一种使用HiP-HOPS优化容错体系结构的方法。 柔和。 实际。 支出。 41 ( 11 ) : 1303-1327 ( 2011 ) 2010 【b1】 大卫·帕克 :
安全关键分层系统的多目标优化。 英国赫尔河畔金斯顿赫尔大学, 2010
2000 – 2009
2007 【c4】 大卫·帕克 , 伊安妮斯·帕帕佐普洛斯 :
使用基于模型的安全分析技术优化网络控制系统。 ICNSC公司 2007 : 425-430 2006 【c3】 拉尔斯·格伦斯克 , 彼得·林赛 , 埃戈尔·邦达雷夫 , 伊安妮斯·帕帕佐普洛斯 , 大卫·帕克 :
基于体系结构的软件集成系统可靠性属性优化方法概述。 WADS公司 2006 : 188-209 2004 【c2】 伊安妮斯·帕帕佐普洛斯 , 大卫·帕克 , 克里斯蒂安·格兰特 :
自动化安全关键系统的故障模式和影响分析。 哈斯 2004 : 310-311 【c1】 伊安妮斯·帕帕佐普洛斯 , 大卫·帕克 , 克里斯蒂安·格兰特 :
基于模型的工程设计半自动失效模式和影响分析的方法和工具支持。 南海 2004 : 89-95