阿德里安·弗兰卡兰扎；杰勒德·塔博内 ElixirST：用于长生不老药模块的基于会话的类型系统。 （英语） Zbl 07741957号 J.日志。阿尔盖布。方法计划。 135，文章ID 100891，38 p.（2023）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Francalanza}和\textit{G.Tabone}，J.Log。阿尔盖布。方法程序。135，文章ID 100891，38 p.（2023；Zbl 07741957） 全文： 内政部 arXiv公司
卢卡·埃特罗；伊恩·卡萨尔；阿德里安·弗兰卡兰扎；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公司
阿德里安·弗兰卡兰扎 监视器理论。 （英语） 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 p.（2021；Zbl 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.日志。阿尔盖布。方法程序。119，文章ID 100636，25 p.（2021；Zbl 1455.68103） 全文： 内政部
卢卡·埃特罗；安东尼斯·阿奇利奥斯；阿德里安·弗兰卡兰扎；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。；德扬·尼科维奇；戈登·佩斯。；何塞·鲁菲诺；辛戈尔斯，朱利安；德米特里·特拉泰尔；亚历山大·韦斯 高级应用程序域（软件以外）的运行时验证挑战调查。 （英语） Zbl 1425.68268号 形式方法系统。设计。 54，第3号，279-335（2019）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Sánchez}等人，《形式方法系统》。设计。54，第3号，279--335（2019；Zbl 1425.68268） 全文： 内政部 arXiv公司
卢卡·埃特罗；伊恩·卡萨尔；阿德里安·弗兰卡兰扎；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；兹bl 1520.68069） 全文： 内政部 arXiv公司
卢卡·埃特罗；安东尼斯·阿奇利奥斯；阿德里安·弗兰卡兰扎；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） 全文： 内政部
阿德里安·弗兰卡兰扎；卢卡·埃特罗；安娜·英格尔夫斯多蒂 具有递归功能的轩尼诗-米尔纳逻辑的可监控性。 （英语） 兹比尔1370.68203 形式方法系统。设计。 51，第1号，87-116（2017）.MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Francalanza}等人，《形式方法系统》。设计。51，第1号，87--116（2017；Zbl 1370.68203） 全文： 内政部
卢卡·埃特罗；安东尼斯·阿奇利奥斯；阿德里安·弗兰卡兰扎；Ingólfsdóttir，安娜；克雅坦松，Svarrn 关于确定监控器的复杂性。 （英语） Zbl 1489.68149号 Carayol，Arnaud（编辑）等人，《自动机的实现和应用》。2017年6月27日至30日在法国马内拉瓦莱举行的2017年CIAA第22届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10329, 1-13 (2017).MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Lect。注释计算。科学。10329，1-13（2017；Zbl 1489.68149） 全文： 内政部 链接
阿德里安·弗兰卡兰扎 监视器理论（扩展抽象）。 （英语） Zbl 1476.68172号 Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9634, 145-161 (2016).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Francalanza}，莱克特。注释计算。科学。9634，145-161（2016；Zbl 1476.68172） 全文： 内政部
阿德里安·弗兰卡兰扎；塞舌尔，奥尔德林 合成正确的并发运行时监控器。 （英语） Zbl 1323.68373号 形式方法系统。设计。 46，第3期，226-261（2015）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Francalanza}和\textit{A.Seychell}，《形式方法系统》。设计。46，第3号，226--261（2015；Zbl 1323.68373） 全文： 内政部 链接
阿德里安·弗兰卡兰扎；马修·轩尼诗 观测容错理论。 （英语） Zbl 1123.68080号 J.日志。阿尔盖布。程序。 73，第1-2号，22-50（2007）.MSC公司：68问题85 68米15 PDF格式BibTeX公司 XML格式引用 \textit{A.Francalanza}和\textit{M.Hennessy}，J.Log。阿尔盖布。程序。73，编号1--2，22-50（2007；Zbl 1123.68080） 全文： 内政部 链接