乔瓦尼·迪波帕
人员信息
优化列表
2000 – 2009
2009 【c5】 文森佐·马苏奇 , 弗朗西斯科·阿迪诺菲 , 保罗·塞维略 , 乔瓦尼·迪波帕 , 阿尔贝托·托法尼 :
基于本体的关键基础设施建模与仿真。 关键基础设施保护 2009 : 229-242 2004 【c4】 马可·马蒂内利 , 恩里科·特隆西 , 乔瓦尼·迪波帕 , 克劳迪奥·巴杜塞利 :
基于神经网络的电力系统异常检测。 凯斯 2004 : 1242-1248 2003 【c3】 桑德罗·博洛尼亚 , 克劳迪奥·巴杜塞利 , 乔瓦尼·迪波帕 , 佐丹诺·维科利 :
大型复杂关键基础设施的可靠性和生存性。 SAFECOMP公司 2003 : 342-353 2001 【c2】 乔瓦尼·迪波帕 , 乔瓦尼·达莱斯桑德罗 , 罗伯托·塞姆普林尼 , 恩里科·特隆西 :
在铁路联锁系统设计中集成安全要求的自动验证。 哈斯 2001 : 209-219
1990 – 1999
1998 【c1】 桑德罗·博洛尼亚 , 洛科·博韦 , 乔瓦尼·迪波帕 , 乔治·蒙加迪 , 吉诺·比昂迪 , 卡门·波齐亚 , 本尼·格拉夫特·莫滕森 , 尼尔斯·柯克加德 :
在工业中应用形式化方法UseGat项目。 SAFECOMP公司 1998 : 231-242