比尼特·戈什;埃蒂安·安德烈 使用边界模型对分散的不确定日志进行离线和在线节能监测。 （英文） Zbl 07789013号 日志。方法计算。科学。 20，第1号，第2号论文，33页（2024年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Ghosh}和\textit{埃米·安德烈}，日志。方法计算。科学。20，第1号，第2号论文，33页（2024；Zbl 07789013） 全文： 内政部 arXiv公司
瓦伦蒂娜·卡斯蒂格利奥尼;米歇尔·洛雷蒂;西蒙·蒂尼 在不可预测的环境中衡量程序健壮性的框架。 （英文） Zbl 07731930号 日志。方法计算。科学。 19，第3号，第2号论文，46页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{V.Castiglioni}等人，日志。方法计算。科学。19，第3号，第2号论文，46页（2023；Zbl 07731930） 全文： 内政部 arXiv公司
塞巴斯蒂安·比沃;雷娜·迪米特洛娃;迈克尔·弗里斯;马西耶·加兹达;托马斯·海因策;霍尔格赫尔曼斯;穆罕默德·雷扎·穆萨维 时间和空间中兴奋剂检测的一致性关系和超属性。 （英文） Zbl 07471703号 日志。方法计算。科学。 18，第1号，第14号论文，39页（2022年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Biewer}等人，Log。方法计算。科学。18，第1号，第14号文件，第39页（2022；Zbl 0741703） 全文： arXiv公司 链接
安吉洛·费兰多;拉斐尔·卡多佐（Rafael C.Cardoso）。;玛丽·法雷尔;马特·勒克库克;法比奥·帕帕奇尼;迈克尔·费希尔;维维亚娜·马斯卡迪 弥合单模型和多模型预测运行时验证之间的差距。 （英文） Zbl 1522.68315号 形式方法系统。设计。 59，编号1-3，44-76（2021）.MSC公司：60年第68季度 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ferrando}等人，《形式方法系统》。设计。59，编号1--3，44-76（2021；Zbl 1522.68315） 全文： 内政部
瓦伦蒂娜·卡斯蒂格利奥尼;米歇尔·洛雷蒂;西蒙·蒂尼 你的程序适应性和可靠性如何？ （英文） Zbl 1489.68139号 Peters，Kirstin（编辑）等人，分布式对象、组件和系统的形式化技术。第41届IFIP WG 6.1国际会议，FORTE 2021，作为第16届分布式计算技术国际联合会议的一部分，于2021年6月14日至18日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12719, 60-79 (2021).MSC公司：60年第68季度 68号30 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Castiglioni}等人，Lect。注释计算。科学。12719，60-79（2021年；兹比尔1489.68139） 全文： 内政部
艾曼纽·菲利奥特;尼古拉斯·马佐奇;Jean-François拉斯金;桑卡拉纳拉亚南，斯里拉姆;阿舒托什·特里维迪 用于稳健性验证的加权传感器。 （英文） Zbl 07559473号 Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第17条，第21页（2020年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Filiot}等人，LIPIcs——莱布尼茨国际程序。通知。171，第17条，第21页（2020；Zbl 07559473） 全文： 内政部
斯特凡·雅克西奇;埃齐奥·巴托西;拉杜·格罗苏;阮，Thang;德扬·尼契科维奇 利用编辑距离定量监测STL。 （英文） Zbl 1394.68230号 形式方法系统。设计。 53，编号1，83-112（2018）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛S.Jakšić｝等人，《形式方法系统》。设计。53，第1号，83-112（2018；Zbl 1394.68230） 全文： 内政部