卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir 关于分支时间属性的一阶运行时强制执行。 (英语) Zbl 07768655号 Acta信息。 60,第4期,385-451(2023年).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,《信息学报》第60期,第4期,第385--451页(2023年;Zbl 07768655) 全文: 内政部
卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingófsdóttir,安娜 一阶分支时间属性的双向运行时强制。 (英语) Zbl 07667087号 日志。方法计算。科学。 19,第1号,第14号论文,44页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,日志。方法计算。科学。19,第1号,第14号文件,第44页(2023;Zbl 07667087) 全文: 内政部 arXiv公司
卢卡·埃特罗;安东尼斯·阿奇利奥斯;埃利·阿纳斯塔西亚迪;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir;卡洛利纳,莱蒂宁;马蒂亚斯·拉加德·佩德森 关于概率监测。 (英语) Zbl 1528.68246号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 325-342 (2022).MSC公司:68问题85 60年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Lect。注释计算。科学。13660325--342(2022年;Zbl 1528.68246) 全文: 内政部
卢卡·埃特罗;安东尼斯·阿奇利奥斯;埃利·阿纳斯塔西亚迪;阿德里安·弗兰卡兰扎 用电路监测超属性。 (英语) Zbl 1499.68199号 Mousavi,Mohammad Reza(编辑)等人,分布式对象、组件和系统的形式化技术。第42届IFIP WG 6.1国际会议,FORTE 2022,作为第17届分布式计算技术国际联合会议的一部分,于2022年6月13日至17日在意大利卢卡举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13273, 1-10 (2022).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Lect。注释计算。科学。13273,1-10(2022;Zbl 1499.68199) 全文: 内政部 arXiv公司
卢卡·埃特罗;安东尼斯·阿奇利奥斯;埃利·阿纳斯塔西亚迪;安娜·英格尔夫斯多蒂 公理化无递归的常规监控器。 (英语) Zbl 07531445号 J.日志。代数。方法计划。 127,文章ID 100778,32 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,J.Log。代数。方法计划。127,文章ID 100778,32页(2022;Zbl 07531445) 全文: 内政部 arXiv公司
卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir 在双向运行时强制上。 (英语) Zbl 1489.68135号 Peters,Kirstin(编辑)等人,分布式对象、组件和系统的形式化技术。第41届IFIP WG 6.1国际会议,FORTE 2021,作为第16届分布式计算技术国际联合会议的一部分,于2021年6月14日至18日在马耳他瓦莱塔举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12719, 3-21 (2021).MSC公司:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Lect。注释计算。科学。12719年3月21日(2021年;Zbl 1489.68135) 全文: 内政部
玛丽亚·皮图;乔治·拉霍尼斯 基于参数化组件的系统中的体系结构:定性和定量建模。 (英语) Zbl 07471686号 日志。方法计算。科学。 17,第4号,第26号论文,53页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Pittou}和\textit{G.Rahonis},Log。方法计算。科学。17,第4号,第26号论文,53页(2021;Zbl 07471686) 全文: arXiv公司 链接
阿德里安·弗兰卡兰扎 监视器理论。 (英语) Zbl 1475.68206号 Inf.计算。 281,文章ID 104704,29 p.(2021).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Francalanza},Inf.计算。281,文章ID 104704,第29页(2021;兹bl 1475.68206) 全文: 内政部
阿德里安·弗兰卡兰扎;克莱尔·辛尼 计算机说不:使用本地证明系统对运行时监控器进行裁决解释。 (英语) Zbl 1455.68103号 J.日志。代数。方法计划。 119,文章ID 100636,25 p.(2021).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Francalanza}和\textit{C.Cini},J.Log。代数。方法计划。119,文章ID 100636,25 p.(2021;Zbl 1455.68103) 全文: 内政部
卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir;克雅坦松,Svarrn 使用递归确定HML的监控器。 (英语) Zbl 1494.68155号 J.日志。代数。方法计划。 111,文章ID 100515,38 p.(2020).MSC公司:60年第68季度 03B70号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,J.Log。代数。方法计划。111,文章ID 100515,38 p.(2020;Zbl 1494.68155) 全文: 内政部 arXiv公司
塞萨尔·桑切斯;杰拉尔多·施奈德;沃尔夫冈·阿伦特;埃齐奥·巴托西;多梅尼科·比安库利;克里斯蒂安·科伦坡;伊利耶斯·法尔科内;阿德里安·弗兰卡兰扎;Sr Djan Krstić;Lourenço,Joáo M。;德扬·尼科维奇;戈登·佩斯。;何塞·鲁菲诺;辛戈尔斯,朱利安;德米特里·特拉泰尔;亚历山大·韦斯 高级应用程序域(软件以外)的运行时验证挑战调查。 (英语) 兹比尔1425.68268 形式方法系统。设计。 54,第3号,279-335(2019).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Sánchez}等人,《形式方法系统》。设计。54,第3号,279-335(2019年;兹bl 1425.68268) 全文: 内政部 arXiv公司
卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir 通过抑制在运行时强制执行。 (英语) Zbl 1520.68069号 Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第34条,第17页(2018年)。MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,LIPIcs——莱布尼茨国际程序。通知。118,第34条,第17页(2018;Zbl 1520.68069) 全文: 内政部 arXiv公司
卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir 监视无声操作。 (英语) Zbl 1491.68104号 Lokam,Satya(编辑)等人,第37届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2017,印度坎普尔IIT,2017年12月12-14日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93,第7条,第14页(2018年)。MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,LIPIcs——莱布尼茨国际程序。通知。93,第7条,第14页(2018;Zbl 1491.68104) 全文: 内政部
阿德里安·弗兰卡兰扎 持续检测监控器。 (英语) Zbl 1442.68107号 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第8条,第19页(2017年)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Francalanza},LIPIcs——莱布尼茨国际期刊。通知。85,第8条,第19页(2017年;Zbl 1442.68107) 全文: 内政部
阿里·卡西姆;伊利耶斯·法尔科内;帕斯卡·拉福卡德 电子考试的正式分析和离线监控。 (英语) Zbl 1370.68205号 形式方法系统。设计。 51,第1期,117-153(2017).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kassem}等人,《形式方法系统》。设计。51,第1号,117--153(2017;Zbl 1370.68205) 全文: 内政部 哈尔
埃齐奥·巴托西(编辑);鲁帕克·马朱姆达尔(编辑) 介绍运行时验证的特殊问题。 (英语) Zbl 1372.00088号 形式方法系统。设计。 51,第1号,1-4号(2017).MSC公司:00B25型 68-06 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}(编辑)和\textit{R.Majumdar}(主编),《形式方法系统》。设计。51,编号1,1--4(2017;Zbl 1372.00088) 全文: 内政部