德克·拜尔;马蒂亚斯·丹格尔;菲利普·温德勒 更正为：“基于SMT的软件验证的统一观点”。 （英语） Zbl 1465.68043号 J.汽车。推理 65，第3号，461（2021）.MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛D.Beyer｝等人，J.Autom。推理65，No.3，461（2021；Zbl 1465.68043） 全文： 内政部 OA许可证
德克·拜尔;马蒂亚斯·丹格尔 PDR软件验证：最新技术的实现。 （英语） Zbl 1507.68178号 Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 3-21 (2020).MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}和\textit{M.Dangl}，莱克特。注释计算。科学。12078，3--21（2020；Zbl 1507.68178） 全文： 内政部 arXiv公司 OA许可证
德克·拜尔;马丁·斯皮塞尔 MetaVal：通过验证进行见证验证。 （英语） Zbl 1478.68145号 Lahiri、Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12225, 165-177 (2020).MSC公司：60年第68季度 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}和\textit{M.Spiessl}，莱克特。注释计算。科学。12225，165--177（2020；Zbl 1478.68145） 全文： 内政部 OA许可证
德克·拜尔（编辑）;玛丽克·赫斯曼（编辑） 2018年TACAS的精选和扩展论文：前言。 （英语） 兹比尔1468.68008 J.自动化。推理 第7号第64页，第1331-1332页（2020年）.MSC公司：68-06 第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}（编辑）和textit{M.Huisman}（主编），J.Autom。推理64，No.7，1331--1332（2020；Zbl 1468.68008） 全文： 内政部 OA许可证
德克·拜尔（编辑）;达米安·祖弗里（编辑） 验证、模型检查和抽象解释。第21届国际会议，VMCAI 2020，美国洛杉矶新奥尔良，2020年1月16-21日。诉讼程序。 （英语） Zbl 1429.68006号 计算机科学课堂讲稿11990.查姆：施普林格（ISBN 978-3-030-39321-2/pbk；978-3-0030-39322-9/电子书）。xiv，第471页。(2020).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}（编辑）和\textit{D.Zufferey}（编），验证，模型检查和抽象解释。第21届国际会议，VMCAI 2020，美国洛杉矶新奥尔良，2020年1月16-21日。诉讼程序。查姆：施普林格（2020；Zbl 1429.68006） 全文： 内政部
德克·拜尔（编辑）;香塔尔·凯勒（编辑） 测试和证明。2019年10月9日至11日，作为2019年第三届世界正式方法大会的一部分，在葡萄牙波尔图举行了第十三届国际会议，即2019年TAP。诉讼程序。 （英语） Zbl 1419.68005号 计算机科学课堂讲稿11823.查姆：施普林格（ISBN 978-3-030-31156-8/pbk；978-3-0030-31157-5/电子书）。x、 207页。(2019).MSC公司：68-06 60年第68季度 68伏15 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}（编辑）和\textit{C.Keller}（主编），测试和证明。2019年10月9日至11日，作为2019年第三届世界正式方法大会的一部分，在葡萄牙波尔图举行了第十三届国际会议，即2019年TAP。诉讼程序。查姆：施普林格（2019；Zbl 1419.68005） 全文： 内政部
德克·拜尔（编辑）;玛丽克·赫斯曼（编辑）;Fabrice Kordon公司（编辑）;伯恩哈德·斯特芬（编辑） 用于构建和分析系统的工具和算法。TACAS 25年：TOOLympics，作为ETAPS 2019的一部分，于2019年4月6日至11日在捷克共和国布拉格举行。诉讼程序。第三部分。 （英语） Zbl 1408.68008号 计算机科学课堂讲稿11429.查姆：施普林格（ISBN 978-3-030-17501-6/pbk；978-3-0030-17502-3/ebook）。第27、258页。(2019).MSC公司：68-06 第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}（ed.）等人，系统构建和分析的工具和算法。2019年4月6日至11日，作为ETAPS 2019的一部分，在捷克共和国布拉格举行了为期25年的TACAS:TOOLympics。诉讼程序。第三部分查姆：施普林格（2019；Zbl 1408.68008） 全文： 内政部
德克·拜尔;苏米特·古尔瓦尼;戴维·施密特（David A.Schmidt）。 结合模型检查和数据流分析。 （英语） Zbl 1392.68231号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。493-540 (2018).MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}等人，in：模型检查手册。查姆：斯普林格。493--540（2018；Zbl 1392.68231） 全文： 内政部
德克·拜尔（编辑）;玛丽克·赫斯曼（编辑） 用于构建和分析系统的工具和算法。2018年4月14日至20日在希腊塞萨洛尼基举行的第24届国际会议（TACAS 2018），是欧洲软件理论与实践联合会议（ETAPS 2018）的一部分。诉讼程序。第二部分。 （英语） Zbl 1408.68007号 计算机科学课堂讲稿10806.查姆：施普林格（ISBN 978-3-319-89962-6/pbk；978-3-3169-89963-3/电子书）。xx，465页。(2018).MSC公司：68-06 第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}（编辑）和textit{M.Huisman}（编），系统构建和分析的工具和算法。2018年4月14日至20日在希腊塞萨洛尼基举行的第24届国际会议（TACAS 2018），是欧洲软件理论与实践联合会议（ETAPS 2018）的一部分。诉讼程序。第二部分。查姆：斯普林格（2018；Zbl 1408.68007） 全文： 内政部
德克·拜尔（编辑）;玛丽克·赫斯曼（编辑） 用于构建和分析系统的工具和算法。2018年4月14日至20日在希腊塞萨洛尼基举行的第24届国际会议（TACAS 2018），是欧洲软件理论与实践联合会议（ETAPS 2018）的一部分。诉讼程序。第一部分。 （英语） Zbl 1408.68006号 计算机科学课堂讲稿10805.查姆：施普林格（ISBN 978-3-319-89959-6/pbk；978-3-3169-89960-2/电子书）。xx，429页。(2018).MSC公司：68-06 第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}（编辑）和textit{M.Huisman}（编），系统构建和分析的工具和算法。第24届国际会议，TACAS 2018，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2018，希腊塞萨洛尼基，2018年4月14日至20日。诉讼程序。第一部分：商会：施普林格（2018；Zbl 1408.68006） 全文： 内政部
德克·拜尔;马蒂亚斯·丹格尔;菲利普·温德勒 基于SMT的软件验证的统一观点。 （英语） Zbl 1426.68041号 J.汽车。推理 60，第3号，299-335（2018）; 更正同上，第65号，第3461（2021）。MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}等人，J.Autom。推理60，No.3，299--335（2018；Zbl 1426.68041） 全文： 内政部 OA许可证
德克·拜尔;安德烈亚斯·霍尔泽;迈克尔·陶奇尼格;赫尔穆特·维思 用于多目标可达性分析的信息重用。 （英语） Zbl 1381.68148号 Felleisen，Matthias（编辑）等人，《编程语言和系统》。2013年3月16日至24日，作为欧洲软件理论与实践联合会议的一部分，在意大利罗马举行了第22届欧洲编程研讨会（ESOP 2013）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37035-9/pbk）。计算机科学课堂讲稿7792，472-491（2013）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}等人，Lect。注释计算。科学。7792、472--491（2013年；Zbl 1381.68148） 全文： 内政部
德克·拜尔（编辑）;米歇尔·博雷尔（编辑） 分布式系统的形式化技术。IFIP WG 6.1联合国际会议，FMOODS/FORTE 2013，作为第八届分布式计算技术国际联合会议的一部分，DisCo Tec 2013，2013，6月3日至5日，意大利佛罗伦萨。诉讼程序。 （英语） 兹比尔1283.68029 计算机科学课堂讲稿7892.柏林：施普林格出版社（ISBN 978-3-642-38591-9/pbk）。xiii，第321页。(2013).MSC公司：68-06 64岁以下 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}（ed.）和\textit{M.Boreale}（edi.），分布式系统的形式化技术。2013年6月3日至5日在意大利佛罗伦萨举行的IFIP WG 6.1联合国际会议，FMOODS/FORTE 2013，作为第八届分布式计算技术国际联合会议的一部分。诉讼程序。柏林：施普林格出版社（2013；Zbl 1283.68029） 全文： 内政部
德克·拜尔;托马斯·亨辛格（Thomas A.Henzinger）。;鲁帕克·马朱姆达尔;安德烈·里巴尔琴科 组合理论的不变综合。 （英语） Zbl 1132.68333号 Cook，Byron（编辑）等人，《验证、模型检查和抽象解释》。2007年1月14日至16日在法国尼斯举行的2007年VMCAI第八届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69735-0/pbk）。计算机科学课堂讲稿4349378-394（2007）。MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}等人，Lect。注释计算。科学。4349，378--394（2007；Zbl 1132.68333） 全文： 内政部 链接
德克·拜尔;托马斯·亨辛格（Thomas A.Henzinger）。;格雷戈里·塞奥多洛兹 可配置软件验证：具体化模型检查和程序分析的收敛性。 （英语） Zbl 1135.68466号 Damm，Werner（编辑）等人，《计算机辅助验证》。第19届国际会议，CAV 2007，德国柏林，2007年7月3日至7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73367-6/pbk）。《计算机科学讲义》4590，504-518（2007）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}等人，Lect。注释计算。科学。4590、504--518（2007年；Zbl 1135.68466） 全文： 内政部
德克·拜尔;Adam J.Chlipala。;托马斯·亨辛格（Thomas A.Henzinger）。;兰吉特·贾拉;鲁帕克·马朱姆达尔 用于软件验证的Blast查询语言。 （英语） Zbl 1104.68408号 Giacobazzi，Roberto（编辑），静态分析。2004年8月26日至28日，第11届国际研讨会，SAS 2004，意大利维罗纳。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22791-1/pbk）。计算机科学讲义3148，2-18（2004）。MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}等人，Lect。注释计算。科学。3148，2--18（2004；Zbl 1104.68408） 全文： 内政部
德克·拜尔;安德烈亚斯·诺亚克 决策图能否克服实时验证中的状态空间爆炸？ （英语） Zbl 1279.68196号 König，Hartmut（ed.）等人，网络和分布式系统的形式化技术–FORTE 2003。2003年9月29日至10月2日在德国柏林举行的第23届IFIP WG 6.1国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20175-0/pbk）。莱克特。注释计算。科学。2767, 193-208 (2003).MSC公司：60年第68季度 68平方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛D.Beyer｝和\textit｛A.Noack｝，Lect。注释计算。科学。2767193-208（2003年；兹bl 1279.68196） 全文： 内政部
德克·拜尔 使用BDD对时间自动机进行有效的可达性分析和精化检查。 （英语） Zbl 1002.68513号 Margaria，Tiziana（编辑）等人，《正确的硬件设计和验证方法》。第11届IFIP WG 10.5高级研究工作会议，CHARME 2001，苏格兰利文斯顿，英国，2001年9月4-7日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2144, 86-91 (2001).MSC公司：60年第68季度 65年第68季度 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}，莱克特。注释计算。科学。2144，86-91（2001；Zbl 1002.68513） 全文： 链接
德克·拜尔 改进了基于BDD的时间自动机可达性分析。 （英语） Zbl 0977.68677号 Oliveira，JoséNuno（编辑）等，FME 2001：提高软件生产率的形式化方法。欧洲正式方法国际研讨会，德国柏林，2001年3月12日至16日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2021, 318-343 (2001).MSC公司：68单位99 68问题65 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}，莱克特。注释计算。科学。2021，318--343（2001；Zbl 0977.68677） 全文： 链接
德克·拜尔;克劳斯·勒伦茨;西蒙·弗兰克 继承对面向对象系统中大小、耦合和内聚度量的影响。 （英语） 兹伯利0977.68820 Dumke，Reiner（编辑）等人，软件测量中的新方法。2000年10月4日至6日，第10次国际研讨会，IWSM 2000，德国柏林。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2006, 1-17 (2001).MSC公司：68单位99 68号01 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}等人，Lect。注释计算。科学。2006年1月17日（2001年；Zbl 0977.68820） 全文： 链接