亚历山德罗·西马蒂;阿尔贝托·格里乔;塞尔吉奥·莫弗;马可·罗维里;斯特凡诺·托内塔 验证模理论。 （英文） 兹伯利07757158 形式方法系统。设计。 60，第3期，452-481（2022年）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit｛A.Cimatti｝等人，《表格方法系统》。设计。60，编号3，452--481（2022；Zbl 07757158） 全文： 内政部 OA许可证
塞尔吉奥·莫弗;亚历山德罗·西马蒂;阿尔贝托·格里乔;艾哈迈德·埃尔凡;斯特凡诺·托内塔 多项式动力系统的隐式半代数抽象。 （英文） Zbl 1493.68217号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。勒克特。注释计算。科学。12759, 529-551 (2021).MSC公司：60年第68季度 03B70号 34A34飞机 PDF格式BibTeX公司 XML格式引用 \textit{S.Mover}等人，Lect。注释计算。科学。12759529--551（2021；Zbl 1493.68217） 全文： 内政部
亚历山德罗·西马蒂;塞尔吉奥·莫弗;米尔科·塞萨 从电气交换网络到混合自动机。 （英文） Zbl 1427.94116号 Fitzgerald，John（编辑）等，FM 2016：形式方法。第21届国际研讨会，2016年11月9日至11日，塞浦路斯利马索尔。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9995, 164-181 (2016).MSC公司：94C15号机组 37B10号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，Lect。注释计算。科学。9995164-181（2016年；Zbl 1427.94116） 全文： 内政部
丹尼尔·雅库布;亚历山德罗·西马蒂;阿尔贝托·格里乔;斯特凡诺·托内塔;塞尔吉奥·莫弗 通过隐式抽象和良好的关系，从无限状态到安全。 （英文） Zbl 1411.68062号 Chaudhuri，Swarat（编辑）等人，《计算机辅助验证》。2016年7月17日至23日在加拿大安大略省多伦多举行的2016年CAV第28届国际会议。诉讼程序。第一部分查姆：施普林格。勒克特。注释计算。科学。9779, 271-291 (2016).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Daniel}等人，Lect。注释计算。科学。9779、271--291（2016；Zbl 1411.68062） 全文： 内政部
亚历山德罗·西马蒂;阿尔贝托·格里乔;塞尔吉奥·莫弗;斯特凡诺·托内塔 使用IC3和谓词抽象进行无限状态不变量检查。 （英文） Zbl 1368.68245号 形式方法系统。设计。 49，第3期，190-218（2016）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛A.Cimatti｝等人，《表格方法系统》。设计。49，第3号，190--218（2016；Zbl 1368.68245） 全文： 内政部
西蒙，布利兹;亚历山德罗·西马蒂;穆罕默德贾比尔;塞尔吉奥·莫弗;马可·罗维里;萨博、瓦杰布;王强 无限状态BIP模型的形式化验证。 （英文） Zbl 1471.68130号 Finkbeiner，Bernd（编辑）等人，《验证和分析自动化技术》。第十三届国际研讨会，2015年10月12日至15日，中国上海，ATVA。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9364, 326-343 (2015).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛S.Bliudze｝等人，Lect。注释计算。科学。9364，326--343（2015；Zbl 1471.68130） 全文： 内政部 链接
亚历山德罗·西马蒂;塞尔吉奥·莫弗;斯特凡诺·托内塔 混合系统不变量的无量子化编码。 （英文） Zbl 1317.68111号 形式方法系统。设计。 45，第2期，165-188（2014）.MSC公司：60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit｛A.Cimatti｝等人，《表格方法系统》。设计。45，第2号，165--188（2014；Zbl 1317.68111） 全文： 内政部
亚历山德罗·西马蒂;塞尔吉奥·莫弗;斯特凡诺·托内塔 混合系统基于SMT的场景验证。 （英文） Zbl 1284.03216号 形式方法系统。设计。 42，第1期，46-66（2013）.MSC公司：05年3月 60年第68季度 68T20型 65年第68季度 03B44号 03D78号 PDF格式BibTeX公司 XML格式引用 \textit｛A.Cimatti｝等人，《表格方法系统》。设计。42，第1号，46--66（2013；Zbl 1284.03216） 全文： 内政部
亚历山德罗·西马蒂;塞尔吉奥·莫弗;马可·罗维里;斯特凡诺·托内塔 从顺序扩展正则表达式到带有符号标签的NFA。 （英文） 兹比尔1297.68116 Domaratzki，Michael（编辑）等人，自动机的实现和应用。2010年8月12日至15日，加拿大温尼伯CIAA 2010第15届国际会议。修订了选定的论文。柏林：施普林格出版社（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） 全文： 内政部