亚历山德罗·西马蒂;阿尔贝托·格里乔;塞尔吉奥·莫弗;马可·罗维里;斯特凡诺·托内塔 验证模理论。 （英语） Zbl 07757158号 形式方法系统。设计。 60，第3期，452-481（2022年）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，《形式方法系统》。设计。60，编号3，452--481（2022；Zbl 07757158） 全文： 内政部 OA许可证
亚历山德罗·西马蒂;塞尔吉奥·莫弗;斯特凡诺·托内塔 基于SMT的混合系统场景验证。 （英语） Zbl 1284.03216号 形式方法系统。设计。 42，第1期，46-66（2013）.MSC公司：05年3月 60年第68季度 68T20型 65年第68季度 03B44号 03天78 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，《形式方法系统》。设计。42，第1号，46--66（2013；Zbl 1284.03216） 全文： 内政部
亚历山德罗·西马蒂;塞尔吉奥·莫弗;马可·罗维里;斯特凡诺·托内塔 从顺序扩展正则表达式到带有符号标签的NFA。 （英语） Zbl 1297.68116号 Domaratzki，Michael（编辑）等人，自动机的实现和应用。2010年8月12日至15日，加拿大MB温尼伯，第15届国际会议，CIAA 2010。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-18097-2/pbk）。计算机科学课堂讲稿648287-94（2011）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，Lect。注释计算。科学。6482，87-94（2011；Zbl 1297.68116） 全文： 内政部
亚历山德罗·西马蒂;马可·罗维里;皮耶乔治·贝尔托利 通过结合显式状态和符号模型检查来搜索功率集自动机。 （英语） Zbl 0978.68546号 Margaria，Tiziana（编辑）等，系统构建和分析的工具和算法。2001年4月2日至6日在意大利热那瓦举行的第七届国际会议TACAS 2001，是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。2031, 313-327 (2001).MSC公司：60年第68季度 65年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，Lect。注释计算。科学。2031313--327（2001；Zbl 0978.68546） 全文： 链接