恩斯特·莫里茨·哈恩；阿恩·哈特曼斯；霍尔格·赫尔曼斯；Joost-Pieter卡托恩 随机混合系统的组合建模和分析框架。 （英语） Zbl 1291.68293号 形式方法系统。设计。 43，第2期，191-232（2013）.MSC公司：87年第68季度 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Hahn}等人，《形式方法系统》。设计。43，第2号，191--232（2013；Zbl 1291.68293） 全文： 内政部
拜尔，C。；E.M.哈恩。；B.R.哈维尔科特。；H·赫尔曼斯。；J.-P.卡托恩。 模型性能检查。 （英语） Zbl 1358.68181号 数学。结构。计算。科学。 23，第4期，751-795（2013）.MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，数学。结构。计算。科学。23，第4号，751--795（2013；Zbl 1358.68181） 全文： 内政部
张丽君；她，志坤；斯特凡·拉特肖恩；霍尔格·赫尔曼斯；恩斯特·莫里茨·哈恩 概率混合系统的安全验证。 （英语） Zbl 1291.93294号 欧洲药典控制 18，第6号，572-587（2012）.MSC公司：93E03型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人，《欧洲期刊控制》第18卷，第6期，第572--587页（2012年；Zbl 1291.93294） 全文： 内政部
克里斯蒂安·艾森特罗；霍尔格·赫尔曼斯 向新生教授并发概念。 （英语） 兹比尔1171.68571 Jensen，Kurt（编辑）等人，《Petri网和其他并发模型的事务处理I.柏林：施普林格》（ISBN 978-3-540-89286-1/pbk）。计算机科学讲义5100。《期刊副刊》，35-53（2008）。MSC公司：68问题85 97U30型 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisentraut}和\textit{H.Hermanns}，莱克特。票据计算。科学。5100、35-53（2008年；Zbl 1171.68571） 全文： 内政部
霍尔格·赫尔曼斯；比约恩·瓦希特；张丽君 概率CEGAR。 （英语） Zbl 1155.68438号 Gupta，Aarti（编辑）等人，《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议，CAV 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70543-7/pbk）。计算机科学课堂讲稿5123162-175（2008）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Hermanns}等人，Lect。票据计算。科学。5123、162--175（2008年；Zbl 1155.68438） 全文： 内政部
张丽君；霍尔格·赫尔曼斯 决定概率自动机上的模拟。 （英语） Zbl 1141.68443号 Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762207-222（2007）。MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}和\textit{H.Hermanns}，Lect。票据计算。科学。4762，207--222（2007；Zbl 1141.68443） 全文： 内政部
克里斯特尔·拜尔；霍尔格·赫尔曼斯；Joost-Pieter卡托恩；维雷娜·沃尔夫 马尔可夫链的互模拟和模拟关系。 （英语） Zbl 1316.68085号 Aceto，Luca（编辑）等人，《代数过程计算论文》研讨会论文集（APC 25），意大利贝蒂诺罗，2005年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记162，73-78（2006）。MSC公司：68问题85 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，《电子》。注释Theor。计算。科学。162、73--78（2006年；Zbl 1316.68085） 全文： 内政部
克里斯特尔·拜尔；霍尔格·赫尔曼斯；Joost-Pieter卡托恩；Boudewijn R.哈维尔科特。 一致连续时间Markov决策过程中时间有界可达概率的有效计算。 （英语） 兹比尔1081.90066 西奥。计算。科学。 345，第1期，2-26（2005）.MSC公司：90立方厘米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Theor。计算。科学。345，编号1，2--26（2005；Zbl 1081.90066） 全文： 内政部 链接
克里斯特尔·拜尔；Joost-Pieter卡托恩；霍尔格·赫尔曼斯；维雷娜·沃尔夫 马尔可夫链的比较分支时间语义。 （英语） Zbl 1101.68053号 Inf.计算。 200，第2期，149-214（2005）.MSC公司：第68季度55 2010年第68季度 60年第68季度 60J10型 60J27型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，《信息计算》。200，第2号，149--214（2005；Zbl 1101.68053） 全文： 内政部 链接
塞勒姆德里萨维；霍尔格·赫尔曼斯；威廉·H·桑德斯。 马尔可夫链中的最优状态空间集总。 （英语） Zbl 1189.68039号 信息处理。莱特。 87，第6号，309-315（2003）.MSC公司：68页第10页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Derisavi}等人，《信息处理》。莱特。87，第6号，309--315（2003；Zbl 1189.68039） 全文： 内政部
霍尔格·赫尔曼斯；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；马库斯·西格尔 关于使用MTBDD进行随机系统的性能分析和验证。 （英语） Zbl 1054.68018号 J.日志。阿尔盖布。程序。 56，第1-2期，23-67（2003）.MSC公司：68平方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Hermanns}等人，J.Log。阿尔盖布。程序。56，编号1--2，23-67（2003；Zbl 1054.68018） 全文： 内政部
霍尔格·赫尔曼斯；乌尔里希·赫尔佐格；Joost-Pieter卡托恩 用于性能评估的进程代数。 （英语） Zbl 0992.68149号 西奥。计算。科学。 274，编号1-2，43-87（2002）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Hermanns}等人，Theor。计算。科学。274，编号1--2，43-87（2002；Zbl 0992.68149） 全文： 内政部