埃娜·扎法内拉
人员信息
附属: 意大利帕尔马大学
优化列表
2020年–今天
2024 [公元18年] 安娜·贝基 , 亚历山德罗·西马蒂 , 埃娜·扎法内拉 :
混合系统的P-稳定抽象。 柔和。 系统。 模型。 23 ( 2 ) : 403-426 ( 2024 ) 2023 [公元42年] 文森佐·阿塞里 , 格雷塔·多尔塞蒂 , 埃娜·扎法内拉 :
使用拆分运算符加速静态分析。 SOAP@PLDI 2023 : 14-19 [公元41年] 文森佐·阿塞里 , 格雷塔·多尔塞蒂 , 埃娜·扎法内拉 :
用于快速数值静态分析的无约束变量Oracle。 SAS公司 2023 : 65-83 2022 [公元40年] 文森佐·阿塞里 , 伊莎贝拉·马斯特罗尼 , 埃娜·扎法内拉 :
抽象解释中上升和下降阶段的解耦。 阿普拉斯 2022 : 25-44 [公元39年] 戈兰·弗雷斯 , 米尔科·贾科布 , 埃娜·扎法内拉 :
线性混合自动机的符号分析——25年后。 系统设计原则 2022 : 39-60 [i16] 文森佐·阿塞里 , 伊莎贝拉·马斯特罗尼 , 埃娜·扎法内拉 :
在抽象解释中解耦上升和下降阶段。 CoRR公司 abs/2206.10893 ( 2022 ) 2021 [公元38年] 安娜·贝基 , 亚历山德罗·西马蒂 , 埃娜·扎法内拉 :
具有P-stable抽象的逆向工程。 甘道夫覆盖层 2021 : 91-95 2020 [公元17年] 安娜·贝基 , 埃娜·扎法内拉 :
PPLite:NNC多面体的零开销编码。 Inf.计算。 275 : 104620 ( 2020 ) [公元37年] 雷布 , 亚历山德罗·阿巴特 , 迪基·阿兹基亚 , 穆罕默德·赛义法·穆菲德 , 拉贾什·雷 , 吴玉明 , 埃娜·扎法内拉 :
ARCH-COMP20类别报告:具有分段恒定动力学和有界模型检查的混合系统。 建筑 2020 : 1-15 [公元36年] 安娜·贝基 , 亚历山德罗·西马蒂 , 埃娜·扎法内拉 :
磷稳定萃取物的合成。 SEFM公司 2020 : 214-230
2010 – 2019
2019 [公元35年] 戈兰·弗雷斯 , 亚历山德罗·阿巴特 , 迪基·阿兹基亚 , 安娜·贝基 , 雷布 , 亚历山德罗·西马蒂 , 米尔科·贾科布 , 阿尔贝托·格里乔 , 塞尔吉奥·莫弗 , 穆罕默德·赛义法·穆菲德 , 伊德里斯·里奥瓦克 , 斯特凡诺·托内塔 , 埃娜·扎法内拉 :
ARCH-COMP19类别报告:具有分段恒定动力学的混合系统。 建筑@CPSIoT周 2019 : 1-13 [公元34年] 安娜·贝基 , 埃娜·扎法内拉 :
重温混合系统的多面体分析。 SAS公司 2019 : 183-202 2018 [公元33年] 戈兰·弗雷斯 , 亚历山德罗·阿巴特 , 迪基·阿兹基亚 , 雷布 , 米尔科·贾科布 , 穆罕默德·赛义法·穆菲德 , 埃娜·扎法内拉 :
ARCH-COMP18类别报告:具有分段恒定动力学的混合系统。 ADHS建筑 2018 : 1-13 [公元32年] 安娜·贝基 , 埃娜·扎法内拉 :
NNC多面体的直接编码。 CAV(1) 2018 : 230-248 [公元31年] 安娜·贝基 , 埃娜·扎法内拉 :
非必然闭多面体的有效抽象域。 SAS公司 2018 : 146-165 2017 [公元30年] 埃娜·扎法内拉 :
关于凸多面体的效率。 国家安全部@SAS 2017 : 31-44 【i15】 安娜·贝基 , 埃娜·扎法内拉 :
NNC多面体的转换程序。 CoRR公司 abs/1711.09593 ( 2017 ) 2014 [公元29年] 吉安卢卡·阿马托 , 弗朗西丝卡·斯科扎里 , 埃娜·扎法内拉 :
多面体双重描述中的有效约束/生成器删除。 国家安全部 2014 : 3-15 2012 [公元16年] 罗伯托·巴格纳拉 , 弗雷德·梅斯纳德 , 安德烈亚·佩塞蒂 , 埃娜·扎法内拉 :
线性排序函数自动合成的新观点。 Inf.计算。 215 : 47-67 ( 2012 ) 2010 [j15] 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 埃娜·扎法内拉 :
凸多面体和其他数值抽象的精确连接检测。 计算。 地理。 43 ( 5 ) : 453-473 ( 2010 ) [第14条] 罗伯托·巴格纳拉 , 弗雷德·梅斯纳德 , 安德烈亚·佩塞蒂 , 埃娜·扎法内拉 :
线性排序函数的自动合成:完整的未删节版本。 CoRR公司 abs/1004.0944 ( 2010 )
2000 – 2009
2009 [公元14年] 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 埃娜·扎法内拉 :
数字抽象的弱关联形状:改进的算法和正确性证明。 形式方法系统。 设计。 35 ( 三 ) : 279-323 ( 2009 ) [j13] 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 埃娜·扎法内拉 :
多面体计算在硬件和软件系统分析和验证中的应用。 理论。 计算。 科学。 410 ( 46 ) : 4672-4691 ( 2009 ) [i13] 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 埃娜·扎法内拉 :
凸多面体和其他数值抽象的精确连接检测。 CoRR公司 abs/0904.1783 ( 2009 ) 2008 [公元12年] 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 埃娜·扎法内拉 :
帕尔马多面体图书馆:为硬件和软件系统的分析和验证提供一套完整的数字抽象。 科学。 计算。 程序。 72 ( 1-2 ) : 3-21 ( 2008 ) [公元28年] 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 埃娜·扎法内拉 :
整数八边形约束的改进紧闭包算法。 VMCAI公司 2008 : 8-21 2007 [公元11年] 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 埃娜·扎法内拉 :
扩展powerset域的运营商。 国际期刊软件。 技术工具。 Transf公司。 9 ( 3-4 ) : 413-414 ( 2007 ) [i12] 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 埃娜·扎法内拉 :
整数八边形约束的改进紧闭包算法。 CoRR公司 abs/0705.4618 ( 2007 ) [i11] 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 埃娜·扎法内拉 :
基于Prolog的编程语言推理环境(扩展抽象)。 CoRR公司 腹肌/0711.0345 ( 2007 ) [i10] 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 埃娜·扎法内拉 :
多面体计算在硬件和软件系统分析和验证中的应用。 CoRR公司 abs/cs/0701122 ( 2007 ) [第九章] 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 安德烈亚·佩塞蒂 , 埃娜·扎法内拉 :
现代命令语言通用静态分析器的设计。 CoRR公司 abs/cs/0703116 ( 2007 ) 2006 [公元10年] 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 埃娜·扎法内拉 :
扩展powerset域的运营商。 国际期刊软件。 技术工具。 Transf公司。 8 ( 4-5 ) : 449-466 ( 2006 ) [公元27年] 罗伯托·巴格纳拉 , 凯蒂·路易斯·多布森 , 帕特里夏·M·希尔 , 马修·蒙代尔 , 埃娜·扎法内拉 :
网格:分析数值分布的领域。 不平衡 2006 : 219-235 [i8] 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 埃娜·扎法内拉 :
Parma多面体库:针对硬件和软件系统的分析和验证,实现一整套数值抽象。 CoRR公司 abs/cs/0612085 ( 2006 ) 2005 [公元9年] 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 埃娜·扎法内拉 :
不一定是闭凸多面体和双重描述方法。 形式方面计算。 17 ( 2 ) : 222-257 ( 2005 ) [j8] 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 伊丽莎·里奇 , 埃娜·扎法内拉 :
凸多面体的精确加宽算子。 科学。 计算。 程序。 58 ( 1-2 ) : 28-56 ( 2005 ) [j7] 罗伯托·巴格纳拉 , 埃娜·扎法内拉 , 帕特里夏·M·希尔 :
增强的共享分析技术:综合评估。 理论与实践。 日志。 程序。 5 ( 1-2 ) : 1-43 ( 2005 ) [公元26年] 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 埃琳娜·马兹 , 埃娜·扎法内拉 :
弱相关数字抽象的加宽算子。 SAS公司 2005 : 3-18 [公元25年] 罗伯托·巴格纳拉 , 恩里克·罗德里格斯-卡博内尔 , 埃娜·扎法内拉 :
利用凸多面体生成基本半代数不变量。 SAS公司 2005 : 19-34 [i7] 罗伯托·巴格纳拉 , 安德烈亚·佩塞蒂 , 亚历山德罗·扎卡格尼尼 , 埃娜·扎法内拉 :
PURRS:面向全自动最坏情况复杂性分析的计算机代数支持。 CoRR公司 abs/cs/0512056 ( 2005 ) 2004 [j6] 罗伯托·巴格纳拉 , 罗伯塔·戈里 , 帕特里夏·M·希尔 , 埃娜·扎法内拉 :
基于约束逻辑的语言的有限元树分析。 Inf.计算。 193 ( 2 ) : 84-116 ( 2004 ) [j5] 帕特里夏·M·希尔 , 埃娜·扎法内拉 , 罗伯托·巴格纳拉 :
集共享、自由和线性的正确、精确和高效集成,用于分析有限树语言和有理树语言。 理论与实践。 日志。 程序。 4 ( 三 ) : 289-323 ( 2004 ) [公元24年] 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 埃娜·扎法内拉 :
扩展Powerset域的运营商。 VMCAI公司 2004 : 135-148 [i6] 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 埃琳娜·马兹 , 埃娜·扎法内拉 :
弱相关数字抽象的加宽算子(扩展抽象)。 CoRR公司 abs/cs/0412043 ( 2004 ) [i5] 帕特里夏·M·希尔 , 埃娜·扎法内拉 , 罗伯托·巴格纳拉 :
集共享、自由和线性的正确、精确和高效集成,用于分析有限树语言和有理树语言。 CoRR公司 反恐精英。 PL/0401021 ( 2004 ) [i4] 罗伯托·巴格纳拉 , 埃娜·扎法内拉 , 帕特里夏·M·希尔 :
增强的共享分析技术:综合评估。 CoRR公司 反恐精英。 电话:0401022 ( 2004 ) [i3] 罗伯托·巴格纳拉 , 罗伯塔·戈里 , 帕特里夏·M·希尔 , 埃娜·扎法内拉 :
基于约束逻辑语言的有限元树分析:完整的非桥接版本。 CoRR公司 反恐精英。 PL/0404055 ( 2004 ) 2003 【c23】 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 伊丽莎·里奇 , 埃娜·扎法内拉 :
凸多面体的精确加宽算子。 SAS公司 2003 : 337-354 2002 【j4】 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 埃娜·扎法内拉 :
集共享对于对共享来说是多余的。 理论。 计算。 科学。 277 ( 1-2 ) : 3-46 ( 2002 ) [j3] 帕特里夏·M·希尔 , 罗伯托·巴格纳拉 , 埃娜·扎法内拉 :
集合共享的健全性、幂等性和交换性。 理论与实践。 日志。 程序。 2 ( 2 ) : 155-201 ( 2002 ) [注2] 埃娜·扎法内拉 , 帕特里夏·M·希尔 , 罗伯托·巴格纳拉 :
通过互补分解非冗余共享。 理论与实践。 日志。 程序。 2 ( 2 ) : 233-261 ( 2002 ) [公元22年] 罗伯托·巴格纳拉 , 伊丽莎·里奇 , 埃娜·扎法内拉 , 帕特里夏·M·希尔 :
可能非闭凸多面体和Parma多面体库。 SAS公司 2002 : 213-229 2001 【b1】 埃娜·扎法内拉 :
真实逻辑语言共享分析的正确性、准确性和效率。 英国利兹大学, 2001 【c21】 罗伯托·巴格纳拉 , 罗伯塔·戈里 , 帕特里夏·M·希尔 , 埃娜·扎法内拉 :
基于约束逻辑的语言的有限元树分析。 APPIA-GULP-PRODE公司 2001 : 63-79 [公元20年] 罗伯托·巴格纳拉 , 埃娜·扎法内拉 , 罗伯塔·戈里 , 帕特里夏·M·希尔 :
有限树依赖关系的布尔函数。 APPIA-GULP-PRODE公司 2001 : 81-96 [第19条] 罗伯托·巴格纳拉 , 埃娜·扎法内拉 , 罗伯塔·戈里 , 帕特里夏·M·希尔 :
有限树依赖的布尔函数。 LPAR公司 2001 : 579-594 [第18条] 罗伯托·巴格纳拉 , 罗伯塔·戈里 , 帕特里夏·M·希尔 , 埃娜·扎法内拉 :
基于约束逻辑语言的有限元树分析。 SAS公司 2001 : 165-184 [i2] 埃娜·扎法内拉 , 帕特里夏·M·希尔 , 罗伯托·巴格纳拉 :
通过互补分解非冗余共享。 CoRR公司 反恐精英。 电话:0101025 ( 2001 ) [i1] 帕特里夏·M·希尔 , 罗伯托·巴格纳拉 , 埃娜·扎法内拉 :
集合共享的稳健性、幂等性和交换性。 CoRR公司 反恐精英。 PL/0102030 ( 2001 ) 2000 [第17条] 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 埃娜·扎法内拉 :
实际CLP语言的高效结构信息分析。 LPAR公司 2000 : 189-206 [第16条] 罗伯托·巴格纳拉 , 埃娜·扎法内拉 , 帕特里夏·M·希尔 :
增强的共享分析技术:综合评估。 PPDP(PPDP) 2000 : 103-114
1990 – 1999
1999 [第15条] 罗伯托·巴格纳拉 , 埃娜·扎法内拉 , 帕特里夏·M·希尔 :
加强共享以提高精确度。 APPIA-GULP-PRODE公司 1999 : 213-228 [第14条] 埃娜·扎法内拉 , 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 :
扩大共享范围。 APPIA-GULP-PRODE公司 1999 : 559-574 [第13条] 埃娜·扎法内拉 , 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 :
扩大共享范围。 PPDP(PPDP) 1999 : 414-432 [第12条] 埃娜·扎法内拉 , 帕特里夏·M·希尔 , 罗伯托·巴格纳拉 :
通过互补分解非冗余共享。 SAS公司 1999 : 69-84 1998 [第11条] 帕特里夏·M·希尔 , 罗伯托·巴格纳拉 , 埃娜·扎法内拉 :
集合共享的正确性。 APPIA-GULP-PRODE公司 1998 : 255-268 [第10条] 帕特里夏·M·希尔 , 罗伯托·巴格纳拉 , 埃娜·扎法内拉 :
集合共享的正确性。 SAS公司 1998 : 99-114 1997 [j1] 埃娜·扎法内拉 , 罗伯托·贾科巴齐 , 乔治·列维 :
并发约束编程中的抽象同步。 J.功能。 日志。 程序。 1997 ( 6 ) ( 1997 ) 【c9】 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 埃娜·扎法内拉 :
再次分享。 APPIA-GULP-PRODE公司 1997 : 69-80 【c8】 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 埃娜·扎法内拉 :
集共享对于成对共享来说是冗余的。 SAS公司 1997 : 53-67 1996 【c7】 罗伯托·巴格纳拉 , 马可·科米尼 , 弗朗西丝卡·斯科扎里 , 埃娜·扎法内拉 :
CLP计算答案约束的与合成性。 APPIA-GULP-PRODE公司 1996 : 355-366 【c6】 埃娜·扎法内拉 :
无悬架cc程序的模块化分析。 APPIA-GULP-PRODE公司 1996 : 367-378 1995 【c5】 埃娜·扎法内拉 :
CCP中的领域无关Ask近似。 活塞销 1995 : 89-100 【c4】 埃娜·扎法内拉 :
CCP中的领域无关Ask近似。 中央对手方清算所 1995 : 8:1-8:16 【c3】 埃娜·扎法内拉 :
CCP中的领域无关Ask近似。 人物配对关系 1995 : 362-379 1994 【c2】 埃娜·扎法内拉 , 乔治·列维 , 罗伯托·贾科巴齐 :
并发约束编程中的抽象同步。 ICLP研讨会:(并发)逻辑语言的验证和分析 1994 【c1】 埃娜·扎法内拉 , 罗伯托·贾科巴齐 , 乔治·列维 :
并发约束编程中的抽象同步。 PLILP公司 1994 : 57-72