1. 亚历山德罗·西马蒂；卢卡·盖蒂；吉甘特，尼古拉；安吉洛·蒙塔纳里（Angelo Montanari）；斯特凡诺·托内塔,
    GR（1）等价于R（1）,
    在«信息处理字母»，
    卷。179,
    2023
  2. Lal，Akash；斯特凡诺·托内塔,
    已验证软件。理论、工具和实验——第14届国际会议，VSTTE 2022，意大利特伦托，2022年10月17日至18日，修订论文集,
    施普林格,
    卷。13800,
    2023
  3. 史蒂芬·潘伊科维奇；安德烈亚·米凯利,
    基于优化模理论的表达式最优时间规划,
    第三十七届AAAI人工智能会议记录，AAAI2023,
    2023
  4. 马可·波扎诺（Marco Bozzano）；亚历山德罗·西马蒂；斯特凡诺·托内塔；维科里亚伏萨罗娃,
    在公平过渡系统中寻找带状路径,
    第28届系统构建和分析工具和算法国际会议,
    2022
    ，第页。543-
    560
  5. 马可·波扎诺（Marco Bozzano）；亚历山德罗·西马蒂；阿尔贝托·格里乔；马丁·乔纳斯,
    基于布尔故障传播的循环冗余结构高效分析,
    用于系统构建和分析的工具和算法，第28届国际会议，TACAS 2022,
    旋转器,
    2022
    ，第页。273-
    291
  6. 史蒂芬·潘伊科维奇；安德烈亚·米凯利（Andrea Micheli）；亚历山德罗·西马蒂,
    行动非自我重叠下时间规划的不可解性判定,
    第三十六届AAAI人工智能会议论文集，AAAI2022,
    2022
  7. 本杰明·比特纳；马可·波扎诺（Marco Bozzano）；亚历山德罗·西马蒂；马可·埃利奥·古斯塔沃（Marco Elio Gustavo），加里奥（Gario）；斯特凡诺·托内塔；维科里亚伏萨罗娃,
    公平过渡系统的可诊断性,
    在«人工智能»,
    卷。309,
    2022
  8. Tierno，A。；Turri，G。；Cimatti，A。；罗纳尔·帕瑟隆。,
    冗余建筑的自动设计空间探索,
    电子工业、环境与社会应用国际会议论文集,
    卷。866,
    2022
    ，第页。149-
    159
  9. 斯特凡诺·弗里佐（Stefenon，Stefano Frizzo）；Gurmail Singh；Yow，Kin-Choong；亚历山德罗·西马蒂,
    用于缺陷电网配电结构分类的半ProtoPNet深度神经网络,
    在«传感器»,
    卷。22,
    n.（名词）。13,
    2022
    ，第页。4859-
  10. Cimatti，A。；卢卡·盖蒂；吉甘特，尼古拉；安吉洛·蒙塔纳里（Angelo Montanari）；斯特凡诺·托内塔,
    安全和协同安全语言的一阶逻辑特征,
    软件科学和计算结构基础——第25届国际会议，FOSSACS 2022，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2022,
    施普林格,
    卷。13242,
    2022
    ，第页。244-
    263
  11. 阿图罗阿蒙多拉；Anna Becchi；罗伯托·卡瓦达；亚历山德罗·西马蒂；安德烈亚·费兰多；洛伦佐·皮拉蒂；朱塞佩·斯卡利翁；阿尔贝托·塔切拉；马可·赞博尼,
    NORMA：基于继电器的铁路联锁系统分析工具,
    系统构建和分析的工具和算法,
    卷。13243,
    2022
    ，第页。125-
    142
  12. Anna Becchi；亚历山德罗·西马蒂,
    逆向工程中的抽象模稳定性,
    计算机辅助验证——第34届国际会议，CAV 2022，会议记录，第一部分,
    卷。13371,
    2022
    ，第页。469-
    489
  13. 马可·波扎诺（Marco Bozzano）；亚历山德罗·西马蒂；阿尔贝托·格里乔；马丁·乔纳斯；格雷格·金伯利,
    基于ASP的循环故障传播分析,
    逻辑编程和非单调推理——第16届国际会议，LPNMR 2022，Genova，意大利，2022年9月5-9日，会议记录,
    卷。13416,
    2022
    ，第页。470-
    483
  14. 亚历山德罗·西马蒂；阿尔贝托·格里乔；恩里科·马格纳戈,
    无限状态系统中的LTL伪造,
    在«信息和计算»,
    卷。289,
    2022
    ，第页。104977-
  15. 阿尔贝托·邦巴德利；马可·波扎诺（Marco Bozzano）；罗伯托·卡瓦达；亚历山德罗·西马蒂；阿尔贝托·格里乔；马西莫·纳扎里亚；埃多亚多·尼科洛迪；斯特凡诺·托内塔,
    COMPASTA：用正式设计和验证功能扩展TAST,
    基于模型的安全与评估,
    卷。13525,
    2022
    ，第页。21-
    27
  16. 阿图罗·阿蒙多拉；洛伦佐·巴鲁夫；马可·波扎诺（Marco Bozzano）；亚历山德罗·西马蒂；萨尔瓦多·德西蒙；费德利，尤金尼奥；阿特姆·加巴索夫；埃内斯托·加鲁巴（Ernesto Garrubba），多梅尼科（Domenico）；吉拉迪，马西米利亚诺；戴安娜·塞拉；罗伯托·蒂埃拉；詹尼·赞佩德里,
    列车自动运行控制系统的形式化设计与验证,
    铁路系统的可靠性、安全性和安全性。建模、分析、验证和认证,
    卷。13294,
    2022
    ，第页。169-
    178
  17. 亚历山德罗·西马蒂；萨拉·科尔菲尼；卢卡·克里斯托福雷蒂；马尔科·迪纳塔莱；阿尔贝托·格里乔；斯特凡诺·普里；斯特凡诺·托内塔,
    汽车系统分析的综合框架,
    第25届模型驱动工程语言和系统国际会议记录，模型2022,
    2022
    ，第页。379-
    389
  18. 亚历山德罗·西马蒂；阿尔贝托·格里乔；吉安卢卡·雷登迪,
    使用量化器验证SMT系统,
    验证和分析自动化技术——第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日，会议记录,
    卷。13505,
    2022
    ，第页。154-
    170
  19. 亚历山德罗·西马蒂；阿尔贝托·格里乔；Enrico Lipparini；罗伯托·塞巴斯蒂亚尼,
    利用无约束优化和拓扑度检验处理SMT中的多项式和先验函数,
    验证和分析自动化技术——第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日，会议记录,
    卷。13505,
    2022
    ，第页。137-
    153
  20. 亚历山德罗·西马蒂；阿尔贝托·格里乔；斯特凡诺·托内塔,
    VMT-LIB语言和工具,
    2022年8月11日至12日，以色列海法，第20届可满足性模理论内部研讨会会议记录，与第11届国际自动推理联合会议（IJCAR}2022）合办，第8届联邦逻辑会议（FLoC 2022）的一部分,
    CEUR-WS.org公司,
    卷。3185,
    2022
    ，第页。80-
    89