黛米斯·巴利斯
人员信息
附属: 意大利乌迪内大学
优化列表
2020年–今天
2023 [公元15年] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 圣地亚哥·埃斯科瓦尔 , D.加兰 , 朱莉娅·萨皮尼亚 :
通过莫德的可编程策略实施安全。 J.日志。 代数方法课程。 132 : 100849 ( 2023 ) [公元37年] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 圣地亚哥·埃斯科瓦尔 , 何塞·梅塞盖尔 , 朱莉娅·萨皮尼亚 :
通过程序专业化优化Maude程序。 声明式编程和智能系统的分析、验证和转换 2023 : 21-50 2022 [公元14年] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 圣地亚哥·埃斯科瓦尔 , 朱莉娅·萨皮尼亚 :
通过等式部分评估优化重写理论。 J.日志。 代数方法课程。 124 : 100729 ( 2022 ) [j13] 玛丽亚·阿尔普奈特 , 圣地亚哥·埃斯科瓦尔 , 朱莉娅·萨皮尼亚 , 黛米斯·巴利斯 :
用普雷斯托重写逻辑理论的符号专业化。 理论与实践。 日志。 程序。 22 ( 三 ) : 444-495 ( 2022 ) [公元36年] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 圣地亚哥·埃斯科瓦尔 , 朱莉娅·萨皮尼亚 :
基于变量的等式反统一。 洛普斯特 2022 : 44-60 2021 [i4] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 圣地亚哥·埃斯科瓦尔 , 朱莉娅·萨皮尼亚 :
用普雷斯托重写逻辑理论的符号专业化。 CoRR公司 abs/2112.10201 ( 2021 ) 2020 [j12] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 朱莉娅·萨皮尼亚 :
通过在TAME系统中进行程序专业化,为Maude程序提供高效的安全保障。 数学。 计算。 科学。 14 ( 三 ) : 591-606 ( 2020 )
2010 – 2019
2019 [公元11年] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 朱莉娅·萨皮尼亚 :
使用断言对Maude程序进行静态更正。 J.系统。 柔和。 153 : 64-85 ( 2019 ) [公元10年] 玛丽亚·阿尔普奈特 , 圣地亚哥·埃斯科瓦尔 , 朱莉娅·萨皮尼亚 , 黛米斯·巴利斯 :
与纳瓦尔对莫德理论的符号分析。 理论与实践。 日志。 程序。 19 ( 5-6 ) : 874-890 ( 2019 ) [公元35年] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 安吉尔·昆卡-奥尔加 , 圣地亚哥·埃斯科瓦尔 , 何塞·梅塞盖尔 :
ACUOS公司 2 :具有子类型和继承的模块化ACU泛化的高性能系统。 杰莉亚 2019 : 171-181 [i3] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 圣地亚哥·埃斯科瓦尔 , 朱莉娅·萨皮尼亚 :
与纳瓦尔对莫德理论的符号分析。 CoRR公司 abs/1907.10919 ( 2019 ) 2018 [公元34年] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 朱莉娅·萨皮尼亚 :
用TAME推断安全Maude程序。 信息和通信管理系统 2018 : 1-10 2016 [公元9年] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 弗朗西斯科·弗雷奇纳 , 朱莉娅·萨皮尼亚 :
通过运行时断言检查和跟踪切片调试Maude程序。 J.日志。 代数方法课程。 85 ( 5 ) : 707-736 ( 2016 ) [j8] 玛丽亚·阿尔普奈特 , 弗朗西斯科·弗雷奇纳 , 朱莉娅·萨皮尼亚 , 黛米斯·巴利斯 :
通过ABETS切片进行基于断言的分析。 理论与实践。 日志。 程序。 16 ( 5-6 ) : 515-532 ( 2016 ) [i2] 玛丽亚·阿尔普奈特 , 德米斯·巴利斯 , 弗朗西斯科·弗雷奇纳 , 朱莉娅·萨皮尼亚 :
通过ABETS切片进行基于断言的分析(系统描述)。 CoRR公司 abs/1608.01433 ( 2016 ) 2015 [j7] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 弗朗西斯科·弗雷奇纳 , 朱莉娅·萨皮尼亚 :
探索条件重写逻辑计算。 J.塞姆。 计算。 69 : 3-39 ( 2015 ) [公元33年] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 弗朗西斯科·弗雷奇纳 , 朱莉娅·萨皮尼亚 :
结合运行时检查和切片改进Maude错误诊断。 逻辑、重写和并发 2015 : 72-96 2014 [j6] 玛丽亚·阿尔普奈特 , 德米斯·巴利斯 , 弗朗西斯科·弗雷奇纳 , 丹尼·罗梅罗 :
使用条件跟踪切片改进Maude程序。 科学。 计算。 程序。 80 : 385-415 ( 2014 ) [j5] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 丹尼·罗梅罗 :
web应用程序的正式规范和验证的重写逻辑方法。 科学。 计算。 程序。 81 : 79-107 ( 2014 ) [公元32年] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 弗朗西斯科·弗雷奇纳 , 朱莉娅·萨皮尼亚 :
检查重写逻辑计算(以参数和逐步方式)。 规范、代数和软件 2014 : 229-255 2013 【j4】 玛丽亚·阿尔普奈特 , 德米斯·巴利斯 , 莫雷诺·法拉斯基 , 弗朗西斯科·弗雷奇纳 , 丹尼·罗梅罗 :
基于重写的XML存储库修复策略。 J.日志。 代数方法课程。 82 ( 8 ) : 326-352 ( 2013 ) [公元31年] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 弗朗西斯科·弗雷奇纳 , 朱莉娅·萨皮尼亚 :
iJulienne重写逻辑规范的基于切片的跟踪分析。 员工持股计划 2013 : 121-124 [公元30年] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 弗朗西斯科·弗雷奇纳 , 朱莉娅·萨皮尼亚 :
重写逻辑计算的参数化探索。 南海 2013 : 4-18 2012 [公元29年] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 弗朗西斯科·弗雷奇纳 , 丹尼·罗梅罗 :
朱丽安:条件重写理论的跟踪切片器。 FM公司 2012 : 28-32 [公元28年] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 弗朗西斯科·弗雷奇纳 , 丹尼·罗梅罗 :
条件重写理论的向后跟踪切片。 LPAR公司 2012 : 62-76 2011 [j3] 黛米斯·巴利斯 , Temur Kutsia公司 :
前言。 J.塞姆。 计算。 46 ( 2 ) : 93-94 ( 2011 ) [公元27年] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 哈维尔·埃斯佩特 , 丹尼·罗梅罗 :
重写逻辑理论的向后轨迹切片。 学员 2011 : 34-48 [公元26年] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 哈维尔·埃斯佩特 , 弗朗西斯科·弗雷奇纳 , 丹尼·罗梅罗 :
使用Web-TLR调试Web应用程序。 WWV(WWV) 2011 : 66-80 [i1] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 哈维尔·埃斯佩特 , 丹尼·罗梅罗 :
重写逻辑计算的动态向后切片。 CoRR公司 abs/1105.2665 ( 2011 ) 2010 [注2] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 弗朗西斯科·科雷亚 , 莫雷诺·法拉斯基 :
用于诊断和纠正基于规则的程序的集成框架。 西奥。 计算。 科学。 411 ( 47 ) : 4055-4101 ( 2010 ) [公元25年] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 哈维尔·埃斯佩特 , 丹尼·罗梅罗 :
使用Web-TLR对Web应用程序进行模型检查。 ATVA公司 2010 : 341-346 [公元24年] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 米歇尔·巴吉 , 莫雷诺·法拉斯基 :
将重写理论的折叠/展开转换框架扩展到CCT。 政治公众人物 2010 : 43-52 【c23】 玛丽亚·阿尔普奈特 , 米歇尔·巴吉 , 莫雷诺·法拉斯基 , 黛米斯·巴利斯 :
重写逻辑理论展开的完整性。 SYNASC公司 2010 : 116-123 [公元22年] 米歇尔·巴吉 , 黛米斯·巴利斯 , 莫雷诺·法拉斯基 :
基于术语重写和描述逻辑的访问控制语言。 世界粮食计划署 2010 : 66-83 [第1页] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 莫雷诺·法拉斯基 :
功能逻辑程序的转换和调试。 25年GULP 2010 : 271-299
2000 – 2009
2009 【c21】 米歇尔·巴吉 , 黛米斯·巴利斯 , 莫雷诺·法拉斯基 :
计算生物学定量路径逻辑。 CMSB公司 2009 : 68-82 [公元20年] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 丹尼·罗梅罗 :
重写逻辑中Web应用程序的规范和验证。 FM公司 2009 : 790-805 [电子2] 黛米斯·巴利斯 , 圣地亚哥·埃斯科瓦尔 :
2008年7月4日在意大利锡耶纳举行的第四届Web系统自动规范和验证国际研讨会论文集,WWV 2008。 理论计算机科学电子笔记 235, 爱思维尔 2009 [目录] 2008 [第19条] 玛丽亚·阿尔普奈特 , 米歇尔·巴吉 , 黛米斯·巴利斯 , 莫雷诺·法拉斯基 :
Web系统内容的语义验证。 ER研讨会 2008 : 437-446 [第18条] 米歇尔·巴吉 , 莫雷诺·法拉斯基 , 黛米斯·巴利斯 :
基于本体推理的XML语义过滤。 ICIW公司 2008 : 482-487 [第17条] 黛米斯·巴利斯 , 安德烈亚·巴鲁佐 , 马可·科米尼 :
设计模式和反模式的最简视觉符号。 ITNG公司 2008 : 51-56 [第16条] 玛丽亚·阿尔普奈特 , 佩德罗·奥杰达 , 丹尼·罗梅罗 , 德米斯·巴利斯 , 莫雷诺·法拉斯基 :
用于网站验证的抽象通用框架。 圣保罗 2008 : 104-110 [第15条] 黛米斯·巴利斯 , 圣地亚哥·埃斯科瓦尔 :
前言。 WWV(WWV) 2008 : 1-2 [电子1] 黛米斯·巴利斯 , 圣地亚哥·埃斯科瓦尔 , 马西莫·马尔奇奥里 :
第三届Web系统自动规范和验证国际研讨会论文集,2007年WWV,意大利威尼斯,2007年12月14日。 理论计算机科学电子笔记 200(3), 爱思维尔 2008 [目录] 2007 [第14条] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 莫雷诺·法拉斯基 , 佩德罗·奥杰达 , 丹尼·罗梅罗 :
快速代数Web验证服务。 右后 2007 : 239-248 [c13] 黛米斯·巴利斯 , 圣地亚哥·埃斯科瓦尔 , 马西莫·马尔奇奥里 :
前言。 WWV(WWV) 2007 : 1-2 [第12条] 黛米斯·巴利斯 , 安德烈亚·巴鲁佐 , 马可·科米尼 :
根据UML模型匹配软件模式的基于规则的方法。 规则@RDP 2007 : 51-66 [第11条] 米歇尔·巴吉 , 黛米斯·巴利斯 :
Phil:XML文档近似筛选语言的懒惰实现。 WFLP@RDP项目 2007 : 93-109 2006 [j1] 玛丽亚·阿尔普奈特 , 德米斯·巴利斯 , 莫雷诺·法拉斯基 :
网站的基于规则的验证。 国际期刊软件。 技术工具。 Transf公司。 8 ( 6 ) : 565-585 ( 2006 ) [第10条] 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 莫雷诺·法拉斯基 , 丹尼·罗梅罗 :
修复故障网站的半自动方法。 SEFM公司 2006 : 31-40 2005 【b1】 黛米斯·巴利斯 :
基于规则。 意大利乌迪内大学, 2005 【c9】 黛米斯·巴利斯 , 哈维尔·加西亚·维沃 :
基于重写的网站验证系统。 WWV(WWV) 2005 : 153-156 [c8] 黛米斯·巴利斯 , 哈维尔·加西亚-维沃 :
一种基于规则的网站验证系统。 WWV(WWV) 2005 : 11-17 2004 【c7】 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 莫雷诺·法拉斯基 :
使用部分重写对网站进行自动验证。 ISoLA(初步程序) 2004 : 81-88 【c6】 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 莫雷诺·法拉斯基 :
Verdi:网站验证的自动化工具。 杰莉亚 2004 : 726-729 【c5】 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 莫雷诺·法拉斯基 :
基于重写的网站验证框架。 规则@RDP 2004 : 41-61 2003 【c4】 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 圣地亚哥·埃斯科瓦尔 , 莫雷诺·法拉斯基 , 萨尔瓦多·卢卡斯 :
类OBJ程序的抽象更正。 APPIA-GULP-PRODE公司 2003 : 422-433 【c3】 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 弗朗西斯科·科雷亚 , 莫雷诺·法拉斯基 :
功能逻辑程序的修正。 员工持股计划 2003 : 54-68 【c2】 黛米斯·巴利斯 , 莫雷诺·法拉斯基 , 塞萨尔·费里 , 何塞·埃尔南德斯·奥拉洛 , M.JoséRamírez-Quintana :
声明性程序的成本敏感诊断。 WFLP公司 2003 : 85-104 【c1】 玛丽亚·阿尔普奈特 , 黛米斯·巴利斯 , 圣地亚哥·埃斯科瓦尔 , 莫雷诺·法拉斯基 , 萨尔瓦多·卢卡斯 :
一阶函数程序的抽象修正。 WFLP公司 2003 : 105-122