大卫·赖特 0001
人员信息
附属: 伦敦城市大学,英国软件可靠性中心
其他同名人员
大卫·赖特 — 消歧页 大卫·赖特 0002 -赖特研究与设计 大卫·赖特 0003 -英国伦敦Trilateral Research and Consulting LLP 大卫·赖特 0004 -美国北卡罗来纳州罗利市北卡罗莱纳州立大学 大卫·赖特 0005 (又名:大卫·J·赖特 0001 ) — 加拿大安大略省渥太华大学特尔弗管理学院 (还有1个) 大卫·赖特 0006 (又名:大卫·A·赖特 0001 ) -澳大利亚塔斯马尼亚大学霍巴特计算机科学系 大卫·赖特 0007 -英国爱丁堡大学地球科学系 大卫·赖特 0008 -美国密苏里州罗拉市密苏里科技大学 大卫·K·赖特 0001 (又名:大卫·赖特 0009 ) — 英国乌克斯布里奇布鲁内尔大学工程与设计学院 (还有1个)
其他同名人员
大卫·霍尔 0006 (又名:David Leo Wright Hall) — 加利福尼亚大学伯克利分校,加利福尼亚州,美国 (还有1个) C.大卫·赖特 -英国埃克塞特大学工程、数学和物理学院 大卫·D·赖特 大卫·G·赖特 大卫·J·赖特 — 消歧页 大卫·L·赖特 0001 — 美国地质调查局,丹佛,科罗拉多州,美国 (还有1个) 大卫·R·赖特 0001 -美国北卡罗来纳州罗利市北卡罗莱纳州立大学 大卫·W·赖特 0001 -英国伦敦大学学院化学系计算科学中心 大卫·K·赖特 0002 — 澳大利亚维多利亚州帕克维尔弗洛里神经科学和心理健康研究所 (还有1个) 大卫·W·赖特 0002 -美国佐治亚州亚特兰大市埃默里大学医学院 显示所有相似的名称
优化列表
2010 – 2019
2018 [公元9年] 赵星宇 , 贝夫·利特伍德 , 安德烈·波维亚卡洛 , 洛伦佐·斯特里吉尼 , 大卫·赖特 :
使用以前类似系统的运行经验,对基于软件的系统的完善概率的保守主张。 Reliab公司。 工程系统。 安全。 175 : 265-282 ( 2018 ) 2017 [j8] 赵星宇 , 贝夫·利特伍德 , 安德烈·波维亚卡洛 , 洛伦佐·斯特里吉尼 , 大卫·赖特 :
对一个信道为“准完美”的二取一系统的按需失效概率(pfd)进行建模。 Reliab公司。 工程系统。 安全。 158 : 230-245 ( 2017 ) [j7] 罗宾·布隆菲尔德 , 彼得·波波夫 , 基齐托·萨拉科 , 弗拉基米尔·斯坦科维奇 , 大卫·赖特 :
初步相互依赖性分析:一种支持关键基础设施风险评估的方法。 Reliab公司。 工程系统。 安全。 167 : 198-217 ( 2017 ) 2015 【c8】 赵星宇 , 贝夫·利特伍德 , 安德烈·波维亚卡洛 , 大卫·赖特 :
关于基于软件的系统的完善概率的保守主张。 ISSRE公司 2015 : 130-140 2014 [j6] 洛伦佐·斯特里吉尼 , 大卫·赖特 :
给定每个需求的平均失效概率的生存概率界限; 以及不确定性的矛盾优势。 Reliab公司。 工程系统。 安全。 128 : 66-83 ( 2014 ) 2011 [j5] 彼得·毕晓普 , 罗宾·布隆菲尔德 , 贝夫·利特伍德 , 安德烈·波维亚卡洛 , 大卫·赖特 :
关于基于软件的系统可靠性的保守声明的形式主义。 IEEE传输。 软件工程。 37 ( 5 ) : 708-717 ( 2011 )
2000 – 2009
2009 【c7】 罗宾·布隆菲尔德 , 卢博斯·布兹纳 , 彼得·波波夫 , 基齐托·萨拉科 , 大卫·赖特 :
关键基础设施之间相互依赖影响的随机建模。 克里蒂斯 2009 : 201-212 2007 【j4】 贝夫·利特伍德 , 大卫·赖特 :
使用多义论证提高基于软件的系统安全声明的可信度:基于BBN对理想示例的分析的研究。 IEEE传输。 软件工程。 33 ( 5 ) : 347-365 ( 2007 ) 【c6】 罗宾·布隆菲尔德 , 贝夫·利特伍德 , 大卫·赖特 :
信心:它在风险评估可靠性案例中的作用。 DSN(DSN) 2007 : 338-346 【c5】 彼得·毕晓普 , 伊里尔·加西 , 贝夫·利特伍德 , 大卫·赖特 :
一个二取一系统的可靠性建模:使用不同的离线SQL数据库服务器进行研究。 ISSRE公司 2007 : 49-58 2003 【c4】 大卫·赖特 :
图形可靠性模型的启发和验证。 SAFECOMP公司 2003 : 8-21 2001 【b1】 大卫·赖特 :
软件可靠性预测。 英国伦敦城市大学, 2001
1990 – 1999
1998 [j3] 诺曼·芬顿 , 贝夫·利特伍德 , 马丁·内尔 , 洛伦佐·斯特里吉尼 , 阿利斯泰尔·苏特克利夫 , 大卫·赖特 :
使用各种证据评估安全关键系统的可靠性。 IEE程序。 柔和。 145 ( 1 ) : 35-39 ( 1998 ) 1997 [注2] 贝夫·利特尔伍德 , 大卫·赖特 :
安全关键软件操作测试的一些保守停止规则。 IEEE传输。 软件工程。 23 ( 11 ) : 673-683 ( 1997 ) 1995 【c3】 贝夫·利特伍德 , 大卫·赖特 :
安全关键软件操作测试停止规则。 FTCS(飞行时间控制系统) 1995 : 444-451 【c2】 约翰·梅耶 , 贝夫·利特伍德 , 大卫·赖特 :
模块化软件在多用户操作环境中的可靠性。 ISSRE公司 1995 : 170-179 【c1】 贝夫·利特伍德 , 大卫·赖特 :
结合不同证据的贝叶斯模型用于系统可靠性定量评估。 SAFECOMP公司 1995 : 173-188 1993 [j1] 贝夫·利特伍德 , 莎拉·布罗克赫斯特 , 诺曼·芬顿 , 彼得·梅勒 , 斯特拉·佩奇 , 大卫·赖特 , 约翰·道布森 , 约翰·麦克德米德 , 迪特尔·戈尔曼 :
计算机安全操作措施。 J.计算。 安全。 2 ( 2-3 ) : 211-230 ( 1993 )