<kbd id="to6sspbm"></kbd><address id="0drvzj4n"><style id="ezvn7h47"></style></address><button id="2h5cvl3q"></button>

          1. 学术专家
          2. 研修生
          3. 学生们
          4. 校友
          5. 资深人士在城市
          6. 非学术人员
          7. 荣誉毕业生

          portrait of 医生彼得·波波夫

          医生彼得·波波夫

          副院长(国际)

          数学,计算机科学与工程学院, 计算机科学系

          联系信息

          联系

          参观彼得·波波夫

          a304e,教学楼

          邮寄地址

          城市,澳门太阳城官网最新网址
          北安普顿广场
          伦敦
          EC1V 0hb
          英国

          关于

          概观

          彼得是软件可靠性的专家。我出生于保加利亚,毕业于计算机工程于1982年从国立技术大学基辅(KPI),乌克兰,在苏联的一部分时间,并于1989年从同一所大学获得博士学位(副博士学位)。

          在1997年加入伦敦城市大学中心软件可靠性(CSR)之前,我工作的保加利亚科学院作为副教授 信息与通信技术研究所.

          我是在协调科学实验室(CSL)在伊利诺伊大学香槟分校(美国)在拉斯大学的访问学者 - CNRS图卢兹(法国),和杜克大学(美国)。

          我咨询在计算机和软件可靠性等方面在欧洲和美国已先后在几个县。

          资格

          1. 博士计算机科学,基辅的技术和设计的国立大学,乌克兰,1985年至1989年

          雇用

          1. 读卡器,城市,伦敦,2007年的大学 - 目前
          2. 伦敦senoir讲师,城市,大学,2003至2007年
          3. 讲师,城市,澳门太阳城官网最新网址,2000至2003年
          4. 伦敦的研究员,城市,大学,1997年至2000年
          5. 副教授,保加利亚科学院 - 学院信息与通信技术,1990至1997年
          6. 研究和开发的磁头,磁盘存储单位,1982年至1985年

          语言

          保加利亚(可以同行评议),英语(可以同行审查)和俄语(可以同行审查)。

          专门知识

          地理区域

          • 欧洲

          研究

          研究兴趣

          - 软件工程
          - 软件可靠性评估,
          - 系统可靠性,
          - 软件容错,
          - 绩效评估
          - 关键基础设施的相互依存关系

          项目

          -
          - irriis
          - 分析辅助机构
          -

          视觉范式

          利用视觉pradigm是由提供给城市大学 学术合作伙伴计划视觉范式教育目的。

          研修生

          奥列克netkachov

          出席: 2015年5月 - 2021年4月,兼职

          论文题目: 方法,方法和采用高性能仿真进行定量系统评估工具

          角色: 1监督员

          shahedeh Abdolhossein哈尼

          出席: 2013年6月 - 2017年12月,全职

          论文题目: 适应性网络服务

          角色: 第二导师

          出版物

          1. (2019)。 抗灾能力的网络物理系统。 斯普林格国际出版。 ISBN 978-3-319-95596-4。
          2. 波波夫,P。 (2017年)。 的在网络攻击容错软件可靠性模型。
          3. 波波夫,公厕和strigini,L。 (2010年)。 评估不对称容错软件。
          4. 布卢姆菲尔德,R.E.,Popov的,页,salako,K。,斯坦科维奇,V。和Wright,d。 (2017年)。 初步分析相互依赖:支持关键的基础设施风险评估的方法。 可靠性工程和系统安全性, 167,第198-217。 DOI:10.1016 / j.ress.2017.05.030.
          5. 波波夫,公厕(2013年)。 与容错现成的,现成的软件升级传统安全关键系统的贝叶斯可靠性评估。 Reliability Engineering & System Safety, 117,第98-113。 DOI:10.1016 / j.ress.2013.03.017.
          6. 波波夫,P. T.和斯坦科维奇,V。 (2012年)。 有关数据库复制协议的改进。 专利号。 N / A

          章节(4)

          1. netkachov,或者,Popov的,第和Salako,K。 (2019)。 防御纵深的关键基础设施的有效性进行定量评价。 先进的科学和安全应用技术 (第89-121)。
          2. 的Littlewood,B。,波波夫,P.T.,strigini,升。和shryane,N。 (2008年)。 造型多样相结合的软件故障检测技术的影响。 在hierons,R.M.,鲍文,J.P与Harman,米。 (编), 形式化方法和测试 (第345-366)。德国:施普林格。 ISBN 978-3-540-78916-1。
          3. Djambazov,K。和波波夫,P。 (1997年)。 设计仿真软件故障。 安全性和可靠性的基于软件系统 (第389-418)。斯普林格伦敦。 ISBN 978-3-540-76034-4。
          4. 卡瓦列,S。,chiacchio,F。,甘露,克。和波波夫,P。 通过混合随机建模分布式网络的定量评估。 分布式系统的定量评估 (pp. 223–264). John Wiley & Sons, 在c.. ISBN 978-1-118-59521-3.

          会议论文和会议记录(45)

          1. 斯坦科维奇,V。,fujdiak河,POKORNY,J。,zobal湖,Popov的,页,mlynek,第... misurec,J。 (2019)。 安全性和性能的折衷数据分发服务于飞ad-hoc网络。 在ULTR现代通信和控制系统的第11届大会intenrational 10月28-30日,dubline,爱尔兰。
          2. herwanger,J.V.,bottrill,一。和波波夫,P。 (2016)。 一个四维地质力学模型和它的许多应用。
          3. 波波夫,公厕(2015年)。 电子马达,ASIL-d设备的安全和保障的随机建模。 计算机安全性,可靠性和安全性,safecomp 2015年第34届国际会议 9月23日至25日,荷兰Delft。
          4. 波波夫页,salako,K.O。和斯坦科维奇,V。 (2015年)。 对于数据库复制协议性能评估随机建模。 对系统的定量评价第12届国际会议 9月1日至3日,西班牙马德里。
          5. netkachova,K。,布卢姆菲尔德河,Popov的,第和netkachov,邻。 (2015年)。 采用结构化的保证情况的方法来分析关键基础设施的安全性和可靠性。
          6. 波波夫,P.T.,povyakalo,一个。,斯坦科维奇,V。和strigini,升。 (2014)。 软件多样性降低开发风险的措施。 欧洲可靠的计算大会 - EDCC 2014 五月13-16,纽卡斯尔。
          7. butenko,V。,kharchenko,V。,odarushchenko,邻,Popov的,页,sklyar,V。和odarushchenko,例如(2014)。 Markov's model and tool-based assessment of safety-critical I&C systems: Gaps of the IEC 61508.
          8. kharchenko,V.S.,odarushchenko,邻,odarushchenko,V。和波波夫,P.T. (2013年)。 选择由硬马尔可夫链描述计算机系统的可靠性评估数学软件。
          9. kharchenko,V。,odarushchenko,邻,odarushchenko,V。和Popov的,第(2013年)。 案例分析:由硬质马尔可夫链描述计算机系统的可用性评估。
          10. 波波夫页,斯坦科维奇,诉和strigini,L。 (2012年)。 基于人口众多不同程序的“强迫多样性”的效果进行了实证研究。 issre 2012年,软件可靠性工程国际研讨会 11月27日至30日,美国德克萨斯州达拉斯,美国。
          11. 波波夫,P。 (2011年)。 初步分析相互依存(PIA):方法和工具支持。 第三国际研讨会“软件工程的弹性系统”(安详2011),9月29日至30日, 9月29-30日,瑞士日内瓦。
          12. 波波夫,P. T.和甘露,克。 (2011年)。 相关的故障率的对时间1外的2个连续的软件可靠性的效果。 计算机安全性,可靠性和安全性30届国际大会(safecomp 2011) 9月19-21日,意大利那不勒斯。
          13. 波波夫,P.T.,buzna湖,布卢姆菲尔德河,salako,K。和Wright峰,d。 (2010年)。 的关键基础设施之间的相互依赖的效果随机建模。 重要信息基础设施安全,4日国际研讨会(2009年critis) 2010 5月20日 - 2010年10月2。
          14. 布卢姆菲尔德河,buzna湖,Popov的,页,salako,K。和Wright峰,d。 (2010年)。 的关键基础设施之间的相互依赖的效果随机建模。
          15. 的Littlewood,B。,波波夫,P.T.,strigini,升。和shryane,N。 (2008年)。 造型多样相结合的软件故障检测技术的影响。
          16. kharchenko,V。,pomorova,邻,菲利普斯,C。,romanovsky,一个。,Popov的,第和troubitsyna,E。 (2008年)。 “mastac”:在关键的软件和计算机硕士和博士研究新课程。
          17. gashi,我。和波波夫,P。 (2007年)。 现成的,现成的软件的不确定性明确的评价:最佳多样化对的选择。
          18. 波波夫,P. T.和Gashi,我。 (2007年)。 现成的,现成的软件的不确定性明确的评价:最佳多样化对的选择。 在床第六届国际会议的基于软件系统(iccbss-2007) 班夫,加拿大阿尔伯塔省。
          19. gashi,我。和波波夫,公厕(2006年)。 改写为关闭的,现成的SQL数据库服务器的规则。
          20. 斯坦科维奇,V。和Popov的,P. T. (2006年)。 提高数据库管理系统通过不同的冗余性能。
          21. 斯坦科维奇,V。和波波夫,P。 (2006年)。 提高数据库管理系统通过不同的冗余性能。 可靠的分布式系统25 IEEE专题讨论会(2006年的SRD).
          22. 波波夫,P。和的Littlewood,B。 (2004年)。 测试对容错软件可靠性的影响。 在可靠的系统和网络国际会议 2004年6月28日 - 2004年7月1日,意大利佛罗伦萨。
          23. gashi岛,波波夫,公厕和strigini,L。 (2004年)。 故障关闭的,现成的SQL数据库服务器之间的差异。
          24. 波波夫,P.T.,strigini湖,科斯托夫,一个。,mollov,V。和selensky,d。 (2004年)。 软件容错与关闭的现成的SQL Server。
          25. gorbenko,一,kharchenko,V.S.,波波夫,公厕和romanovsky,A.B (2004年)。 与部件可靠的组合Web服务的在线升级。
          26. 的Littlewood,B。,布卢姆菲尔德河,Popov的,页,povyakalo,一个。和strigini,L。 (2004年)。 “难度”变化对不同系统的重合失败的概率的影响。 在核设施控制与仪器仪表国际会议 利物浦。
          27. 波波夫,公厕,kharchenko,诉和romanovsky,一。 (2004年)。 与在线升级后的组件的组合Web服务的可靠性。 在可靠的系统和网络国际会议(dsn'04 - 车间补充) 意大利佛罗伦萨。
          28. strigini,L。和波波夫,P。 (2003年)。 多样性与现成的,现成的组件:与SQL数据库服务器进行了研究。 在可靠的系统和网络国际会议(DSN 2003).
          29. 波波夫,公厕(2002年)。 有现成的现成组件升级传统安全关键系统的可靠性评估。
          30. 波波夫,公厕和strigini,L。 (2001年)。 不同系统的可靠性:在使用故障创建过程的建模贡献。
          31. 波波夫,公厕,strigini湖,谜语,S。和romanovsky,A.B (2001年)。 对使用OTS项目保护的系统设计。
          32. 的Littlewood,B。,波波夫,P.T.和strigini,L。 (2001年)。 软件设计造型的多样性。
          33. strigini湖,Popov的,页,谜语,S。和romanovsky,一。 (2001年)。 OTS组件的保护性包装。 组件认证和系统预测:基于组件的软件工程4 ICSE车间 多伦多。
          34. Ainsworth的,米。,eastaughffe,K。和辛普森,一。 (2001年)。 安全案例的软件密集型系统。
          35. 的Littlewood,B。,Popov的,第和strigini,L。 (2001年)。 设计多元化:从可靠性建模研究的最新情况。
          36. 波波夫,公厕,strigini,L。和的Littlewood,B。 (2000年)。 Choosing Between Fault-Tolerance and 在creased V&V for Improving Reliability.
          37. 的Littlewood,B。,波波夫,P.T.和strigini,L。 (2000年)。 的容错软件的可靠性评估:一个贝叶斯方法。
          38. 的Littlewood,B。,Popov的,第和strigini,L。 (2000年)。 N版的设计与一个好的版本。 在可靠的系统和网络(快速摘要)PROC国际会议 纽约。
          39. strigini湖,Popov的,第和romanovsky,一。 (2000年)。 多样性现成的,现成的组件。 在ternational Conference on Dependable Systems & Networks (FTCS-30, DCCA-8) 纽约,NY,USA。
          40. strigini湖,Popov的,第和的Littlewood,B。 (2000年)。 评估不同的容错系统的可靠性。 inuce对核设施的控制和仪器仪表国际会议 英国布里斯托市。
          41. 波波夫,公厕,strigini,L。和romanovsky,A.B (1999年)。 选择设计多样性的有效方法 - 如何从直觉发展到科学。
          42. strigini湖,Popov的,第和比萨饼,米。 (1998)。 对设计的错误多样化冗余的疗效:一些实际考虑。 在核设施控制和仪表第三届国际会议 可能,爱丁堡,英国
          43. 波波夫,公厕和strigini,L。 (1998)。 概念模型对不同系统的可靠性 - 新成果。
          44. 波波夫,公厕(1996)。 interfailure时间变化对软件可靠性增长模型的效果。
          45. 波波夫,P. T.和Djambazov,K。 (1995年)。 测试对的单个版本和1-外的2软件系统的可靠性的效果。 软件可靠性工程六届国际研讨会(1995年issre) 10月24-27日。

          互联网出版物

          1. 波波夫,公厕 与容错现成的,现成的软件升级传统安全关键系统的可靠性评估。 elsvier(可靠性工程和系统安全性).

          杂志文章(24)

          1. 法瓦罗威尼托,J。,马志尼,S。,波波夫页。和strigini,L。 (2018)。 aquas:一个项目,以弥补安全保障流程之间的差距。 ADA用户日记, 39(4),第261-263。
          2. netkachov,或者,Popov的,第和Salako,K。 (2016)。 关键基础设施的下网络攻击的应变能力的基于模型的评价。 在计算机科学讲义(包括人工智能子系列讲义和讲义生物信息学), 8985,第231-243。 DOI:10.1007 / 978-3-319-31664-2_24.
          3. sviercoski,射频,波波夫,P。和margenov,S。 (2015年)。 分析粗网格操作者施加在多尺度多网格方法。 的计算轴颈与应用数学, 287,第207-219。 DOI:10.1016 / j.cam.2015.03.001.
          4. netkachov,或者,Popov的,第和Salako,K。 (2014)。 的网络攻击的关键基础设施的影响量化。 在计算机科学讲义(包括人工智能子系列讲义和讲义生物信息学), 8696个LNCS,第316-327。 DOI:10.1007 / 978-3-319-10557-4_35.
          5. 象,页,布卢姆菲尔德河,的Littlewood,B。,Popov的,页,povyakalo,一个。和strigini,L。 (2014)。 开往1外的2保护系统发生故障的概率与一个仅有硬件和一个基于软件的保护列车保守。 可靠性工程和系统安全性, 130,第61-68。 DOI:10.1016 / j.ress.2014.04.002.
          6. 棕色,D.L.,波波夫,P。和Efendiev和。 (2014)。 有效方程表示与应用程序到孔隙弹性流体 - 结构交互。 适用分析, 93(4),第771-790。 DOI:10.1080 / 00036811.2013.839780.
          7. kharchenko,V.S.,波波夫,公厕,odarushchenko,邻。和扎丹,V。(2012)。 的用于容错计算机系统的可用性评估数学软件的准确性实证评价。 Reliability: Theory & Applications, 7(3)。

            [出版商的网站]

          8. lagoudas,d。,Hartl的,d。,chemisky,Y。,马查多,升。和波波夫,P。 (2012年)。 用于相变的多晶形状记忆合金的数值解析构模型。 可塑性的国际杂志, 32-33,第155-183。 DOI:10.1016 / j.ijplas.2011.10.009.
          9. 棕色,D.L.,波波夫,P。和Efendiev和。 (2011年)。 上沲的均质流中缓慢地应用到流体 - 结构交互变化的介质。 宝石 - 对geomathematics国际期刊, 2(2),第281-305。 DOI:10.1007 / s13137-011-0025-Y.
          10. sviercoski,射频,波波夫,P。和Travis,B.J. (2009年)。 第零和第一阶通过分析的方法均化近似通过块夹杂非线性扩散。 计算机方法在应用力学和工程, 198(30-32),第2260至2271年。 DOI:10.1016 / j.cma.2009.02.020.
          11. gashi岛,波波夫,公厕和斯坦科维奇,诉(2009年)。 现成的,现成的软件的不确定性明确的评价:一个贝叶斯方法。 在formation & Software Technology, 51,第497-511。
          12. 波波夫页,Efendiev和。和琴,克。 (2009年)。 多尺度建模和在天然裂缝喀斯特储层流的模拟。 在计算物理通讯, 6(1),第162-184。 DOI:10.4208 / cicp.2009.v6.p162.
          13. 伊利耶夫,邻,Mikelić,一。和波波夫,P。 (2008年)。 上变形介质升尺度某些流动。 多尺度建模与仿真, 7(1),第93-123。 DOI:10.1137 / 06067732x.
          14. 波波夫,P。和lagoudas,特区(2007年)。 用于并入自容纳马氏体的伪弹性和detwinning形状记忆合金的3 d构模型。 可塑性的国际杂志, 23(10-11),第1679年至1720年。 DOI:10.1016 / j.ijplas.2007.03.011.
          15. gashi岛,波波夫,公厕和strigini,L。 (2007年)。 故障通过多样性现成的现成产品公差:与SQL数据库服务器进行了研究。 硕士论文。可靠秒。 COMPUT。, 4,第280-294。 DOI:10.1109 / tdsc.2007.70208.
          16. lagoudas,D.C.,entchev,P.B.,波波夫,页,patoor,即,布林森,L.C.和高,X。 (2006年)。 形状记忆合金,第II部分:多晶的建模。 材料力学, 38(5-6),第430-462。 DOI:10.1016 / j.mechmat.2005.08.003.
          17. 纽曼,米。,safjan,一个。,Popov的,第和lagoudas,直流(2005年)。 与应用程序无界域上的非线性波型方程非反射层的方法,以形状记忆合金棒。 国际期刊工程数值方法, 62(15),第2053年至2085年。 DOI:10.1002 / nme.1223.
          18. lagoudas,D.C.,拉维-chandar,K。,SARH,K。和波波夫,P。 (2003年)。 多晶形状记忆合金棒的动态加载。 材料力学, 35(7),第689-716。 DOI:10.1016 / s0167-6636(02)00199-0.
          19. gashi岛,波波夫,P.T.,斯坦科维奇,V。和strigini,升。 (2003年)。 与不同关的现成的SQL服务器设计可靠的服务。 沃兹, 3069,第191-214。

            [出版商的网站]

          20. 波波夫,P.T.,strigini湖,可j.h.r.和kuball,S。 (2003年)。 上不同系统的可靠性估算界限。 硕士论文。软件工程。, 29,第345-359。 DOI:10.1109 / tse.2003.1191798.
          21. 的Littlewood,B。,Popov的,第和strigini,L。 (2002年)。 评估不同容错基于软件的系统的可靠性。 安全科学, 40(9),第781-796。
          22. 贝克,一,希门尼斯,胜利,J.C.,波波夫,P。和lagoudas,直流(2002年)。 冲击诱导相变的传播中的形状记忆合金棒。 可塑性的国际杂志, 18(11),第1447年至1479年。 DOI:10.1016 / s0749-6419(02)00025-6.
          23. 的Littlewood,B。,波波夫,P.T.,strigini,升。和shryane,N。 (2000年)。 造型多样相结合的软件故障检测技术的影响。 硕士论文。软件工程。, 26,第1157-1167。 DOI:10.1109 / 32.888629.
          24. 的Littlewood,B。,Popov的,第和strigini,L。 (1999年)。 在功能上不同系统的可靠性评价的说明。 reliab工程SYST安全, 66(1),第93-95页。

          专利(3)

          1. 斯坦科维奇,V。和波波夫,P。 (2012年)。 有关数据库复制协议的改进。 专利号。 ep2470994
          2. 波波夫,公厕(2012年)。 数据库复制。
          3. 波波夫,P。和斯坦科维奇,V。 (2012年)。 数据库复制。 专利号。 8793216

          报告(4)

          1. 波波夫,公厕(2012年)。 与容错现成的,现成的软件升级传统安全关键系统的可靠性评估。 中心软件的可靠性,伦敦城市大学。
          2. 布卢姆菲尔德,R,,chozos,正。,波波夫,P.T.,斯坦科维奇,V。,赖特,d和豪威尔-莫里斯,R,(2010)。 初步分析相互依存(PIA):方法和工具支持。.
          3. 波波夫,公厕和strigini,L。 (2001年)。 不同系统的可靠性:在使用故障创建过程的建模贡献。.
          4. 波波夫,公厕,strigini,L。和比萨饼,米。 对设计的错误多样化冗余:故障建立及其对可靠性影响的模型。.

          软件(6)

          1. 斯坦科维奇,V。和波波夫,P。 (2016)。 TPC-C的客户端 - 基于Java的实现了行业标准基准测试数据库性能的评价。 伦敦。
          2. 波波夫,页,salako,K。和斯坦科维奇,V。 (2015年)。 对于数据库复制协议性能评估随机建模。.
          3. 波波夫,公厕(2015年)。 一个SAN型号为emotor,一个ASIL-D装置的安全性和安全性分析。.
          4. Salako,K,斯坦科维奇诉和波波夫,P。 (2015年)。 对于数据库复制协议性能评估随机模型。.
          5. 波波夫,公厕 的对一个2信道系统软件的可靠性网络攻击的影响的SAN模型。.
          6. netkachov,或者,Popov的,第和Salako,K。 扩展nordic32网络的仿真模型。.

          其他活动

          编辑活动

          1. 计划委员会的成员:
            - 软件可靠性工程国际研讨会,issre 2011年,issre 2012年和issre 2016年,2017年issre
            - 对铁路系统的可靠性,安全性和安全性国际会议:建模,分析,验证和认证(rssrail 2016年,2017年)
            - 2015年safecomp,2016年,2017年 - 大型机上的安全性,可靠性和安全性国际会议。
            - 欧洲可靠的计算大会 - 2009年EDCC,EDCC 2014
            ,计划委员会,2012年1月 - 2017年12月。

          主题演讲/语音

          1. 模型,工具支持和数据分析:关键基础设施的初步分析相互依存。 瑞士日内瓦(2011年)。
            2011安详
            软件工程的弹性系统,第三国际研讨会。

              <kbd id="byiyeino"></kbd><address id="4bxlpiqj"><style id="4fpgjx26"></style></address><button id="yduvpyfk"></button>