伯恩德·芬克贝纳;考希·马利克;诺埃米，传球;马尔特·施莱德朱夫斯基;安妮·凯瑟琳·施穆克 BOCoSy：小型但功能强大的符号输出反馈控制。 （英语） Zbl 07807732号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第24号论文，第11页（2022年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，in：第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周的一部分，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第24号论文，第11页（2022；Zbl 07807732） 全文： 内政部
科宁，诺琳;伯恩德·芬克贝纳;哈达尔·弗兰克尔;克里斯托弗·哈恩;尼古拉斯·梅茨格;朱利安·西伯 反应系统中的时间因果关系。 （英语） Zbl 1522.68304号 Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 208-224 (2022).MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Coenen}等人，Lect。注释计算。科学。13505208-224（2022；Zbl 1522.68304） 全文： 内政部
伯恩德·芬克贝纳;尼古拉斯·梅茨格;摩西，约拉姆 信息流引导合成。 （英语） Zbl 1514.68130号 Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13372, 505-525 (2022).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，Lect。注释计算。科学。13372、505--525（2022年；Zbl 1514.68130） 全文： 内政部 arXiv公司
科宁，诺琳;雷蒙·达赫塞特;伯恩德·芬克贝纳;哈达尔·弗兰克尔;克里斯托弗·哈恩;汤姆·霍拉克;尼古拉斯·梅茨格;朱利安·西伯 解释超属性违规。 （英语） Zbl 1514.68127号 Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13371, 407-429 (2022).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Coenen}等人，Lect。注释计算。科学。13371407--429（2022年；Zbl 1514.68127） 全文： 内政部 arXiv公司
拉文·贝特纳;伯恩德·芬克贝纳 超属性超安全的软件验证。 （英语） Zbl 1514.68122号 Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13371, 341-362 (2022).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Beutner}和\textit{B.Finkbeiner}，莱克特。注释计算。科学。13371、341--362（2022；Zbl 1514.68122） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳（编辑）;托马斯·怀斯（编辑） 验证、模型检查和抽象解释。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。 （英语） Zbl 1490.68015号 计算机科学课堂讲稿13182.查姆：施普林格（ISBN 978-3-030-94582-4/pbk；978-3-0030-94583-1/电子书）。x、 520页。(2022).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}（ed.）和\textit{T.Wies}（edi.），验证，模型检查和抽象解释。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16-18日。诉讼程序。查姆：施普林格（2022；Zbl 1490.68015） 全文： 内政部
乔尼·维特玛;贾娜·霍夫曼;伯恩德·芬克贝纳;朱哈·科廷宁;杨，范 具有团队语义的线性时间时序逻辑：表达性和复杂性。 （英语） Zbl 07799630号 Bojañczyk，Mikołaj（编辑）等人，第41届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2021，虚拟会议，2021年12月15日至17日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。213，第52条，第17页（2021年）。MSC公司：68号30 68季度xx PDF格式BibTeX公司 XML格式引用 \textit｛J.Virtema｝等人，LIPIcs——莱布尼茨国际期刊。通知。213，第52条，第17页（2021；Zbl 07799630） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳;诺埃米，传球 模块化系统的合成。 （英语） Zbl 1497.68300号 Hou，Zhe（编辑）等，验证和分析自动化技术。第19届国际研讨会，2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12971, 303-319 (2021).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}和\textit{N.Passing}，Lect。注释计算。科学。12971、303--319（2021；Zbl 1497.68300） 全文： 内政部 arXiv公司
科宁，诺琳;伯恩德·芬克贝纳;克里斯托弗·哈恩;贾娜·霍夫曼;扬尼克·希洛 超属性的运行时强制。 （英语） Zbl 1497.68291号 Hou，Zhe（编辑）等，验证和分析自动化技术。第19届国际研讨会，2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12971, 283-299 (2021).MSC公司：60年第68季度 03B44号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{N.Coenen}等人，Lect。注释计算。科学。12971、283--299（2021；Zbl 1497.68291） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳;费利克斯·克莱因;尼古拉斯·梅茨格 实时合成。 （英语） Zbl 1497.68299号 Hou，Zhe（编辑）等，验证和分析自动化技术。第19届国际研讨会，2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12971, 153-169 (2021).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，Lect。注释计算。科学。12971，153--169（2021；Zbl 1497.68299） 全文： 内政部 arXiv公司
拜尔，克里斯特尔;科宁，诺琳;伯恩德·芬克贝纳;弗洛里安·芬克;西蒙·扬奇;朱利安·西伯 基于因果关系的游戏解决。 （英语） 兹比尔1493.68203 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 894-917 (2021).MSC公司：60年第68季度 03B70号 91A05型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。12759894--917（2021年；Zbl 1493.68203） 全文： 内政部 arXiv公司
鲍迈斯特，简;科宁，诺琳;博尔祖·博纳克达尔普尔;伯恩德·芬克贝纳;塞萨尔·桑切斯 异步超属性的时态逻辑。 （英语） Zbl 1493.68205号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 694-717 (2021).MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Baumeister}等人，Lect。注释计算。科学。12759、694--717（2021年；Zbl 1493.68205） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳 超属性的模型检查算法（特邀论文）。 （英语） Zbl 1472.68088号 Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 3-16 (2021).MSC公司：60年第68季度 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}，莱克特。注释计算。科学。12597，3-16（2021；Zbl 1472.68088） 全文： 内政部 arXiv公司
雷娜·迪米特洛娃;伯恩德·芬克贝纳;托法、哈泽姆 马尔可夫决策过程的概率超性质。 （英语） Zbl 1517.68228号 Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。2020年10月19日至23日，第18届国际研讨会，2020年亚洲电视大奖赛，越南河内。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12302, 484-500 (2020).MSC公司：60年第68季度 03B44号 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Dimitrova}等人，Lect。注释计算。科学。12302484--500（2020年；Zbl 1517.68228） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳;诺埃米，传球 基于依赖的合成合成。 （英语） Zbl 1517.68234号 Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12302, 447-463 (2020).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}和\textit{N.Passing}，Lect。注释计算。科学。12302447--463（2020年；Zbl 1517.68234） 全文： 内政部 arXiv公司
汤姆·鲍迈斯特;伯恩德·芬克贝纳;托法、哈泽姆 可解释的反应合成。 （英语） Zbl 1517.68223号 Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12302, 413-428 (2020).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.Baumeister}等人，Lect。注释计算。科学。12302413--428（2020年；Zbl 1517.68223） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳;Manuel Gieseking先生;赫金·哈布什，杰斯科;奥尔德罗格（Ernst-Rüdiger Olderog） 带transits的Petri网上的模型检查分支属性。 （英语） Zbl 1517.68233号 Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。2020年10月19日至23日，第18届国际研讨会，2020年亚洲电视大奖赛，越南河内。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12302, 394-410 (2020).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，Lect。注释计算。科学。12302394--410（2020年；Zbl 1517.68233） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳;Manuel Gieseking先生;赫金·哈布什，杰斯科;奥尔德罗格（Ernst-Rüdiger Olderog） AdamMC公司：Petri网的模型检查器，带有针对Flow-LTL的传输。 （英语） Zbl 1478.68156号 Lahiri、Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12225, 64-76 (2020).MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，Lect。注释计算。科学。12225，64-76（2020；Zbl 1478.68156） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳;克里斯托弗·哈恩;贾娜·霍夫曼;Leander Tentrup公司 实现\（\omega\）-正则超属性。 （英语） Zbl 1478.68157号 Lahiri、Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12225，40-63（2020）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，Lect。注释计算。科学。12225，40-63（2020；Zbl 1478.68157） 全文： 内政部 arXiv公司
赫尔穆特·塞德尔;克里斯蒂安·米勒;伯恩德·芬克贝纳 如何赢得一级安全游戏。 （英语） Zbl 07228518号 Beyer，Dirk（编辑）等人，《验证、模型检查和抽象解释》。第21届国际会议，VMCAI 2020，美国洛杉矶新奥尔良，2020年1月16-21日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11990426-448（2020）中所述。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Seidl}等人，Lect。注释计算。科学。11990，426--448（2020；Zbl 07228518） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳;克里斯托弗·哈恩;菲利普·卢克特;马文·斯滕格;Leander Tentrup公司 超属性合成。 （英语） Zbl 1435.68194号 学报信息。 57，编号1-2，137-163（2020）.MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，《信息学报》57，第1--2137-163期（2020年；Zbl 1435.68194） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳;费利克斯·克莱因;鲁齐卡皮斯卡;马克·桑托卢西托 时间流逻辑：超越布尔的综合。 （英语） Zbl 07805557号 Dillig，Isil（编辑）等人，《计算机辅助验证》。2019年7月15日至18日在美国纽约州纽约市举行的第31届CAV 2019国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11561, 609-629 (2019).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，Lect。注释计算。科学。11561、609--629（2019；Zbl 07805557） 全文： 内政部 arXiv公司
雷娜·迪米特洛娃;伯恩德·芬克贝纳;托法、哈泽姆 为不可实现的规范综合近似实现。 （英语） Zbl 07805535号 Dillig，Isil（编辑）等人，《计算机辅助验证》。2019年7月15日至18日在美国纽约州纽约市举行的第31届CAV 2019国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11561, 241-258 (2019).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Dimitrova}等人，Lect。注释计算。科学。11561、241--258（2019；Zbl 07805535） 全文： 内政部 arXiv公司
科宁，诺琳;伯恩德·芬克贝纳;塞萨尔·桑切斯;Tentrup，Leander公司 验证超活性。 （英语） Zbl 07805529号 Dillig，Isil（编辑）等人，《计算机辅助验证》。2019年7月15日至18日在美国纽约州纽约市举行的第31届CAV 2019国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11561, 121-139 (2019).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit｛N.Coenen｝等人，Lect。注释计算。科学。11561121-139（2019年；Zbl 07805529） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳;Manuel Gieseking先生;赫金·哈布什，杰斯科;奥尔德罗格（Ernst-Rüdiger Olderog） 并发网络更新中的模型检查数据流。 （英语） Zbl 1437.68115号 Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781, 515-533 (2019).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，Lect。注释计算。科学。11781、515--533（2019年；Zbl 1437.68115） 全文： 内政部 arXiv公司
博尔祖·博纳克达尔普尔;伯恩德·芬克贝纳 超属性的程序修复。 （英语） Zbl 1437.68112号 Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781, 423-441 (2019).MSC公司：60年第68季度 03B44号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Bonakdarpour}和\textit{B.Finkbeiner}，莱克特。注释计算。科学。11781、423--441（2019年；Zbl 1437.68112） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳;克里斯托弗·哈恩;马文·斯滕格;Leander Tentrup公司 监控超属性。 （英语） Zbl 1425.68254号 形式方法系统。设计。 54，第3号，336-363（2019）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，《形式方法系统》。设计。54，第3号，336--363（2019；Zbl 1425.68254） 全文： 内政部 arXiv公司
卡斯滕，格尔斯塔克;费利克斯·克莱因;伯恩德·芬克贝纳 反应式程序的有界综合。 （英语） Zbl 1517.68236号 Lahiri，Shuvendu K.（编辑）等人，《验证和分析自动化技术》。第16届国际研讨会，2018年10月7日至10日，美国加利福尼亚州洛杉矶，ATVA 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11138, 441-457 (2018).MSC公司：60年第68季度 03B44号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Gerstacker}等人，莱克特。注释计算。科学。11138441--457（2018；Zbl 1517.68236） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳;克里斯托弗·哈恩;菲利普·卢克特;马文·斯滕格;Leander Tentrup公司 从超属性合成反应系统。 （英语） Zbl 1511.68153号 Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第一部分：查姆：斯普林格公开赛。莱克特。注释计算。科学。10981, 289-306 (2018).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，Lect。注释计算。科学。10981289--306（2018年；Zbl 1511.68153） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳;克里斯托弗·哈恩;托法、哈泽姆 模型检查定量超属性。 （英语） 兹比尔1511.68154 Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第一部分：查姆：斯普林格公开赛。莱克特。注释计算。科学。10981, 144-163 (2018).MSC公司：60年第68季度 03B44号 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，Lect。注释计算。科学。10981144-163（2018年；兹比尔1511.68154） 全文： 内政部 arXiv公司
吕迪格·埃勒斯;伯恩德·芬克贝纳 对称合成。 （英语） Zbl 1491.68109号 Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。93，第26条，第13页（2018年）。MSC公司：60年第68季度 2007年7月68日 64岁以下 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers}和\textit{B.Finkbeiner}，LIPIcs——莱布尼茨国际程序。通知。93，第26条，第13页（2018；Zbl 1491.68109） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳（编辑）;浦、葛光（编辑）;张丽君（编辑） ATVA 2015特刊前言。 （英语） Zbl 1408.68015号 学报信息。 55，第8号，625-626（2018）.MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}（编辑）等人，《学报》第55期，第8、625--626号（2018年；Zbl 1408.68015） 全文： 内政部
伯恩德·芬克贝纳;托法、哈泽姆 线性时间属性的密度。 （英语） Zbl 1495.68133号 D’Souza，Deepak（编辑）等人，用于验证和分析的自动化技术。2017年10月3日至6日在印度浦那举行的2017年第15届ATVA国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10482, 139-155 (2017).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}和\textit{H.Torfah}，莱克特。注释计算。科学。10482、139--155（2017年；Zbl 1495.68133） 全文： 内政部 arXiv公司
彼得·费蒙维尔;伯恩德·芬克贝纳;马库斯·拉贝。;Leander Tentrup公司 有界合成的编码。 （英语） Zbl 1452.68118号 Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205, 354-370 (2017).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Faymonville}等人，莱克特。注释计算。科学。10205、354--370（2017；Zbl 1452.68118） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳 时间超属性。 （英语） Zbl 1416.03013号 牛市。欧洲协会。计算。科学。EATCS公司 123, 150-170 (2017).MSC公司：03B70号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}，公牛。欧洲协会。计算。科学。EATCS 123、150--170（2017；Zbl 1416.03013） 全文： 链接
佩德罗·R·达吉尼奥。;吉尔·巴特;塞巴斯蒂安·比沃;伯恩德·芬克贝纳;霍尔格·赫尔曼斯 你的软件是毒品吗？对秘密“增强”程序的正式分析。 （英语） Zbl 1485.68059号 Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10201, 83-110 (2017).MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.R.D'Argenio}等人，莱克特。注释计算。科学。10201、83-110（2017；Zbl 1485.68059） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳;费利克斯·克莱因 有界循环综合。 （英语） Zbl 1411.68066号 Chaudhuri，Swarat（编辑）等人，《计算机辅助验证》。2016年7月17日至23日在加拿大安大略省多伦多举行的2016年CAV第28届国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。9779118-135（2016年）。MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}和\textit{F.Klein}，莱克特。注释计算。科学。97791118-135（2016年；兹比尔1411.68066） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳;托法、哈泽姆 反应系统的合成骨架。 （英语） 兹比尔1398.68342 Artho，Cyrille（编辑）等人，《用于验证和分析的自动化技术》。2016年10月17日至20日，第14届国际研讨会，ATVA 2016，日本千叶。诉讼程序。查姆：施普林格（ISBN 978-3-319-46519-7/pbk；978-3-3169-46520-3/电子书）。计算机科学讲义9938，271-286（2016）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}和\textit{H.Torfah}，莱克特。注释计算。科学。9938，271--286（2016；Zbl 1398.68342） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳;赫尔穆特·塞德尔;克里斯蒂安·米勒 在具有任意多个代理的工作流中指定和验证保密性。 （英语） Zbl 1398.68341号 Artho，Cyrille（编辑）等人，《用于验证和分析的自动化技术》。2016年10月17日至20日，第14届国际研讨会，ATVA 2016，日本千叶。诉讼程序。查姆：施普林格（ISBN 978-3-319-46519-7/pbk；978-3-3169-46520-3/电子书）。计算机科学讲义9938，157-173（2016）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，Lect。注释计算。科学。9938，157--173（2016；Zbl 1398.68341） 全文： 内政部
伯恩德·芬克贝纳;克里斯托弗·哈恩 决定超属性。 （英语） 兹比尔1392.68248 Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–莱布尼茨国际信息学学报59，第13条，第14页（2016年）。MSC公司：60年第68季度 03B44号 2005年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛B.Finkbeiner｝和\textit｛C.Hahn｝，LIPIcs——莱布尼茨国际期刊。通知。59，第13条，第14页（2016年；Zbl 1392.68248） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳;马库斯·拉贝。;塞萨尔·桑切斯 模型检查HyperLTL和HyperCTL的算法\（^*\）。 （英语） Zbl 1381.68161号 Kroening，Daniel（编辑）等人，《计算机辅助验证》。2015年7月18日至24日，第27届国际会议，CAV 2015，美国加利福尼亚州旧金山。诉讼程序。第一部分：商会：施普林格出版社（ISBN 978-3-319-21689-8/pbk；978-3-319-21690-4/ebook）。《计算机科学讲义》9206，30-48（2015）。MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，Lect。注释计算。科学。9206,30--48（2015；Zbl 1381.68161） 全文： 内政部
伯恩德·芬克贝纳;Leander Tentrup公司 检测分布式容错系统的不可实现性。 （英语） Zbl 1448.03018号 日志。方法计算。科学。 11，第3号，第12号论文，31页（2015）.MSC公司：03B70号 03B45号 03B44号 68米15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}和\textit{L.Tentrup}，日志。方法计算。科学。11，第3号，第12号论文，31页（2015；Zbl 1448.03018） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳（编辑）;浦、葛光（编辑）;张丽君（编辑） 用于验证和分析的自动化技术。第十三届国际研讨会，2015年10月12日至15日，中国上海，ATVA。诉讼程序。 （英语） Zbl 1325.68017号 计算机科学课堂讲稿9364.查姆：施普林格（ISBN 978-3-319-24952-0/pbk；978-3-3169-24953-7/电子书）。xiii，第520页。(2015).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛B.Finkbeiner｝（编辑）等人，用于验证和分析的自动化技术。第十三届国际研讨会，2015年10月12-15日，中国上海，ATVA。诉讼程序。查姆：斯普林格（2015；Zbl 1325.68017） 全文： 内政部
彼得·费蒙维尔;伯恩德·芬克贝纳;多龙·贝利德 监测参数时间逻辑。 （英语） Zbl 1428.68184号 McMillan，Kenneth L.（编辑）等人，《验证、模型检查和抽象解释》。2014年1月19日至21日，第15届国际会议，VMCAI 2014，美国加利福尼亚州圣地亚哥。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8318, 357-375 (2014).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Faymonville}等人，莱克特。注释计算。科学。8318，357--375（2014；Zbl 1428.68184） 全文： 内政部
伯恩德·芬克贝纳;托法、哈泽姆 线性时间逻辑的计数模型。 （英语） Zbl 1407.68288号 Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2014年3月10日至14日在西班牙马德里举行的2014年拉丁美洲旅游协会第八届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8370, 360-371 (2014).MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}和\textit{H.Torfah}，莱克特。注释计算。科学。8370、360-371（2014年；Zbl 1407.68288） 全文： 内政部
安德烈·库普里扬诺夫;伯恩德·芬克贝纳 基于因果关系的多线程程序验证。 （英语） Zbl 1390.68187号 D'Argenio，Pedro R.（编辑）等，CONCUR 2013–并发理论。第24届国际会议，CONCUR 2013，阿根廷布宜诺斯艾利斯，2013年8月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40183-1/pbk）。计算机科学课堂讲稿8052257-272（2013）。MSC公司：68号30 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Kupriyanov}和\textit{B.Finkbeiner}，莱克特。注释计算。科学。8052、257--272（2013；Zbl 1390.68187） 全文： 内政部
拉尔斯·库茨;伯恩德·芬克贝纳 具有过去和边界的线性时间时序逻辑的高效并行路径检查。 （英语） Zbl 1253.68221号 日志。方法计算。科学。 8，第4号，第10号论文，24页（2012年）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Kuhtz}和\textit{B.Finkbeiner}，日志。方法计算。科学。8，第4号，第10号论文，24页（2012；Zbl 1253.68221） 全文： 内政部 arXiv公司
伯恩德·芬克贝纳;汉斯·约格·彼得 基于模板的定时系统控制器综合。 （英语） Zbl 1352.68128号 Flanagan，Cormac（编辑）等人，《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议（TACAS 2012），是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28755-8/pbk）。计算机科学课堂讲稿7214，392-406（2012）。MSC公司：65年第68季度 60年第68季度 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}和\textit{H.-J.Peter}，莱克特。注释计算。科学。7214，392--406（2012；Zbl 1352.68128） 全文： 内政部
伯恩德·芬克贝纳;瑞典雅各布斯 惰性合成。 （英语） Zbl 1326.68183号 Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。第13届国际会议，2012年VMCAI，美国宾夕法尼亚州费城，2012年1月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148219-234（2012）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛B.Finkbeiner｝和\textit｛S.Jacobs｝，Lect。注释计算。科学。7148219--234（2012；Zbl 1326.68183） 全文： 内政部
雷娜·迪米特洛娃;伯恩德·芬克贝纳;马塞·科瓦奇;马库斯·拉贝。;赫尔穆特·塞德尔 反应系统中的模型检查信息流。 （英语） Zbl 1326.68182号 Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。第13届国际会议，2012年VMCAI，美国宾夕法尼亚州费城，2012年1月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学课堂讲稿7148169-185（2012）。MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Dimitrova}等人，Lect。注释计算。科学。7148169--185（2012年；Zbl 1326.68182） 全文： 内政部 链接
吕迪格·埃勒斯;伯恩德·芬克贝纳 反应安全。 （英语） Zbl 1457.68163号 D'Agostino，Giovanna（编辑）等人，第二届游戏、自动机、逻辑和形式验证国际研讨会，意大利Minori，2011年6月15日至17日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）54，178-191（2011）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers}和\textit{B.Finkbeiner}，电子。程序。西奥。计算。科学。（EPTCS）54，178--191（2011；Zbl 1457.68163） 全文： arXiv公司 链接
拉尔斯·库茨;伯恩德·芬克贝纳 弱Kripke结构和LTL。 （英语） Zbl 1343.68155号 Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901419-433（2011）。MSC公司：60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Kuhtz}和\textit{B.Finkbeiner}，莱克特。注释计算。科学。6901419--433（2011；Zbl 1343.68155） 全文： 内政部
雷娜·迪米特洛娃;伯恩德·芬克贝纳 容错分布式系统的综合。 （英语） Zbl 1262.68116号 刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799，321-336（2009）。MSC公司：60年第68季度 64岁以下 68米15 PDF格式BibTeX公司 XML格式引用 \textit｛R.Dimitrova｝和\textit｛B.Finkbeiner｝，Lect。注释计算。科学。5799、321--336（2009年；Zbl 1262.68116） 全文： 内政部 链接
拉尔斯·库茨;伯恩德·芬克贝纳 LTL路径检查是可高效并行的。 （英语） Zbl 1248.68252号 Albers，Susanne（编辑）等人，《自动化，语言和编程》。2009年7月5日至12日，第36届国际学术讨论会，ICALP 2009，希腊罗兹。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-02929-5/pbk）。计算机科学课堂讲稿5556235-246（2009）。MSC公司：65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Kuhtz}和\textit{B.Finkbeiner}，莱克特。注释计算。科学。5556235-246（2009年；Zbl 1248.68252） 全文： 内政部
雷娜·迪米特洛娃;伯恩德·芬克贝纳 不完全信息博弈的抽象精化。 （英语） Zbl 1248.68327号 Hariharan，Ramesh（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2008），2008年12月9日至11日，印度班加罗尔。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-08-8）。LIPIcs–莱布尼茨国际信息学论文集2，175-186，仅电子版（2008）。MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Dimitrova}和\textit{B.Finkbeiner}，LIPIcs——莱布尼茨国际程序。通知。2175--186（2008年；Zbl 1248.68327） 全文： 内政部 链接
英戈·布吕克纳;克劳斯·阿格博士;伯恩德·芬克贝纳;海克·卫尔海姆 切片抽象。 （英语） 兹比尔1154.68079 芬丹。通知。 89，第4号，369-392（2008）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Brückner}等人，Fundam。通知。89，第4号，369--392（2008；Zbl 1154.68079）
斯文·舍韦;伯恩德·芬克贝纳 有限合成。 （英语） Zbl 1141.68491号 Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762474-488（2007）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Schewe}和\textit{B.Finkbeiner}，莱克特。注释计算。科学。4762、474--488（2007年；Zbl 1141.68491） 全文： 内政部
斯文·舍韦;伯恩德·芬克贝纳 交替时间逻辑的分布式综合。 （英语） Zbl 1141.68516号 Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762268-283（2007）。MSC公司：68问题85 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Schewe}和\textit{B.Finkbeiner}，莱克特。注释计算。科学。4762、268--283（2007年；Zbl 1141.68516） 全文： 内政部
因戈Brückner;克劳斯·阿格博士;伯恩德·芬克贝纳;海克·卫尔海姆 切片抽象。 （英语） Zbl 1141.68457号 Arbab，Farhad（编辑）等人，软件工程基础国际研讨会。国际研讨会，FSEN 2007，伊朗德黑兰，2007年4月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75697-2/pbk）。《计算机科学讲义》4767，17-32（2007）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Brückner}等人，Lect。注释计算。科学。4767，17-32（2007年；兹bl 1141.68457） 全文： 内政部
斯文·舍韦;伯恩德·芬克贝纳 异步系统的合成。 （英语） Zbl 1196.68142号 Puebla，Germanán（编辑），基于逻辑的程序合成和转换。2006年7月12日至14日在意大利威尼斯举行的2006年LOPSTR第16届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-71409-5/pbk）。计算机科学课堂讲稿4407127-142（2007）。MSC公司：60年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Schewe}和\textit{B.Finkbeiner}，莱克特。注释计算。科学。4407、127--142（2007年；Zbl 1196.68142） 全文： 内政部
斯文·舍韦;伯恩德·芬克贝纳 半自动分布式合成。 （英语） Zbl 1112.68095号 发现的国际期刊。计算。科学。 18，第1期，113-138（2007）.MSC公司：60年第68季度 03B44号 64岁以下 2017年第68季度 65年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Schewe}和\textit{B.Finkbeiner}，国际期刊发现。计算。科学。18，第113-138号（2007年；兹bl 1112.68095） 全文： 内政部
斯文·舍韦;伯恩德·芬克贝纳 交替时间演算的可满足性和有限模型性质。 （英语） Zbl 1225.68124号 埃西克，佐尔坦（编辑），《计算机科学逻辑》。2006年9月25日至29日在匈牙利塞格德举行的第20届CSL国际研讨会，第15届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-45458-8/pbk）。《计算机科学讲义》42071991-605（2006）。MSC公司：60年第68季度 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit｛S.Schewe｝和\textit｛B.Finkbeiner｝，Lect。注释计算。科学。4207、591--605（2006；Zbl 1225.68124） 全文： 内政部
伯恩德·芬克贝纳;斯文·舍韦;马蒂亚斯·布里尔 自动合成合成模型检查的假设。 （英语） Zbl 1225.68115号 Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学课堂讲稿4229143-158（2006）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，Lect。注释计算。科学。4229143-158（2006年；Zbl 1225.68115） 全文： 内政部
克劳斯·阿格博士;伯恩德·芬克贝纳;安德烈亚斯·波德尔斯基 使用距离表示抽象进行定向模型检查。 （英语） Zbl 1178.68338号 Valmari，Antti（编辑），模型检查软件。第十三届国际SPIN研讨会，奥地利维也纳，2006年3月30日至4月1日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33102-6/pbk）。计算机科学课堂讲稿3925，19-34（2006）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Dräger}等人，Lect。注释计算。科学。3925、19-34（2006年；Zbl 1178.68338） 全文： 内政部
伯恩德·芬克贝纳;斯文·舍韦 半自动分布式合成。 （英语） Zbl 1170.68539号 Peled，Doron A.（编辑）等人，《验证和分析自动化技术》。2005年10月4日至7日，第三届国际研讨会，ATVA 2005，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29209-8/pbk）。计算机科学课堂讲稿3707，263-277（2005）。MSC公司：68问题85 65年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}和\textit{S.Schewe}，Lect。注释计算。科学。3707263-277（2005年；Zbl 1170.68539） 全文： 内政部
伯恩德·芬克贝纳;桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。 收集运行时执行的统计信息。 （英语） Zbl 1083.68068号 形式方法系统。设计。 27，第3期，253-274页（2005年）.MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，《形式方法系统》。设计。27，第3号，253--274（2005；Zbl 1083.68068） 全文： 内政部
伯恩德·芬克贝纳;亨尼·西普玛 使用交替自动机检查有限记录道。 （英语） Zbl 1073.68053号 形式方法系统。设计。 24，第2期，101-127（2004）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}和\textit{H.Sipma}，《形式方法系统》。设计。24，第2号，101--127（2004；Zbl 1073.68053） 全文： 内政部
伯恩德·芬克贝纳 使用非确定性BDD进行语言包含检查。 （英语） Zbl 0978.68093号 Margaria，Tiziana（编辑）等，系统构建和分析的工具和算法。2001年4月2日至6日在意大利热那瓦举行的第七届国际会议TACAS 2001，是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2031, 24-38 (2001).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}，莱克特。注释计算。科学。2031年，24日至38日（2001年；Zbl 0978.68093） 全文： 链接