达里尔·斯图尔特（编辑）；乔治·威森巴赫（编辑） 2017年计算机辅助设计正式方法会议特刊前言。 （英语） Zbl 1522.68042号 形式方法系统。设计。 57，编号3，303-304（2021）.MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Stewart}（编辑）和\textit{G.Weissenbacher}（编），《形式方法系统》。设计。57、3号、303--304（2021；Zbl 1522.68042） 全文： 内政部
托马斯·帕尼；乔治·威森巴赫；弗洛里安·祖勒格 参数化并发共享内存程序的可靠性保证界分析。应用于证明非阻塞算法是有界无锁的。 （英语） Zbl 1522.68161号 形式方法系统。设计。 57，第2期，270-302（2021）.MSC公司：68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Pani}等人，《形式方法系统》。设计。57，编号270-302（2021；兹bl 1522.68161） 全文： 内政部
亨宁·Günther；阿尔芬斯·拉阿尔曼；安娜·索科洛娃；乔治·威森巴赫 模型检查并发软件的动态缩减。 （英语） Zbl 1484.68102号 Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10145, 246-265 (2017).MSC公司：60年第68季度 68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{H.Günther}等人，Lect。票据计算。科学。10145246--265（2017；Zbl 1484.68102） 全文： 内政部 arXiv公司
Mitra Tabaei Befrouei；王超；乔治·威森巴赫 抽象和挖掘跟踪以解释并发错误。 （英语） Zbl 1380.68107号 形式方法系统。设计。 49，编号1-2，1-32（2016）.MSC公司：68甲19 68问题85 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Tabaei Befrouei}等人，《形式方法系统》。设计。49，编号1--2，1--32（2016；Zbl 1380.68107） 全文： 内政部
马蒂亚斯·施莱普费尔；乔治·威森巴赫 超分辨率、子句和局部证明的标记插值系统。 （英语） Zbl 1356.68199号 J.汽车。推理 57，第1期，3-36（2016）.MSC公司：68吨15 03B35型 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{M.Schlaipfer}和\textit{G.Weissenbacher}，J.Autom。推理57，No.1，3--36（2016；Zbl 1356.68199） 全文： 内政部
丹尼尔·克罗宁；马特·刘易斯；乔治·威森巴赫 使用跟踪自动机和有界模型检查证明安全性。 （英语） Zbl 1427.68047号 Björner，Nikolaj（编辑）等人，FM 2015：形式方法。第20届国际研讨会，挪威奥斯陆，2015年6月24-26日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9109, 325-341 (2015).MSC公司：68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}等人，Lect。票据计算。科学。9109325--341（2015；Zbl 1427.68047） 全文： 内政部 arXiv公司
安吉洛·布里洛特；何楠楠；米歇尔·马祖奇；丹尼尔·克罗宁；米特拉·普兰达尔；菲利普·吕默；乔治·威森巴赫 Simulink模型基于变异的测试用例生成。 （英语） Zbl 1312.68130号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第八届国际研讨会，2009年FMCO，荷兰埃因霍温，2009年11月4-6日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17070-6/pbk）。计算机科学课堂讲稿6286208-227（2010）。MSC公司：60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Brillout}等人，Lect。票据计算。科学。6286208--227（2010年；Zbl 1312.68130） 全文： 内政部
丹尼尔·克罗宁；乔治·威森巴赫 使用谓词抽象对带有循环的程序进行验证和证伪。 （英语） Zbl 1215.68130号 正式Asp。计算。 22，第2期，105-128（2010）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}和\textit{G.Weissenbacher}，正式Asp。计算。22，第2号，第105-128条（2010；Zbl 1215.68130） 全文： 内政部 哈尔