亚历山德罗·西马蒂;阿尔贝托·格里乔;塞尔吉奥·莫弗;马可·罗维里;斯特凡诺·托内塔 验证模理论。 (英语) Zbl 07757158号 形式方法系统。设计。 60,第3期,452-481(2022年).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。60,编号3,452--481(2022;Zbl 07757158) 全文: 内政部 OA许可证
菲利波·比加雷拉;亚历山德罗·西马蒂;阿尔贝托·格里乔;艾哈迈德·埃尔凡;马丁·乔纳什;马可·罗维里;罗伯托·塞巴斯蒂安;帕特里克·特伦丁 通过增量线性化优化模非线性算法。 (英语) 兹伯利07497924 Konev,Boris(编辑)等人,《组合系统的前沿》。第十三届国际研讨会,FroCoS 2021,英国伯明翰,2021年9月8-10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12941213-231(2021年)。MSC公司:68次发射 PDF格式BibTeX公司 XML格式引用 \textit{F.Bigarella}等人,莱克特。注释计算。科学。12941、213--231(2021;Zbl 07497924) 全文: 内政部 链接
阿尔贝托·格里乔;马可·罗维里;斯特凡诺·托内塔 基于SAT的模型检查的认证证明。 (英语) Zbl 1522.68319号 形式方法系统。设计。 57,编号2,178-210(2021).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Griggio}等人,《形式方法系统》。设计。57,编号2,178--210(2021;Zbl 1522.68319) 全文: 内政部 链接
亚历山德罗·西马蒂;阿尔贝托·格里乔;恩里科·马格纳戈;马可·罗维里;斯特凡诺·托内塔 基于SMT的具有事件冻结函数和度量算子的一阶LTL的可满足性。 (英语) Zbl 1443.68104号 Inf.计算。 272,文章ID 104502,17 p.(2020).MSC公司:60年第68季度 03B44号 68分20秒 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《信息计算》。272,文章ID 104502,17 p.(2020;Zbl 1443.68104) 全文: 内政部
亚历山德罗·西马蒂;做,明;安德烈亚·米凯利;马可·罗维里;大卫·E·史密斯。 强有力的时间规划,持续时间不可控。 (英语) Zbl 1443.68163号 Artif公司。智力。 256, 1-34 (2018).MSC公司:68分20秒 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Artif。智力。256,1-34(2018;Zbl 1443.68163) 全文: 内政部 链接
亚历山德罗·西马蒂;阿尔贝托·格里乔;艾哈迈德·埃尔凡;马可·罗维里;罗伯托·塞巴斯蒂安 通过使用EUF对LRA进行增量缩减,对NRA过渡系统进行不变量检查。 (英语) Zbl 1452.68116号 Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。10205, 58-75 (2017).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Lect。注释计算。科学。10205,58-75(2017;Zbl 1452.68116) 全文: 内政部 arXiv公司
亚历山德罗·西马蒂;卢克·亨斯伯格;安德烈亚·米凯利;罗伯托·波塞纳托;马可·罗维里 通过定时游戏自动机实现动态可控性。 (英语) Zbl 1350.68251号 Acta信息。 53,第6-8号,681-722(2016).MSC公司:68T42型 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《学报》第53期,第6--8、681--722号(2016年;Zbl 1350.68251) 全文: 内政部 链接
亚历山德罗·西马蒂;马可·罗维里;斯特凡诺·托内塔 HRELTL:混合系统的时序逻辑。 (英语) Zbl 1332.68139号 Inf.计算。 245,54-71(2015).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《信息计算》。245、54-71(2015;Zbl 1332.68139) 全文: 内政部
亚历山德罗·西马蒂;安德烈亚·米凯利;马可·罗维里 基于SMT的不确定性析取时间问题弱可控性方法。 (英语) Zbl 1343.68237号 Artif公司。智力。 224,1-27(2015年).MSC公司:68层37 68分20秒 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Artif。智力。224,1--27(2015;Zbl 1343.68237) 全文: 内政部
亚历山德罗·西马蒂;安德烈亚·米凯利;马可·罗维里 使用SMT解决具有不确定性的时间问题的强可控性。 (英语) Zbl 1314.90043号 约束条件 20,第1号,1-29(2015).MSC公司:90B36型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《约束20》,第1期,1-29页(2015;Zbl 1314.90043) 全文: 内政部
亚历山德罗·西马蒂;伊曼·纳拉萨姆迪亚;马可·罗维里 通过部分降阶提升SystemC的惰性抽象。 (英语) Zbl 1316.68072号 Abdulla,Parosh Aziz(编辑)等人,《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议(TACAS 2011),是欧洲软件理论与实践联合会议(ETAPS 2011)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-19834-2/pbk)。计算机科学讲座笔记6605341-356(2011)。MSC公司:60年第68季度 68-04 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Lect。注释计算。科学。6605341--356(2011;Zbl 1316.68072) 全文: 内政部
亚历山德罗·西马蒂;塞尔吉奥·莫弗;马可·罗维里;斯特凡诺·托内塔 从顺序扩展正则表达式到带有符号标签的NFA。 (英语) Zbl 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) 全文: 内政部
A.西马蒂。;Roveri,M。;V.舒潘。;Tchaltsev,A。 可实现性的诊断信息。 (英语) Zbl 1138.68442号 Logozzo,Francesco(编辑)等人,《验证、模型检查和抽象解释》。2008年1月7日至9日,第九届国际会议,VMCAI 2008,美国旧金山。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78162-2/pbk)。计算机科学课堂讲稿4905,52-67(2008)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Lect。注释计算。科学。4905、52-67(2008年;Zbl 1138.68442) 全文: 内政部
皮耶乔治·贝尔托利;亚历山德罗·西马蒂;马可·罗维里;保罗·特拉弗索 部分可观测性下的强规划。 (英语) Zbl 1131.68095号 Artif公司。智力。 170,编号4-5,337-384(2006).MSC公司:68分20秒 PDF格式BibTeX公司 XML格式引用 \textit{P.Bertoli}等人,Artif。智力。170,编号4--5,337--384(2006;Zbl 1131.68095) 全文: 内政部
A.西马蒂。;Roveri,M。;伯托利,P。 通过符号模型检查和启发式搜索进行一致性规划。 (英语) Zbl 1086.68591号 Artif公司。智力。 159,第1-2127-206号(2004年).MSC公司:68分20秒 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Artif。智力。159,编号1--2,127-206(2004;Zbl 1086.68591) 全文: 内政部
A.西马蒂。;M·皮斯托尔。;Roveri,M。;特拉弗索,P。 通过符号模型检查进行弱、强和强循环规划。 (英语) Zbl 1082.68800号 Artif公司。智力。 147,编号1-2,35-84(2003).MSC公司:68分20秒 2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Artif。智力。147,编号1--2,35-84(2003;Zbl 1082.68800) 全文: 内政部