朱塞佩·德尔拉·佩纳
人员信息
附属: 意大利拉奎拉大学
优化列表
2020年–今天
2023 [公元27年] 贝内代托·因特里吉拉 , 朱塞佩·德尔拉·佩纳 , 安德烈亚·达姆布罗乔 , 达里奥·坎帕尼亚 , 玛丽娜·格里戈尔 :
面向过程的需求定义和关键系统中软件组件的分析。 计算。 12 ( 9 ) : 184 ( 2023 ) [公元26年] 朱塞佩·德尔拉·佩纳 , Sergio Orefice公司 , 安德烈亚·德安吉洛 :
为多维语言的基于语法的规范开发空间关系。 知识。 信息系统。 65 ( 10 ) : 3995-4020 ( 2023 ) [公元33年] 伊万·莱蒂 , 朱塞佩·德尔拉·佩纳 , 乔瓦尼·德加斯佩里斯 , 阿贝尔·迪乌布 :
基于深度神经网络的前向测试的交易策略验证。 FEMIB公司 2023 : 15-25 [公元32年] 玛丽亚·克劳迪娅·布齐 , 玛丽娜·布齐 , 朱塞佩·德尔拉·佩纳 , 芭芭拉·勒波里尼 , 弗朗西丝卡·里奇 :
意大利电子政务网站的可访问性:残疾人的用户体验。 WEBIST公司 2023 : 59-70 2022 [公元25年] 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 朱利奥·曼佐内托 :
将机器寻址为lambda演算的模型。 日志。 方法计算。 科学。 18 ( 三 ) ( 2022 ) [i6] 伊凡·莱特丽 , 朱塞佩·德尔拉·佩纳 , 乔瓦尼·德加斯佩里斯 , 阿贝尔·迪乌布 :
使用多层感知器的中等波动性资产股票交易系统。 CoRR公司 abs/2201.12286 ( 2022 ) [i5] 伊凡·莱特丽 , 朱塞佩·德尔拉·佩纳 , 乔瓦尼·德加斯佩里斯 , 阿贝尔·迪乌布 :
DNN-ForwardTesting:使用统计时间序列分析和深度神经网络的新交易策略验证。 CoRR公司 abs/2210.11532 ( 2022 ) 2021 [公元24年] 贝内代托·因特里吉拉 , 朱塞佩·德尔拉·佩纳 , 安德里亚·德安布罗乔 :
面向业务流程的需求工程的轻量级BPMN扩展。 计算。 10 ( 12 ) : 171 ( 2021 ) [公元31年] 乔瓦尼·德加斯佩里斯 , 朱塞佩·德尔拉·佩纳 , 圣迪诺法奇尼 :
实时现场传感器环境中机器学习辅助决策支持的微服务体系结构(短文)。 ECSA(同伴) 2021 [公元30年] 伊凡·莱特丽 , 安东尼奥·迪·塞科 , 阿贝尔·迪乌布 , 朱塞佩·德尔拉·佩纳 :
使用新的重采样技术进行非平衡数据集优化。 智能系统(2) 2021 : 199-215 [公元29年] 伊凡·莱特丽 , 安东尼奥·迪·塞科 , 朱塞佩·德尔拉·佩纳 :
恶意软件流量分析中的新优化方法。 LOD(检测限) 2021 : 57-68 [i4] 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 朱利奥·曼佐内托 :
将机器寻址为lambda-calculus模型。 CoRR公司 abs/2107.00319 ( 2021 ) 2020 [公元28年] 伊凡·莱特丽 , 朱塞佩·德尔拉·佩纳 , 卢卡·迪维塔 , 玛丽亚·特蕾莎·格里法 :
MTA-KDD’19:恶意软件流量检测数据集。 意大利证券交易委员会 2020 : 153-165 [i3] 伊万·莱蒂 , 安东尼奥·迪切科 , 朱塞佩·德尔拉·佩纳 :
恶意流量检测的数据集优化策略。 CoRR公司 abs/2009.11347 ( 2020 ) [i2] 伊凡·莱特丽 , 安东尼奥·迪·塞科 , 阿贝尔·迪乌布 , 朱塞佩·德尔拉·佩纳 :
一种新的非平衡数据集优化重采样技术。 CoRR公司 abs/2012.15231 ( 2020 )
2010 – 2019
2019 [j23] 朱塞佩·德尔拉·佩纳 , Sergio Orefice公司 :
使用空间关系定性描述手势。 计算。 系统。 科学。 工程师。 34 ( 6 ) ( 2019 ) [公元22年] 伊凡·莱特丽 , 朱塞佩·德尔拉·佩纳 , 乔瓦尼·德·加斯佩里斯 :
物联网安全:通过深度学习技术在软件定义的网络中检测僵尸网络。 Int.J.高性能计算。 Netw公司。 15 ( 3/4 ) : 170-182年 ( 2019 ) [公元27年] 伊凡·莱特丽 , 朱塞佩·德尔拉·佩纳 , 帕斯奎尔·卡亚尼埃洛 :
HTTP僵尸网络流量检测的功能选择策略。 欧洲标准普尔研讨会 2019 : 202-210 2018 [公元21年] 朱塞佩·德尔拉·佩纳 , Sergio Orefice公司 :
时空知识的定性表示。 视觉杂志。 语言计算。 49 : 1-16 ( 2018 ) [c26] 伊万·莱蒂 , 朱塞佩·德尔拉·佩纳 , 乔瓦尼·德·加斯佩里斯 :
通过深度学习技术检测软件定义网络中的僵尸网络。 CSS公司 2018 : 49至62 2017 [公元20年] 朱塞佩·德尔拉·佩纳 , 丹尼尔·马加泽尼 , Sergio Orefice公司 :
表示空间知识的正式框架。 知识。 信息系统。 51 ( 1 ) : 第311页至第338页 ( 2017 ) 2016 [公元19年] 朱塞佩·德尔拉·佩纳 , 丹尼尔·马加泽尼 , Sergio Orefice公司 :
将视觉信息提取扩展到生物医学应用。 计算。 系统。 科学。 工程师。 31 ( 5 ) ( 2016 ) 2015 [公元18年] 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 丹尼尔·马加泽尼 , 法比奥·梅尔科里奥 :
非确定域中成本最优强计划的综合。 国际艺术杂志。 因特尔。 工具 24 ( 6 ) : 1550025:1-1550025:45 ( 2015 ) 2014 [公元17年] 朱塞佩·德尔拉·佩纳 :
模型检查XSL转换。 计算。 语言系统。 结构。 40 ( 2 ) : 73-97 ( 2014 ) 2013 [公元16年] 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 丹尼尔·马加泽尼 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
CGMurphi:非线性混合系统数字控制器的自动综合。 欧洲药典控制 19 ( 1 ) : 14-36 ( 2013 ) [公元15年] 朱塞佩·德尔拉·佩纳 , Sergio Orefice公司 , 贝内代托·因特里吉拉 , 丹尼尔·马加泽尼 , 罗伯托·德尔·索尔多 , 朱塞佩·卡迪娜·西科蒂 :
Sybel:一种增强软件开发过程中自动支持的系统建模语言。 国际期刊软件。 工程知识。 工程师。 23 ( 2 ) : 223- ( 2013 ) [公元14年] 朱塞佩·德尔拉·佩纳 , 丹尼尔·马加泽尼 , Sergio Orefice公司 :
空间关系的一般理论,用于支持视觉信息提取的图形工具。 视觉杂志。 语言计算。 24 ( 2 ) : 71-87 ( 2013 ) [公元25年] 朱塞佩·德拉·彭纳 , 罗伯托·德尔·索尔多 , 贝内代托·因特里吉拉 , 尼科尔·梅佐佩拉 , 玛丽亚·特蕾莎·帕齐恩扎 :
BPMN模型与领域本体集成的轻量级形式主义。 AIBP@人工智能 *IA公司 2013 : 11-20 2012 [j13] 朱塞佩·德尔拉·佩纳 , 丹尼尔·马加泽尼 , 法比奥·梅尔科里奥 :
混合域的通用规划系统。 应用。 智力。 36 ( 4 ) : 932-959 ( 2012 ) [公元12年] 朱塞佩·德尔拉·佩纳 , 丹尼尔·马加泽尼 , Sergio Orefice公司 :
一种基于空间关系的框架,用于执行视觉信息提取。 知道。 信息系统。 30 ( 三 ) : 667-692 ( 2012 ) 2011 [公元24年] 朱塞佩·德尔拉·佩纳 , Sergio Orefice公司 , 丹尼尔·马加泽尼 :
支持从地理空间数据中提取可视化信息。 DMS系统 2011 : 301-306年 【c23】 朱塞佩·德尔拉·佩纳 , 法比奥·梅尔科里奥 , 贝内代托·因特里吉拉 , 丹尼尔·马加泽尼 , 恩里科·特隆西 :
非确定性领域中的成本最优强规划。 ICINCO(1) 2011 : 56-66 2010 [公元11年] 朱塞佩·德尔拉·佩纳 , 丹尼尔·马加泽尼 , Sergio Orefice公司 :
从网页中视觉提取信息。 视觉杂志。 语言计算。 21 ( 1 ) : 23-32 ( 2010 ) [公元22年] 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 丹尼尔·马加泽尼 , 法比奥·梅尔科里奥 :
PDDL+基准问题:间歇化工厂。 ICAPS公司 2010 : 222-225 【c21】 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 丹尼尔·马加泽尼 , 法比奥·梅尔科里奥 :
自主行星车辆规划。 ICAS公司 2010 : 131-136 [i1] 朱塞佩·德拉·彭纳 , 贝内代托·因特里吉拉 , 丹尼尔·马加泽尼 , 法比奥·梅尔科里奥 :
自主行星飞行器的资源优化规划。 CoRR公司 abs/1007.5130 ( 2010 )
2000 – 2009
2009 [公元20年] 朱塞佩·德尔拉·佩纳 , 丹尼尔·马加泽尼 , 法比奥·梅尔科里奥 , 贝内代托·因特里吉拉 :
UPMurphi:PDDL+问题通用规划工具。 ICAPS公司 2009 [第19条] 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 丹尼尔·马加泽尼 :
使用模型检查评估模糊控制器的鲁棒性。 WILF公司 2009 : 303-311年 2008 [公元10年] 朱塞佩·德尔拉·佩纳 , 安娜·丽塔·劳伦兹 , Sergio Orefice公司 , 贝内代托·因特里吉拉 :
一种基于XML的方法,用于在软件开发过程中建模和使用场景。 Int.J.软件。 工程知识。 工程师。 18 ( 6 ) : 823-852 ( 2008 ) [第18条] 朱塞佩·德尔拉·佩纳 , 纳迪娅·劳里 , 丹尼尔·马加泽尼 , 贝内代托·因特里吉拉 :
数字控制器的OBDD压缩。 ICINCO-ICSO公司 2008 : 43-50 [第17条] 毛里齐奥·塔拉莫 , 弗朗科·阿西耶里 , 朱塞佩·德尔拉·佩纳 , 安德烈亚·迪米特里 , 贝内代托·因特里吉拉 , 丹尼尔·马加泽尼 :
验证安全设备互操作性的扩展标准。 OTM会议(2) 2008 : 1131-1139 2007 [第16条] 朱塞佩·德尔拉·佩纳 , 弗朗西丝卡·法卢奇 , 贝内代托·因特里吉拉 , 丹尼尔·马加泽尼 :
从数字控制器自动生成模糊控制系统的遗传方法。 AI*IA公司 2007 : 230-241 [第15条] 费尔南多·布里佐拉里 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 , 朱塞佩·德尔拉·佩纳 :
通过有界模型检查进行基于磁盘的软件验证。 后堂 2007 : 358-365 2006 [公元9年] 朱塞佩·德尔拉·佩纳 , 安蒂尼斯卡·迪马尔科 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 阿方索·皮兰托尼奥 :
从XML模式到ER图的互操作性映射。 数据知识。 工程师。 59 ( 1 ) : 166-188 ( 2006 ) [j8] 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 安娜·丽塔·劳伦兹 , Sergio Orefice公司 :
用于基于场景的需求工程的XML环境。 J.系统。 柔和。 79 ( 三 ) : 379-403年 ( 2006 ) [j7] 朱塞佩·德拉·彭纳 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 , 玛丽莎·文图里尼·齐利 :
用Murphi验证器对马尔可夫链进行有限时域分析。 国际期刊软件。 技术工具。 Transf公司。 8 ( 4-5 ) : 397-409 ( 2006 ) [第14条] 朱塞佩·德尔拉·佩纳 , 阿尔贝托·托法尼 , 马塞洛·佩科拉里 , 奥拉齐奥·拉帕雷利 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
集成测试自动生成的案例研究。 FDL公司 2006 : 278-284 [第13条] 朱塞佩·德尔拉·佩纳 , 丹尼尔·马加泽尼 , 阿尔贝托·托法尼 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
通过模型检查技术自动生成最优控制器。 ICINCO-ICSO公司 2006 : 26-33 2005 [j6] 朱塞佩·德尔拉·佩纳 :
用于C++指针的静态和动态检查的类型系统。 计算。 语言系统。 结构。 31 ( 2 ) : 71-101 ( 2005 ) [第12条] 朱塞佩·德尔拉·佩纳 , 伊戈尔·梅拉蒂 , 贝内代托·因特里吉拉 , 恩里科·特朗西 :
在自动验证中利用集线器状态。 ATVA公司 2005 : 54-68 2004 [j5] 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 , 玛丽莎·文丘里尼·齐利 :
在有限状态并发系统的自动验证中利用转换局部性。 国际期刊软件。 技术工具。 Transf公司。 6 ( 4 ) : 320-341 ( 2004 ) 【j4】 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , Sergio Orefice公司 :
用于设计和实现可视化应用程序的环境。 视觉杂志。 语言计算。 15 ( 6 ) : 439-461 ( 2004 ) [第11条] 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 , 玛丽莎·文图里尼·齐利 :
用Mur检验有界概率模型 阿尔法 验证人。 FMCAD公司 2004 : 214-229 [第10条] 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 安娜·丽塔·劳伦兹 , Sergio Orefice公司 :
场景开发方法。 瑞典克朗 2004 : 7-12 2003 [j3] 朱塞佩·德尔拉·佩纳 , Benedetto Intrigila公司 , 恩里科·特隆西 , 玛丽莎·文丘里尼·齐利 :
已同步的正则表达式。 信息学报 39 ( 1 ) : 31-70岁 ( 2003 ) [注2] 朱塞佩·德尔拉·佩纳 , Benedetto Intrigila公司 , 安娜·丽塔·劳伦兹 , Sergio Orefice公司 :
支持基于场景的需求工程的XML定义语言。 国际期刊软件。 工程知识。 工程师。 13 ( 三 ) : 237-256 ( 2003 ) 【c9】 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 , 玛丽莎·文丘里尼·齐利 :
在Mur phi验证器中集成RAM和基于磁盘的验证。 CHARME公司 2003 : 277-282 【c8】 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 , 玛丽莎·文丘里尼·齐利 :
用Mur phi检验器对马尔可夫链进行有限域分析。 CHARME公司 2003 : 394-409 【c7】 朱塞佩·德尔拉·佩纳 , 安蒂尼斯卡·迪马尔科 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 阿方索·皮兰托尼奥 :
Xere:实现XML和ER图之间的自然互操作性。 FASE公司 2003 : 356-371 【c6】 朱塞佩·德拉·彭纳 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 米歇尔·米尼奇诺 , 埃斯特·西安卡梅拉 , 安德烈亚·帕里斯 , 恩里科·特隆西 , 玛丽莎·文丘里尼·齐利 :
用穆尔-瓦尔斐校对器对涡轮燃气控制系统进行自动验证。 高强度混凝土 2003 : 141-155 【c5】 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 , 玛丽莎·文丘里尼·齐利 :
用Mur-varphi验证器对随机系统进行有限时域分析。 信息通信与通信系统 2003 : 58-71 2002 【c4】 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 恩里科·特朗西 , 玛丽莎·文丘里尼·齐利 :
利用基于磁盘的Mur-phi验证程序中的转换位置。 FMCAD公司 2002 : 202-219 2001 [j1] 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , Sergio Orefice公司 :
根据状态转换可视化规范生成图形应用程序。 国际期刊休谟计算。 螺柱。 55 ( 6 ) : 861-880 ( 2001 ) 【c3】 恩里科·特隆西 , 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 玛丽莎·文丘里尼·齐利 :
并发系统自动验证的概率方法。 亚太经合组织 2001 : 317-324 【c2】 恩里科·特朗西 , 朱塞佩·德拉·彭纳 , 贝内代托·因特里吉拉 , 玛丽莎·文丘里尼·齐利 :
在自动验证中利用转换位置。 CHARME公司 2001 : 259-274 【c1】 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 恩里科·特隆西 , 玛丽莎·文丘里尼·齐利 :
同步正则表达式。 TOSCA公司 2001 : 195-210