伯恩德·芬克贝纳;考希·马利克;诺埃米,传球;马尔特·施莱德朱夫斯基;安妮·凯瑟琳·施穆克 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) 全文: 链接