亚历山德罗·阿巴特;伊奥里·贝萨;卢卡斯·科迪罗;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林 连续设备可证明安全数字控制器的自动形式化综合。 （英语） Zbl 1441.93171号 学报信息。 57，编号1-2，223-244（2020）.MSC公司：93元62角 93亿B50 93立方厘米 93D20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}等人，《学报》第57期，第1--2223--244号（2020年；Zbl 1441.93171） 全文： 内政部
列侬·查夫斯;伊奥里·贝萨;卢卡斯·科迪罗;丹尼尔·克罗宁 DSValidator：数字系统的自动反例再现工具。 （英语） Zbl 1409.68170号 第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）。253-258 (2018).MSC公司：60年第68季度 93元62角 PDF格式BibTeX公司 XML格式引用 \textit{L.Chaves}等人，in：第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）。253--258（2018年；Zbl 1409.68170） 全文： 内政部 arXiv公司
亚历山德罗·阿巴特;伊奥里·贝萨;达里奥·卡塔鲁扎;卢卡斯·科迪罗;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁 连续设备数字稳定控制器的声音和自动合成。 （英语） Zbl 1369.93189号 2017年4月18日至20日，美国宾夕法尼亚州匹兹堡，2017年HSCC，第20届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4590-3）。197-206 (2017).MSC公司：93亿B50 93B40码 93D99型 93元57 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}等人，《第20届ACM混合系统国际会议论文集：计算与控制》，HSCC 2017，匹兹堡，宾夕法尼亚州，美国，2017年4月18-20日。纽约州纽约市：计算机协会（ACM）。197-206（2017年；Zbl 1369.93189） 全文： 内政部 arXiv公司