托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;恩里科·特隆西 关于检查模拟脚本的等效性。 （英语） Zbl 1518.68212号 J.日志。阿尔盖布。方法计划。 120，文章ID 100640，22 p.（2021）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Mancini}等人，J.Log。阿尔盖布。方法程序。120，文章ID 100640，22 p.（2021；Zbl 1518.68212） 全文： 内政部
托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;伊万诺·萨尔沃;恩里科·特隆西 最小化最大预期验证时间。 （英语） Zbl 1422.68164号 信息处理。莱特。 122, 8-16 (2017).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Mancini}等人，《Inf.过程》。莱特。122、8--16（2017；Zbl 1422.68164） 全文： 内政部 链接
Sofie海瑟特;保罗·M·J·范登·霍夫（Paul M.J.van den Hof）。;亚历山德罗·阿巴特 通过贝叶斯识别和可达性分析进行数据驱动和基于模型的验证。 （英语） Zbl 1371.93187号 Automatica公司 79, 115-126 (2017).MSC公司：93E03型 2015年1月62日 93个B03 93立方厘米05 PDF格式BibTeX公司 XML格式引用 \textit{S.Haesaert}等人，Automatica 79，115-126（2017；Zbl 1371.93187） 全文： 内政部 链接
王淑玲;詹乃军;张丽君 随机混合系统的组合建模和验证框架。 （英语） 兹比尔1370.68220 正式Asp。计算。 29，第4期，751-775（2017）.MSC公司：68问题85 60年第68季度 87年第68季度 93立方 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{S.Wang}等人，正式Asp。计算。29，第4号，751--775（2017；Zbl 1370.68220） 全文： 内政部
托尼·曼奇尼;费德里科·马里奥;安娜丽莎·马西尼;伊戈尔·梅拉蒂;恩里科·特隆西 系统级形式验证的模拟器语义。 （英语） Zbl 1476.68153号 Esparza，Javier（编辑）等人，《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2015，热那亚，意大利，2015年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）193，86-99（2015）。MSC公司：60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.Mancini}等人，《电子》。程序。西奥。计算。科学。（EPTCS）193，86-99（2015；Zbl 1476.68153） 全文： arXiv公司 链接
石井、大辅;直纪延崎;亚历山大·戈德斯特恩 使用区间分析监控有界LTL属性。 （英语） Zbl 1351.68163号 Bogomolov，Sergiy（编辑）等人，基于2014年7月17日至18日和2015年4月13日在奥地利维也纳举行的第七届和第八届数值软件验证国际研讨会上所作陈述的论文选集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》317，85-100（2015）。MSC公司：60年第68季度 03B44号 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.石井}等人，《电子》。注释Theor。计算。科学。31785-100（2015年；Zbl 1351.68163） 全文： 内政部 arXiv公司
张燕;桑卡拉纳拉亚南，斯里拉姆;法比奥·萨蒙齐 对复杂系统进行统计合理的验证和优化。 （英语） Zbl 1448.68322号 Cassez，Franck（编辑）等人，《用于验证和分析的自动化技术》。2014年11月3日至7日，澳大利亚新南威尔士州悉尼，第十二届国际研讨会，ATVA 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8837, 411-427 (2014).MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人，Lect。注释计算。科学。8837、411--427（2014；Zbl 1448.68322） 全文： 内政部
拜尔，克里斯特尔（编辑）;玛尔塔·奎亚特科夫斯卡（编辑） 概率模型检验专题前言。 （英语） Zbl 1291.68245号 形式方法系统。设计。 43，第2期，121-123（2013）.MSC公司：60年第68季度 87年第68季度 00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}（编辑）和\textit{M.Kwiatkowska}（主编），《形式方法系统》。设计。43，编号2121-123（2013年；兹bl 1291.68245） 全文： 内政部