埃德蒙·克拉克（Edmund M.Clarke）。;托马斯·亨辛格（Thomas A.Henzinger）。;赫尔穆特·维思 模型检查简介。 （英语） Zbl 1392.68242号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1-26 (2018).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}等人，in：模型检查手册。查姆：斯普林格。1-26（2018；Zbl 1392.68242） 全文： 内政部
本杰明·阿米诺夫;托默·科特克;萨沙·鲁宾;弗朗西斯科·斯佩尼;赫尔穆特·维思 交会系统的参数化模型检查。 （英语） Zbl 1451.68165号 分布计算。 31，第3期，187-222（2018）.MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Aminof}等人，《分布计算》。31，第3号，187--222（2018；Zbl 1451.68165） 全文： 内政部
尼古拉斯·比舍尔;马丁·弗兰兹;安德烈亚斯·霍尔泽;赫尔穆特·维思;斯特凡·卡岑贝塞尔 关于编译为安全多方计算优化的布尔电路。 （英语） Zbl 1386.68020号 形式方法系统。设计。 51，第2号，308-331（2017）.MSC公司：68米14 68N20型 68第25页 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{N.Büscher}等人，《形式方法系统》。设计。51，编号2308-331（2017；兹bl 1386.68020） 全文： 内政部
伊戈尔·康诺夫;马里亚娜·拉齐奇;赫尔穆特·维思;约瑟夫·威德 \（\text{Para}^2）：参数化路径缩减、加速和SMT，用于阈值保护分布式算法中的可达性。 （英语） Zbl 1380.68279号 形式方法系统。设计。 51，第2期，270-307（2017）.MSC公司：60年第68季度 68米14 68米15 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{I.Konnov}等人，《形式方法系统》。设计。51，第2号，270--307（2017；Zbl 1380.68279） 全文： 内政部
尤利娅·德米扬诺娃;托马斯·帕尼;赫尔穆特·维思;弗洛里安·祖勒格 验证工具基准测试的经验软件度量。 （英语） Zbl 1360.68371号 形式方法系统。设计。 50，编号2-3，289-316（2017）.MSC公司：68N99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛Y.Demyanova｝等人，《表格方法系统》。设计。50、编号2--3、289--316（2017；Zbl 1360.68371） 全文： 内政部
伊戈尔·康诺夫;赫尔穆特·维思;约瑟夫·威德 基于阈值的分布式算法有界模型检查的完备性：可达性。 （英语） Zbl 1355.68176号 Inf.计算。 252, 95-109 (2017).MSC公司：60年第68季度 68米15 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{I.Konnov}等人，《信息计算》。252，95-109（2017年；兹bl 1355.68176） 全文： 内政部
伊戈尔·康诺夫;赫尔穆特·维思;约瑟夫·威德 关于容错分布式算法的模型检查，您一直想知道的是什么。 （英语） Zbl 1461.68115号 Mazzara，Manuel（编辑）等人，《系统信息学的观点》。2015年8月24日至27日，第十届安德烈·埃尔肖夫国际信息学会议，PSI 2015，纪念俄罗斯喀山和因诺波利斯的赫尔穆特·维思。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9609, 6-21 (2016).MSC公司：60年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{I.Konnov}等人，Lect。注释计算。科学。9609年6月21日（2016年；Zbl 1461.68115） 全文： 内政部 链接
阿努·格梅纳;伊戈尔·康诺夫;乌尔里希·施密德;赫尔穆特·维思;约瑟夫·威德 容错分布式算法的参数化模型检查教程。 （英语） Zbl 1445.68133号 Bernardo，Marco（编辑）等人，可执行软件模型的形式化方法。2014年6月16日至20日，第14届计算机、通信和软件系统设计正式方法国际学校，SFM 2014，意大利贝尔蒂诺罗。高级讲座。柏林：施普林格。莱克特。注释计算。科学。8483, 122-171 (2014).MSC公司：60年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{A.Gmeiner}等人，Lect。注释计算。科学。8483122--171（2014年；Zbl 1445.68133） 全文： 内政部
埃德蒙·克拉克;穆拉利·塔卢普尔;赫尔穆特·维思 证明托勒密的正确性：用于模型检查并发系统的环境抽象框架。 （英语） Zbl 1134.68403号 Ramakrishnan，C.R.（编辑）等人，《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008，是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78799-0/pbk）。计算机科学课堂讲稿4963，33-47（2008）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人，Lect。注释计算。科学。4963、33-47（2008年；Zbl 1134.68403） 全文： 内政部
马可·萨梅尔;赫尔穆特·维思 关于空洞真理的概念。 （英语） Zbl 1137.68438号 Dershowitz，Nachum（编辑）等人，《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。计算机科学课堂讲稿4790。人工智能课堂讲稿，2-14（2007）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Samer}和\textit{H.Veith}，莱克特。注释计算。科学。4790，2--14（2007；Zbl 1137.68438） 全文： 内政部