乔瓦尼·巴奇;贝诺·德拉哈耶;Larsen，Kim G。;安德斯·马里加德 区间马尔可夫链的定量分析。 （英语） Zbl 1522.68296号 Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13030, 57-77 (2022).MSC公司：60年第68季度 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，Lect。注释计算。科学。13030，57--77（2022；Zbl 1522.68296） 全文： 内政部 哈尔
埃蒂安·安德烈;贝诺·德拉哈耶;波林·福尼尔 参数区间概率时间自动机的一致性。 （英语） 兹比尔1494.68157 J.日志。阿尔盖布。方法计划。 110，文章ID 100459，22 p.（2020）.MSC公司：60年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人，J.Log。阿尔盖布。方法计划。110，文章ID 100459，第22页（2020；Zbl 1494.68157） 全文： 内政部 arXiv公司
阿尼塞特·巴特;贝诺·德拉哈耶;波林·福尼尔;莱姆，迪迪埃;埃里克·蒙弗罗伊;夏洛特·特鲁切特 使用约束的参数区间马尔可夫链的可达性。 （英语） Zbl 1400.68118号 西奥。计算。科学。 747, 48-74 (2018).MSC公司：60年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bart}等人，Theor。计算。科学。747、48-74（2018年；Zbl 1400.68118） 全文： 内政部 arXiv公司
伊凡·埃姆齐瓦特;贝诺·德拉哈耶;莱姆，迪迪埃;奥利维尔·H·鲁克斯。 概率时间Petri网。 （英语） Zbl 1346.68131号 Kordon，Fabrice（编辑）等人，Petri网和并发的应用和理论。第37届国际会议，PETRI NETS 2016，波兰托伦，2016年6月19-24日。诉讼程序。查姆：施普林格（ISBN 978-3-319-39085-7/pbk；978-3-3169-39086-4/电子书）。计算机科学讲座笔记9698，261-280（2016）。MSC公司：68问题85 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Y.Emzivat}等人，Lect。注释计算。科学。9698，261--280（2016；Zbl 1346.68131） 全文： 内政部
德拉海耶，贝努伊特 参数区间马尔可夫链的一致性。 （英语） Zbl 1429.68141号 André，Étienne（编辑）等人，第二届复杂参数合成国际研讨会，SynCoP’152015年4月11日，英国伦敦。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。44, 17-32 (2015).MSC公司：60年第68季度 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}，OASIcs--开放存取服务。通知。44、17-32（2015年；Zbl 1429.68141） 全文： 内政部
贝诺·德拉哈耶;Larsen，Kim G。;Legay、Axel 为抽象概率自动机而结结巴巴。 （英语） Zbl 1283.68193号 J.日志。阿尔盖布。程序。 83，第1期，第1-19页（2014年）.MSC公司：65年第68季度 03B45号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人，J.Log。阿尔盖布。程序。83，第1号，第1-19号（2014；Zbl 1283.68193） 全文： 内政部
贝诺·德拉哈耶;Larsen，Kim G。;Legay、Axel;米克尔·L·佩德森。;安德烈·索夫斯基 区间马尔可夫链的一致性和精化。 （英语） Zbl 1247.68195号 J.日志。阿尔盖布。程序。 81，第3期，209-226（2012）.MSC公司：87年第68季度 2017年第68季度 60J10型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人，J.Log。阿尔盖布。程序。81、3号、209--226（2012；Zbl 1247.68195） 全文： 内政部
贝诺·凯劳德;贝诺·德拉哈耶;Larsen，Kim G。;Legay、Axel;米克尔·L·佩德森。;安德烈·索夫斯基 约束马尔可夫链。 （英语） Zbl 1223.68070号 西奥。计算。科学。 412，第34号，4373-4404（2011）. 审核人：托马斯·詹森（科克） MSC公司：60年第68季度 60J10型 PDF格式BibTeX公司 XML格式引用 \textit{B.Caillaud}等人，Theor。计算。科学。412，第34号，4373--4404（2011；Zbl 1223.68070） 全文： 内政部
贝诺·德拉哈耶;贝诺·凯劳德;Legay、Axel 概率契约：用于设计具有随机和/或非确定性方面的系统的组合推理方法。 （英语） Zbl 1210.93068号 形式方法系统。设计。 38，第1期，1-32页（2011年）.MSC公司：93E03型 87年第68季度 65年第68季度 60年第68季度 90秒25 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人，《形式方法系统》。设计。38，第1号，1--32（2011；Zbl 1210.93068） 全文： 内政部