Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Bernd Finkbeiner
@inproceedings{DBLP:conf/aaai/BeutnerF24, author = {Raven Beutner and Bernd Finkbeiner}, editor = {Michael J. Wooldridge and Jennifer G. Dy and Sriraam Natarajan}, title = {On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing}, booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI} 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver, Canada}, pages = {17317--17326}, publisher = {{AAAI} Press}, year = {2024}, url = {https://doi.org/10.1609/aaai.v38i16.29679}, doi = {10.1609/AAAI.V38I16.29679}, timestamp = {Tue, 02 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/BeutnerF24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tacas/2024-1, editor = {Bernd Finkbeiner and Laura Kov{\'{a}}cs}, title = {Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, {TACAS} 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {14570}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57246-3}, doi = {10.1007/978-3-031-57246-3}, isbn = {978-3-031-57245-6}, timestamp = {Sun, 14 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/2024-1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tacas/2024-2, editor = {Bernd Finkbeiner and Laura Kov{\'{a}}cs}, title = {Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, {TACAS} 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {14571}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57249-4}, doi = {10.1007/978-3-031-57249-4}, isbn = {978-3-031-57248-7}, timestamp = {Sun, 14 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/2024-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tacas/2024-3, editor = {Bernd Finkbeiner and Laura Kov{\'{a}}cs}, title = {Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, {TACAS} 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part {III}}, series = {Lecture Notes in Computer Science}, volume = {14572}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-57256-2}, doi = {10.1007/978-3-031-57256-2}, isbn = {978-3-031-57255-5}, timestamp = {Sun, 14 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/2024-3.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2402-08365, author = {Mohamed Ghanem and Frederik Schmitt and Julian Siber and Bernd Finkbeiner}, title = {NeuRes: Learning Proofs of Propositional Satisfiability}, journal = {CoRR}, volume = {abs/2402.08365}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2402.08365}, doi = {10.48550/ARXIV.2402.08365}, eprinttype = {arXiv}, eprint = {2402.08365}, timestamp = {Mon, 19 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-08365.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2403-13741, author = {Raven Beutner and Bernd Finkbeiner}, title = {Hyper Strategy Logic}, journal = {CoRR}, volume = {abs/2403.13741}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2403.13741}, doi = {10.48550/ARXIV.2403.13741}, eprinttype = {arXiv}, eprint = {2403.13741}, timestamp = {Mon, 08 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2403-13741.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isse/FinkbeinerGP23, author = {Bernd Finkbeiner and Gideon Geier and Noemi Passing}, title = {Specification decomposition for reactive synthesis}, journal = {Innov. Syst. Softw. Eng.}, volume = {19}, number = {4}, pages = {339--357}, year = {2023}, url = {https://doi.org/10.1007/s11334-022-00462-6}, doi = {10.1007/S11334-022-00462-6}, timestamp = {Tue, 28 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/isse/FinkbeinerGP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/BeutnerF23, author = {Raven Beutner and Bernd Finkbeiner}, title = {HyperATL*: {A} Logic for Hyperproperties in Multi-Agent Systems}, journal = {Log. Methods Comput. Sci.}, volume = {19}, number = {2}, year = {2023}, url = {https://doi.org/10.46298/lmcs-19(2:13)2023}, doi = {10.46298/LMCS-19(2:13)2023}, timestamp = {Wed, 21 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/BeutnerF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/siglog/Finkbeiner23, author = {Bernd Finkbeiner}, title = {Logics and Algorithms for Hyperproperties}, journal = {{ACM} {SIGLOG} News}, volume = {10}, number = {2}, pages = {4--23}, year = {2023}, url = {https://doi.org/10.1145/3610392.3610394}, doi = {10.1145/3610392.3610394}, timestamp = {Tue, 08 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siglog/Finkbeiner23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/BiewerFHKSS23, author = {Sebastian Biewer and Bernd Finkbeiner and Holger Hermanns and Maximilian A. K{\"{o}}hl and Yannik Schnitzer and Maximilian Schwenger}, title = {On the road with RTLola}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {25}, number = {2}, pages = {205--218}, year = {2023}, url = {https://doi.org/10.1007/s10009-022-00689-5}, doi = {10.1007/S10009-022-00689-5}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/BiewerFHKSS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/BaumeisterDFS23, author = {Jan Baumeister and Johann C. Dauer and Bernd Finkbeiner and Sebastian Schirmer}, title = {Monitoring with verified guarantees}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {25}, number = {4}, pages = {593--616}, year = {2023}, url = {https://doi.org/10.1007/s10009-023-00712-3}, doi = {10.1007/S10009-023-00712-3}, timestamp = {Tue, 21 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sttt/BaumeisterDFS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/FinkbeinerHKP23, author = {Bernd Finkbeiner and Jana Hofmann and Florian Kohn and Noemi Passing}, editor = {{\'{E}}tienne Andr{\'{e}} and Jun Sun}, title = {Reactive Synthesis of Smart Contract Control Flows}, booktitle = {Automated Technology for Verification and Analysis - 21st International Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {14215}, pages = {248--269}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-45329-8\_12}, doi = {10.1007/978-3-031-45329-8\_12}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/FinkbeinerHKP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/FinkbeinerKS23, author = {Bernd Finkbeiner and Florian Kohn and Malte Schledjewski}, editor = {{\'{E}}tienne Andr{\'{e}} and Jun Sun}, title = {Leveraging Static Analysis: An {IDE} for RTLola}, booktitle = {Automated Technology for Verification and Analysis - 21st International Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {14216}, pages = {251--262}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-45332-8\_13}, doi = {10.1007/978-3-031-45332-8\_13}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/FinkbeinerKS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/BeutnerFFS23, author = {Raven Beutner and Bernd Finkbeiner and Hadar Frenkel and Julian Siber}, editor = {{\'{E}}tienne Andr{\'{e}} and Jun Sun}, title = {Checking and Sketching Causes on Temporal Sequences}, booktitle = {Automated Technology for Verification and Analysis - 21st International Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {14216}, pages = {314--327}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-45332-8\_18}, doi = {10.1007/978-3-031-45332-8\_18}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/BeutnerFFS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/FinkbeinerO23, author = {Bernd Finkbeiner and Ernst{-}R{\"{u}}diger Olderog}, editor = {Jonathan P. Bowen and Qin Li and Qiwen Xu}, title = {Concurrent Hyperproperties}, booktitle = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday}, series = {Lecture Notes in Computer Science}, volume = {14080}, pages = {211--231}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40436-8\_8}, doi = {10.1007/978-3-031-40436-8\_8}, timestamp = {Wed, 01 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/birthday/FinkbeinerO23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BeutnerFFM23, author = {Raven Beutner and Bernd Finkbeiner and Hadar Frenkel and Niklas Metzger}, editor = {Constantin Enea and Akash Lal}, title = {Second-Order Hyperproperties}, booktitle = {Computer Aided Verification - 35th International Conference, {CAV} 2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {13965}, pages = {309--332}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-37703-7\_15}, doi = {10.1007/978-3-031-37703-7\_15}, timestamp = {Tue, 12 Sep 2023 07:57:21 +0200}, biburl = {https://dblp.org/rec/conf/cav/BeutnerFFM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/CoenenFHT23, author = {Norine Coenen and Bernd Finkbeiner and Jana Hofmann and Julia J. Tillman}, title = {Smart Contract Synthesis Modulo Hyperproperties}, booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik, Croatia, July 10-14, 2023}, pages = {276--291}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/CSF57540.2023.00006}, doi = {10.1109/CSF57540.2023.00006}, timestamp = {Tue, 05 Sep 2023 20:33:27 +0200}, biburl = {https://dblp.org/rec/conf/csfw/CoenenFHT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclr/CoslerSHF23, author = {Matthias Cosler and Frederik Schmitt and Christopher Hahn and Bernd Finkbeiner}, title = {Iterative Circuit Repair Against Formal Specifications}, booktitle = {The Eleventh International Conference on Learning Representations, {ICLR} 2023, Kigali, Rwanda, May 1-5, 2023}, publisher = {OpenReview.net}, year = {2023}, url = {https://openreview.net/pdf?id=SEcSahl0Ql}, timestamp = {Fri, 30 Jun 2023 14:38:38 +0200}, biburl = {https://dblp.org/rec/conf/iclr/CoslerSHF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BeutnerF23, author = {Raven Beutner and Bernd Finkbeiner}, editor = {Ruzica Piskac and Andrei Voronkov}, title = {Model Checking Omega-Regular Hyperproperties with AutoHyperQ}, booktitle = {{LPAR} 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023}, series = {EPiC Series in Computing}, volume = {94}, pages = {23--35}, publisher = {EasyChair}, year = {2023}, url = {https://doi.org/10.29007/1xjt}, doi = {10.29007/1XJT}, timestamp = {Wed, 12 Jul 2023 16:50:32 +0200}, biburl = {https://dblp.org/rec/conf/lpar/BeutnerF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/FinkbeinerS23, author = {Bernd Finkbeiner and Julian Siber}, editor = {Ruzica Piskac and Andrei Voronkov}, title = {Counterfactuals Modulo Temporal Logics}, booktitle = {{LPAR} 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023}, series = {EPiC Series in Computing}, volume = {94}, pages = {181--204}, publisher = {EasyChair}, year = {2023}, url = {https://doi.org/10.29007/qtw7}, doi = {10.29007/QTW7}, timestamp = {Wed, 12 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/FinkbeinerS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/FinkbeinerFHL23, author = {Bernd Finkbeiner and Hadar Frenkel and Jana Hofmann and Janine Lohse}, editor = {Kristin Yvonne Rozier and Swarat Chaudhuri}, title = {Automata-Based Software Model Checking of Hyperproperties}, booktitle = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023, Houston, TX, USA, May 16-18, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13903}, pages = {361--379}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33170-1\_22}, doi = {10.1007/978-3-031-33170-1\_22}, timestamp = {Fri, 07 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/nfm/FinkbeinerFHL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/HsuBFS23, author = {Tzu{-}Han Hsu and Borzoo Bonakdarpour and Bernd Finkbeiner and C{\'{e}}sar S{\'{a}}nchez}, editor = {Sriram Sankaranarayanan and Natasha Sharygina}, title = {Bounded Model Checking for Asynchronous Hyperproperties}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, {TACAS} 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {13993}, pages = {29--46}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-30823-9\_2}, doi = {10.1007/978-3-031-30823-9\_2}, timestamp = {Wed, 17 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/HsuBFS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/BeutnerF23, author = {Raven Beutner and Bernd Finkbeiner}, editor = {Sriram Sankaranarayanan and Natasha Sharygina}, title = {AutoHyper: Explicit-State Model Checking for HyperLTL}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, {TACAS} 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {13993}, pages = {145--163}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-30823-9\_8}, doi = {10.1007/978-3-031-30823-9\_8}, timestamp = {Wed, 17 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/BeutnerF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2301-07208, author = {Tzu{-}Han Hsu and Borzoo Bonakdarpour and Bernd Finkbeiner and C{\'{e}}sar S{\'{a}}nchez}, title = {Bounded Model Checking for Asynchronous Hyperproperties}, journal = {CoRR}, volume = {abs/2301.07208}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2301.07208}, doi = {10.48550/ARXIV.2301.07208}, eprinttype = {arXiv}, eprint = {2301.07208}, timestamp = {Thu, 19 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2301-07208.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2301-11229, author = {Raven Beutner and Bernd Finkbeiner}, title = {AutoHyper: Explicit-State Model Checking for HyperLTL}, journal = {CoRR}, volume = {abs/2301.11229}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2301.11229}, doi = {10.48550/ARXIV.2301.11229}, eprinttype = {arXiv}, eprint = {2301.11229}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2301-11229.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2303-01158, author = {Matthias Cosler and Frederik Schmitt and Christopher Hahn and Bernd Finkbeiner}, title = {Iterative Circuit Repair Against Formal Specifications}, journal = {CoRR}, volume = {abs/2303.01158}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2303.01158}, doi = {10.48550/ARXIV.2303.01158}, eprinttype = {arXiv}, eprint = {2303.01158}, timestamp = {Mon, 06 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2303-01158.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2303-14796, author = {Bernd Finkbeiner and Hadar Frenkel and Jana Hofmann and Janine Lohse}, title = {Automata-Based Software Model Checking of Hyperproperties}, journal = {CoRR}, volume = {abs/2303.14796}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2303.14796}, doi = {10.48550/ARXIV.2303.14796}, eprinttype = {arXiv}, eprint = {2303.14796}, timestamp = {Fri, 14 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2303-14796.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-17935, author = {Raven Beutner and Bernd Finkbeiner and Hadar Frenkel and Niklas Metzger}, title = {Second-Order Hyperproperties}, journal = {CoRR}, volume = {abs/2305.17935}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.17935}, doi = {10.48550/ARXIV.2305.17935}, eprinttype = {arXiv}, eprint = {2305.17935}, timestamp = {Wed, 07 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-17935.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2306-08916, author = {Bernd Finkbeiner and Julian Siber}, title = {Counterfactuals Modulo Temporal Logics}, journal = {CoRR}, volume = {abs/2306.08916}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2306.08916}, doi = {10.48550/ARXIV.2306.08916}, eprinttype = {arXiv}, eprint = {2306.08916}, timestamp = {Sun, 18 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2306-08916.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2310-00705, author = {Bernd Finkbeiner and Ernst{-}R{\"{u}}diger Olderog}, title = {Concurrent Hyperproperties}, journal = {CoRR}, volume = {abs/2310.00705}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2310.00705}, doi = {10.48550/ARXIV.2310.00705}, eprinttype = {arXiv}, eprint = {2310.00705}, timestamp = {Wed, 18 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2310-00705.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2311-08096, author = {Bernd Finkbeiner and Florian Kohn and Malte Schledjewski}, title = {Leveraging Static Analysis: An {IDE} for RTLola}, journal = {CoRR}, volume = {abs/2311.08096}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2311.08096}, doi = {10.48550/ARXIV.2311.08096}, eprinttype = {arXiv}, eprint = {2311.08096}, timestamp = {Tue, 21 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2311-08096.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2312-12403, author = {Raven Beutner and Bernd Finkbeiner}, title = {On Alternating-time Temporal Logic, Hyperproperties, and Strategy Sharing}, journal = {CoRR}, volume = {abs/2312.12403}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2312.12403}, doi = {10.48550/ARXIV.2312.12403}, eprinttype = {arXiv}, eprint = {2312.12403}, timestamp = {Wed, 17 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2312-12403.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/FijalkowF0PM23, author = {Nathana{\"{e}}l Fijalkow and Bernd Finkbeiner and Guillermo A. P{\'{e}}rez and Elizabeth Polgreen and R{\'{e}}mi Morvan}, title = {The Futures of Reactive Synthesis (Dagstuhl Seminar 23391)}, journal = {Dagstuhl Reports}, volume = {13}, number = {9}, pages = {166--184}, year = {2023}, url = {https://doi.org/10.4230/DagRep.13.9.166}, doi = {10.4230/DAGREP.13.9.166}, timestamp = {Tue, 02 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dagstuhl-reports/FijalkowF0PM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/algorithms/FinkbeinerFKK22, author = {Bernd Finkbeiner and Martin Fr{\"{a}}nzle and Florian Kohn and Paul Kr{\"{o}}ger}, title = {A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation}, journal = {Algorithms}, volume = {15}, number = {4}, pages = {126}, year = {2022}, url = {https://doi.org/10.3390/a15040126}, doi = {10.3390/A15040126}, timestamp = {Mon, 13 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/algorithms/FinkbeinerFKK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isse/FinkbeinerKM22, author = {Bernd Finkbeiner and Felix Klein and Niklas Metzger}, title = {Live synthesis}, journal = {Innov. Syst. Softw. Eng.}, volume = {18}, number = {3}, pages = {443--454}, year = {2022}, url = {https://doi.org/10.1007/s11334-022-00447-5}, doi = {10.1007/S11334-022-00447-5}, timestamp = {Mon, 24 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isse/FinkbeinerKM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isse/FinkbeinerP22, author = {Bernd Finkbeiner and Noemi Passing}, title = {Compositional synthesis of modular systems}, journal = {Innov. Syst. Softw. Eng.}, volume = {18}, number = {3}, pages = {455--469}, year = {2022}, url = {https://doi.org/10.1007/s11334-022-00450-w}, doi = {10.1007/S11334-022-00450-W}, timestamp = {Mon, 24 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isse/FinkbeinerP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tvcg/HorakCMHFMDFD22, author = {Tom Horak and Norine Coenen and Niklas Metzger and Christopher Hahn and Tamara Flemisch and Juli{\'{a}}n M{\'{e}}ndez and Dennis Dimov and Bernd Finkbeiner and Raimund Dachselt}, title = {Visual Analysis of Hyperproperties for Understanding Model Checking Results}, journal = {{IEEE} Trans. Vis. Comput. Graph.}, volume = {28}, number = {1}, pages = {357--367}, year = {2022}, url = {https://doi.org/10.1109/TVCG.2021.3114866}, doi = {10.1109/TVCG.2021.3114866}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tvcg/HorakCMHFMDFD22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/CoenenFFHMS22, author = {Norine Coenen and Bernd Finkbeiner and Hadar Frenkel and Christopher Hahn and Niklas Metzger and Julian Siber}, editor = {Ahmed Bouajjani and Luk{\'{a}}s Hol{\'{\i}}k and Zhilin Wu}, title = {Temporal Causality in Reactive Systems}, booktitle = {Automated Technology for Verification and Analysis - 20th International Symposium, {ATVA} 2022, Virtual Event, October 25-28, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13505}, pages = {208--224}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-19992-9\_13}, doi = {10.1007/978-3-031-19992-9\_13}, timestamp = {Sun, 13 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atva/CoenenFFHMS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BeutnerF22, author = {Raven Beutner and Bernd Finkbeiner}, editor = {Sharon Shoham and Yakir Vizel}, title = {Software Verification of Hyperproperties Beyond k-Safety}, booktitle = {Computer Aided Verification - 34th International Conference, {CAV} 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {13371}, pages = {341--362}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-13185-1\_17}, doi = {10.1007/978-3-031-13185-1\_17}, timestamp = {Tue, 28 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/BeutnerF22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/CoenenDFFHHMS22, author = {Norine Coenen and Raimund Dachselt and Bernd Finkbeiner and Hadar Frenkel and Christopher Hahn and Tom Horak and Niklas Metzger and Julian Siber}, editor = {Sharon Shoham and Yakir Vizel}, title = {Explaining Hyperproperty Violations}, booktitle = {Computer Aided Verification - 34th International Conference, {CAV} 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {13371}, pages = {407--429}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-13185-1\_20}, doi = {10.1007/978-3-031-13185-1\_20}, timestamp = {Tue, 20 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/CoenenDFFHHMS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FinkbeinerMM22, author = {Bernd Finkbeiner and Niklas Metzger and Yoram Moses}, editor = {Sharon Shoham and Yakir Vizel}, title = {Information Flow Guided Synthesis}, booktitle = {Computer Aided Verification - 34th International Conference, {CAV} 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {13372}, pages = {505--525}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-13188-2\_25}, doi = {10.1007/978-3-031-13188-2\_25}, timestamp = {Tue, 20 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/FinkbeinerMM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/BeutnerF22, author = {Raven Beutner and Bernd Finkbeiner}, title = {Prophecy Variables for Hyperproperty Verification}, booktitle = {35th {IEEE} Computer Security Foundations Symposium, {CSF} 2022, Haifa, Israel, August 7-10, 2022}, pages = {471--485}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/CSF54842.2022.9919658}, doi = {10.1109/CSF54842.2022.9919658}, timestamp = {Fri, 11 Nov 2022 16:53:14 +0100}, biburl = {https://dblp.org/rec/conf/csfw/BeutnerF22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/FinkbeinerGHO22, author = {Bernd Finkbeiner and Manuel Gieseking and Jesko Hecking{-}Harbusch and Ernst{-}R{\"{u}}diger Olderog}, editor = {Florin Manea and Alex Simpson}, title = {Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory}, booktitle = {30th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2022, February 14-19, 2022, G{\"{o}}ttingen, Germany (Virtual Conference)}, series = {LIPIcs}, volume = {216}, pages = {20:1--20:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.CSL.2022.20}, doi = {10.4230/LIPICS.CSL.2022.20}, timestamp = {Thu, 27 Jan 2022 17:26:21 +0100}, biburl = {https://dblp.org/rec/conf/csl/FinkbeinerGHO22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/FinkbeinerHP22, author = {Bernd Finkbeiner and Philippe Heim and Noemi Passing}, editor = {Patricia Bouyer and Lutz Schr{\"{o}}der}, title = {Temporal Stream Logic modulo Theories}, booktitle = {Foundations of Software Science and Computation Structures - 25th International Conference, {FOSSACS} 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13242}, pages = {325--346}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-99253-8\_17}, doi = {10.1007/978-3-030-99253-8\_17}, timestamp = {Fri, 29 Apr 2022 14:50:32 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/FinkbeinerHP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/FinkbeinerP22, author = {Bernd Finkbeiner and Noemi Passing}, editor = {Anuj Dawar and Venkatesan Guruswami}, title = {Synthesizing Dominant Strategies for Liveness}, booktitle = {42nd {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2022, December 18-20, 2022, {IIT} Madras, Chennai, India}, series = {LIPIcs}, volume = {250}, pages = {37:1--37:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.37}, doi = {10.4230/LIPICS.FSTTCS.2022.37}, timestamp = {Wed, 14 Dec 2022 11:57:55 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/FinkbeinerP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/FinkbeinerMPSS22, author = {Bernd Finkbeiner and Kaushik Mallik and Noemi Passing and Malte Schledjewski and Anne{-}Kathrin Schmuck}, editor = {Ezio Bartocci and Sylvie Putot}, title = {BOCoSy: Small but Powerful Symbolic Output-Feedback Control}, booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022}, pages = {24:1--24:11}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3501710.3519535}, doi = {10.1145/3501710.3519535}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/FinkbeinerMPSS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/BeutnerCFHK22, author = {Raven Beutner and David Carral and Bernd Finkbeiner and Jana Hofmann and Markus Kr{\"{o}}tzsch}, editor = {Christel Baier and Dana Fisman}, title = {Deciding Hyperproperties Combined with Functional Specifications}, booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022}, pages = {56:1--56:13}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3531130.3533369}, doi = {10.1145/3531130.3533369}, timestamp = {Tue, 09 Aug 2022 12:30:54 +0200}, biburl = {https://dblp.org/rec/conf/lics/BeutnerCFHK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/ChoiFPS22, author = {Wonhyuk Choi and Bernd Finkbeiner and Ruzica Piskac and Mark Santolucito}, editor = {Ranjit Jhala and Isil Dillig}, title = {Can reactive synthesis and syntax-guided synthesis be friends?}, booktitle = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022}, pages = {229--243}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3519939.3523429}, doi = {10.1145/3519939.3523429}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pldi/ChoiFPS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/BaumeisterFGS22, author = {Jan Baumeister and Bernd Finkbeiner and Stefan Gumhold and Malte Schledjewski}, editor = {Thao Dang and Volker Stolz}, title = {Real-Time Visualization of Stream-Based Monitoring Data}, booktitle = {Runtime Verification - 22nd International Conference, {RV} 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13498}, pages = {325--335}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-17196-3\_21}, doi = {10.1007/978-3-031-17196-3\_21}, timestamp = {Mon, 24 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/BaumeisterFGS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/vmcai/2022, editor = {Bernd Finkbeiner and Thomas Wies}, title = {Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, {VMCAI} 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13182}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-94583-1}, doi = {10.1007/978-3-030-94583-1}, isbn = {978-3-030-94582-4}, timestamp = {Wed, 19 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vmcai/2022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2203-04146, author = {Norine Coenen and Bernd Finkbeiner and Christopher Hahn and Jana Hofmann and Yannick Schillo}, title = {Runtime Enforcement of Hyperproperties}, journal = {CoRR}, volume = {abs/2203.04146}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2203.04146}, doi = {10.48550/ARXIV.2203.04146}, eprinttype = {arXiv}, eprint = {2203.04146}, timestamp = {Wed, 16 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2203-04146.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2203-07283, author = {Raven Beutner and Bernd Finkbeiner}, title = {A Logic for Hyperproperties in Multi-Agent Systems}, journal = {CoRR}, volume = {abs/2203.07283}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2203.07283}, doi = {10.48550/ARXIV.2203.07283}, eprinttype = {arXiv}, eprint = {2203.07283}, timestamp = {Wed, 16 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2203-07283.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-06039, author = {Bernd Finkbeiner and Jana Hofmann and Florian Kohn and Noemi Passing}, title = {Reactive Synthesis of Smart Contract Control Flows}, journal = {CoRR}, volume = {abs/2205.06039}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.06039}, doi = {10.48550/ARXIV.2205.06039}, eprinttype = {arXiv}, eprint = {2205.06039}, timestamp = {Tue, 17 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-06039.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-12085, author = {Bernd Finkbeiner and Niklas Metzger and Yoram Moses}, title = {Information Flow Guided Synthesis (Full Version)}, journal = {CoRR}, volume = {abs/2205.12085}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.12085}, doi = {10.48550/ARXIV.2205.12085}, eprinttype = {arXiv}, eprint = {2205.12085}, timestamp = {Tue, 20 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-12085.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-12823, author = {Jan Baumeister and Bernd Finkbeiner and Stefan Gumhold and Malte Schledjewski}, title = {Real-time Visualization of Stream-based Monitoring Data}, journal = {CoRR}, volume = {abs/2205.12823}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.12823}, doi = {10.48550/ARXIV.2205.12823}, eprinttype = {arXiv}, eprint = {2205.12823}, timestamp = {Mon, 30 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-12823.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-15138, author = {Raven Beutner and David Carral and Bernd Finkbeiner and Jana Hofmann and Markus Kr{\"{o}}tzsch}, title = {Deciding Hyperproperties Combined with Functional Specifications}, journal = {CoRR}, volume = {abs/2205.15138}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.15138}, doi = {10.48550/ARXIV.2205.15138}, eprinttype = {arXiv}, eprint = {2205.15138}, timestamp = {Wed, 01 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-15138.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-15389, author = {Niklas Metzger and Christopher Hahn and Julian Siber and Frederik Schmitt and Bernd Finkbeiner}, title = {Attention Flows for General Transformers}, journal = {CoRR}, volume = {abs/2205.15389}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.15389}, doi = {10.48550/ARXIV.2205.15389}, eprinttype = {arXiv}, eprint = {2205.15389}, timestamp = {Tue, 20 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-15389.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2206-00251, author = {Swen Jacobs and Guillermo A. P{\'{e}}rez and Remco Abraham and V{\'{e}}ronique Bruy{\`{e}}re and Micha{\"{e}}l Cadilhac and Maximilien Colange and Charly Delfosse and Tom van Dijk and Alexandre Duret{-}Lutz and Peter Faymonville and Bernd Finkbeiner and Ayrat Khalimov and Felix Klein and Michael Luttenberger and Klara J. Meyer and Thibaud Michaud and Adrien Pommellet and Florian Renkin and Philipp Schlehuber{-}Caissier and Mouhammad Sakr and Salomon Sickert and Ga{\"{e}}tan Staquet and Cl{\'{e}}ment Tamines and Leander Tentrup and Adam Walker}, title = {The Reactive Synthesis Competition {(SYNTCOMP):} 2018-2021}, journal = {CoRR}, volume = {abs/2206.00251}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2206.00251}, doi = {10.48550/ARXIV.2206.00251}, eprinttype = {arXiv}, eprint = {2206.00251}, timestamp = {Mon, 26 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2206-00251.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2206-01797, author = {Raven Beutner and Bernd Finkbeiner}, title = {Prophecy Variables for Hyperproperty Verification}, journal = {CoRR}, volume = {abs/2206.01797}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2206.01797}, doi = {10.48550/ARXIV.2206.01797}, eprinttype = {arXiv}, eprint = {2206.01797}, timestamp = {Mon, 13 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2206-01797.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2206-01962, author = {Christopher Hahn and Frederik Schmitt and Julia J. Tillman and Niklas Metzger and Julian Siber and Bernd Finkbeiner}, title = {Formal Specifications from Natural Language}, journal = {CoRR}, volume = {abs/2206.01962}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2206.01962}, doi = {10.48550/ARXIV.2206.01962}, eprinttype = {arXiv}, eprint = {2206.01962}, timestamp = {Tue, 20 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2206-01962.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2206-02074, author = {Norine Coenen and Raimund Dachselt and Bernd Finkbeiner and Hadar Frenkel and Christopher Hahn and Tom Horak and Niklas Metzger and Julian Siber}, title = {Explaining Hyperproperty Violations}, journal = {CoRR}, volume = {abs/2206.02074}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2206.02074}, doi = {10.48550/ARXIV.2206.02074}, eprinttype = {arXiv}, eprint = {2206.02074}, timestamp = {Tue, 20 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2206-02074.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2206-03381, author = {Raven Beutner and Bernd Finkbeiner}, title = {Software Verification of Hyperproperties Beyond k-Safety}, journal = {CoRR}, volume = {abs/2206.03381}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2206.03381}, doi = {10.48550/ARXIV.2206.03381}, eprinttype = {arXiv}, eprint = {2206.03381}, timestamp = {Tue, 14 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2206-03381.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2208-07180, author = {Norine Coenen and Bernd Finkbeiner and Jana Hofmann and Julia J. Tillman}, title = {Smart Contract Synthesis Modulo Hyperproperties}, journal = {CoRR}, volume = {abs/2208.07180}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2208.07180}, doi = {10.48550/ARXIV.2208.07180}, eprinttype = {arXiv}, eprint = {2208.07180}, timestamp = {Wed, 17 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2208-07180.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2210-01660, author = {Bernd Finkbeiner and Noemi Passing}, title = {Synthesizing Dominant Strategies for Liveness (Full Version)}, journal = {CoRR}, volume = {abs/2210.01660}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2210.01660}, doi = {10.48550/ARXIV.2210.01660}, eprinttype = {arXiv}, eprint = {2210.01660}, timestamp = {Fri, 07 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2210-01660.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/FinkbeinerM21, author = {Bernd Finkbeiner and Leonardo Mariani}, title = {Introduction to the special issue of the 19th International Conference on Runtime Verification}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {23}, number = {4}, pages = {545--546}, year = {2021}, url = {https://doi.org/10.1007/s10009-021-00621-3}, doi = {10.1007/S10009-021-00621-3}, timestamp = {Tue, 26 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/FinkbeinerM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/FinkbeinerKM21, author = {Bernd Finkbeiner and Felix Klein and Niklas Metzger}, editor = {Zhe Hou and Vijay Ganesh}, title = {Live Synthesis}, booktitle = {Automated Technology for Verification and Analysis - 19th International Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12971}, pages = {153--169}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88885-5\_11}, doi = {10.1007/978-3-030-88885-5\_11}, timestamp = {Tue, 20 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/FinkbeinerKM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/CoenenFHHS21, author = {Norine Coenen and Bernd Finkbeiner and Christopher Hahn and Jana Hofmann and Yannick Schillo}, editor = {Zhe Hou and Vijay Ganesh}, title = {Runtime Enforcement of Hyperproperties}, booktitle = {Automated Technology for Verification and Analysis - 19th International Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12971}, pages = {283--299}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88885-5\_19}, doi = {10.1007/978-3-030-88885-5\_19}, timestamp = {Mon, 18 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/CoenenFHHS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/FinkbeinerP21, author = {Bernd Finkbeiner and Noemi Passing}, editor = {Zhe Hou and Vijay Ganesh}, title = {Compositional Synthesis of Modular Systems}, booktitle = {Automated Technology for Verification and Analysis - 19th International Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12971}, pages = {303--319}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88885-5\_20}, doi = {10.1007/978-3-030-88885-5\_20}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atva/FinkbeinerP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BaumeisterCBFS21, author = {Jan Baumeister and Norine Coenen and Borzoo Bonakdarpour and Bernd Finkbeiner and C{\'{e}}sar S{\'{a}}nchez}, editor = {Alexandra Silva and K. Rustan M. Leino}, title = {A Temporal Logic for Asynchronous Hyperproperties}, booktitle = {Computer Aided Verification - 33rd International Conference, {CAV} 2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {12759}, pages = {694--717}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-81685-8\_33}, doi = {10.1007/978-3-030-81685-8\_33}, timestamp = {Wed, 28 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/BaumeisterCBFS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BaierCFFJS21, author = {Christel Baier and Norine Coenen and Bernd Finkbeiner and Florian Funke and Simon Jantsch and Julian Siber}, editor = {Alexandra Silva and K. Rustan M. Leino}, title = {Causality-Based Game Solving}, booktitle = {Computer Aided Verification - 33rd International Conference, {CAV} 2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {12759}, pages = {894--917}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-81685-8\_42}, doi = {10.1007/978-3-030-81685-8\_42}, timestamp = {Thu, 29 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/BaierCFFJS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BeutnerF21, author = {Raven Beutner and Bernd Finkbeiner}, editor = {Serge Haddad and Daniele Varacca}, title = {A Temporal Logic for Strategic Hyperproperties}, booktitle = {32nd International Conference on Concurrency Theory, {CONCUR} 2021, August 24-27, 2021, Virtual Conference}, series = {LIPIcs}, volume = {203}, pages = {24:1--24:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.24}, doi = {10.4230/LIPICS.CONCUR.2021.24}, timestamp = {Fri, 13 Aug 2021 16:29:32 +0200}, biburl = {https://dblp.org/rec/conf/concur/BeutnerF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/VirtemaHFK021, author = {Jonni Virtema and Jana Hofmann and Bernd Finkbeiner and Juha Kontinen and Fan Yang}, editor = {Mikolaj Bojanczyk and Chandra Chekuri}, title = {Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity}, booktitle = {41st {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2021, December 15-17, 2021, Virtual Conference}, series = {LIPIcs}, volume = {213}, pages = {52:1--52:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2021.52}, doi = {10.4230/LIPICS.FSTTCS.2021.52}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/VirtemaHFK021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclr/HahnSKRF21, author = {Christopher Hahn and Frederik Schmitt and Jens U. Kreber and Markus Norman Rabe and Bernd Finkbeiner}, title = {Teaching Temporal Logics to Neural Networks}, booktitle = {9th International Conference on Learning Representations, {ICLR} 2021, Virtual Event, Austria, May 3-7, 2021}, publisher = {OpenReview.net}, year = {2021}, url = {https://openreview.net/forum?id=dOcQK-f4byz}, timestamp = {Wed, 23 Jun 2021 17:36:39 +0200}, biburl = {https://dblp.org/rec/conf/iclr/HahnSKRF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/FinkbeinerGP21, author = {Bernd Finkbeiner and Gideon Geier and Noemi Passing}, editor = {Aaron Dutle and Mariano M. Moscato and Laura Titolo and C{\'{e}}sar A. Mu{\~{n}}oz and Ivan Perez}, title = {Specification Decomposition for Reactive Synthesis}, booktitle = {{NASA} Formal Methods - 13th International Symposium, {NFM} 2021, Virtual Event, May 24-28, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12673}, pages = {113--130}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-76384-8\_8}, doi = {10.1007/978-3-030-76384-8\_8}, timestamp = {Wed, 20 Sep 2023 15:15:29 +0200}, biburl = {https://dblp.org/rec/conf/nfm/FinkbeinerGP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/SchmittHRF21, author = {Frederik Schmitt and Christopher Hahn and Markus N. Rabe and Bernd Finkbeiner}, editor = {Marc'Aurelio Ranzato and Alina Beygelzimer and Yann N. Dauphin and Percy Liang and Jennifer Wortman Vaughan}, title = {Neural Circuit Synthesis from Specification Patterns}, booktitle = {Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual}, pages = {15408--15420}, year = {2021}, url = {https://proceedings.neurips.cc/paper/2021/hash/8230bea7d54bcdf99cdfe85cb07313d5-Abstract.html}, timestamp = {Tue, 03 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/nips/SchmittHRF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/DauerFS21, author = {Johann C. Dauer and Bernd Finkbeiner and Sebastian Schirmer}, editor = {Lu Feng and Dana Fisman}, title = {Monitoring with Verified Guarantees}, booktitle = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual Event, October 11-14, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12974}, pages = {62--80}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88494-9\_4}, doi = {10.1007/978-3-030-88494-9\_4}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rv/DauerFS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/BiewerFHKSS21, author = {Sebastian Biewer and Bernd Finkbeiner and Holger Hermanns and Maximilian A. K{\"{o}}hl and Yannik Schnitzer and Maximilian Schwenger}, editor = {Jan Friso Groote and Kim Guldstrand Larsen}, title = {RTLola on Board: Testing Real Driving Emissions on your Phone}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, {TACAS} 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12652}, pages = {365--372}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-72013-1\_20}, doi = {10.1007/978-3-030-72013-1\_20}, timestamp = {Fri, 14 May 2021 08:34:19 +0200}, biburl = {https://dblp.org/rec/conf/tacas/BiewerFHKSS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/Finkbeiner21, author = {Bernd Finkbeiner}, editor = {Fritz Henglein and Sharon Shoham and Yakir Vizel}, title = {Model Checking Algorithms for Hyperproperties (Invited Paper)}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, {VMCAI} 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12597}, pages = {3--16}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-67067-2\_1}, doi = {10.1007/978-3-030-67067-2\_1}, timestamp = {Tue, 26 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vmcai/Finkbeiner21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2101-07109, author = {Bernd Finkbeiner and Christopher Hahn and Marvin Stenger and Leander Tentrup}, title = {Efficient Monitoring of Hyperproperties using Prefix Trees}, journal = {CoRR}, volume = {abs/2101.07109}, year = {2021}, url = {https://arxiv.org/abs/2101.07109}, eprinttype = {arXiv}, eprint = {2101.07109}, timestamp = {Fri, 22 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2101-07109.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2101-07161, author = {Bernd Finkbeiner and Christopher Hahn and Jana Hofmann and Leander Tentrup}, title = {Realizing Omega-regular Hyperproperties}, journal = {CoRR}, volume = {abs/2101.07161}, year = {2021}, url = {https://arxiv.org/abs/2101.07161}, eprinttype = {arXiv}, eprint = {2101.07161}, timestamp = {Fri, 22 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2101-07161.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2101-07232, author = {Gideon Geier and Philippe Heim and Felix Klein and Bernd Finkbeiner}, title = {Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications}, journal = {CoRR}, volume = {abs/2101.07232}, year = {2021}, url = {https://arxiv.org/abs/2101.07232}, eprinttype = {arXiv}, eprint = {2101.07232}, timestamp = {Fri, 22 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2101-07232.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2101-07847, author = {Borzoo Bonakdarpour and Bernd Finkbeiner}, title = {The Complexity of Monitoring Hyperproperties}, journal = {CoRR}, volume = {abs/2101.07847}, year = {2021}, url = {https://arxiv.org/abs/2101.07847}, eprinttype = {arXiv}, eprint = {2101.07847}, timestamp = {Sat, 23 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2101-07847.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2101-08257, author = {Borzoo Bonakdarpour and Bernd Finkbeiner}, title = {Program Repair for Hyperproperties}, journal = {CoRR}, volume = {abs/2101.08257}, year = {2021}, url = {https://arxiv.org/abs/2101.08257}, eprinttype = {arXiv}, eprint = {2101.08257}, timestamp = {Sat, 30 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2101-08257.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2101-08880, author = {Borzoo Bonakdarpour and Bernd Finkbeiner}, title = {Controller Synthesis for Hyperproperties}, journal = {CoRR}, volume = {abs/2101.08880}, year = {2021}, url = {https://arxiv.org/abs/2101.08880}, eprinttype = {arXiv}, eprint = {2101.08880}, timestamp = {Sat, 30 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2101-08880.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2103-08459, author = {Bernd Finkbeiner and Gideon Geier and Noemi Passing}, title = {Specification Decomposition for Reactive Synthesis (Full Version)}, journal = {CoRR}, volume = {abs/2103.08459}, year = {2021}, url = {https://arxiv.org/abs/2103.08459}, eprinttype = {arXiv}, eprint = {2103.08459}, timestamp = {Tue, 23 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2103-08459.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2104-14025, author = {Jan Baumeister and Norine Coenen and Borzoo Bonakdarpour and Bernd Finkbeiner and C{\'{e}}sar S{\'{a}}nchez}, title = {A Temporal Logic for Asynchronous Hyperproperties}, journal = {CoRR}, volume = {abs/2104.14025}, year = {2021}, url = {https://arxiv.org/abs/2104.14025}, eprinttype = {arXiv}, eprint = {2104.14025}, timestamp = {Wed, 28 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2104-14025.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2104-14988, author = {Bernd Finkbeiner and Philippe Heim and Noemi Passing}, title = {Temporal Stream Logic modulo Theories}, journal = {CoRR}, volume = {abs/2104.14988}, year = {2021}, url = {https://arxiv.org/abs/2104.14988}, eprinttype = {arXiv}, eprint = {2104.14988}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2104-14988.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-14247, author = {Christel Baier and Norine Coenen and Bernd Finkbeiner and Florian Funke and Simon Jantsch and Julian Siber}, title = {Causality-Based Game Solving}, journal = {CoRR}, volume = {abs/2105.14247}, year = {2021}, url = {https://arxiv.org/abs/2105.14247}, eprinttype = {arXiv}, eprint = {2105.14247}, timestamp = {Wed, 02 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-14247.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2106-14783, author = {Bernd Finkbeiner and Noemi Passing}, title = {Compositional Synthesis of Modular Systems (Full Version)}, journal = {CoRR}, volume = {abs/2106.14783}, year = {2021}, url = {https://arxiv.org/abs/2106.14783}, eprinttype = {arXiv}, eprint = {2106.14783}, timestamp = {Wed, 30 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2106-14783.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2107-01136, author = {Bernd Finkbeiner and Felix Klein and Niklas Metzger}, title = {Live Synthesis}, journal = {CoRR}, volume = {abs/2107.01136}, year = {2021}, url = {https://arxiv.org/abs/2107.01136}, eprinttype = {arXiv}, eprint = {2107.01136}, timestamp = {Tue, 20 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2107-01136.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2107-02509, author = {Raven Beutner and Bernd Finkbeiner}, title = {A Temporal Logic for Strategic Hyperproperties}, journal = {CoRR}, volume = {abs/2107.02509}, year = {2021}, url = {https://arxiv.org/abs/2107.02509}, eprinttype = {arXiv}, eprint = {2107.02509}, timestamp = {Wed, 07 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2107-02509.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2107-09280, author = {Bernd Finkbeiner and Manuel Gieseking and Jesko Hecking{-}Harbusch and Ernst{-}R{\"{u}}diger Olderog}, title = {Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory}, journal = {CoRR}, volume = {abs/2107.09280}, year = {2021}, url = {https://arxiv.org/abs/2107.09280}, eprinttype = {arXiv}, eprint = {2107.09280}, timestamp = {Thu, 29 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2107-09280.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2107-11841, author = {Bernd Finkbeiner}, title = {Model Checking Algorithms for Hyperproperties}, journal = {CoRR}, volume = {abs/2107.11841}, year = {2021}, url = {https://arxiv.org/abs/2107.11841}, eprinttype = {arXiv}, eprint = {2107.11841}, timestamp = {Thu, 29 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2107-11841.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2107-11864, author = {Frederik Schmitt and Christopher Hahn and Markus N. Rabe and Bernd Finkbeiner}, title = {Neural Circuit Synthesis from Specification Patterns}, journal = {CoRR}, volume = {abs/2107.11864}, year = {2021}, url = {https://arxiv.org/abs/2107.11864}, eprinttype = {arXiv}, eprint = {2107.11864}, timestamp = {Thu, 29 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2107-11864.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2108-03698, author = {Tom Horak and Norine Coenen and Niklas Metzger and Christopher Hahn and Tamara Flemisch and Juli{\'{a}}n M{\'{e}}ndez and Dennis Dimov and Bernd Finkbeiner and Raimund Dachselt}, title = {Visual Analysis of Hyperproperties for Understanding Model Checking Results}, journal = {CoRR}, volume = {abs/2108.03698}, year = {2021}, url = {https://arxiv.org/abs/2108.03698}, eprinttype = {arXiv}, eprint = {2108.03698}, timestamp = {Tue, 04 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2108-03698.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2110-11755, author = {Johann C. Dauer and Bernd Finkbeiner and Sebastian Schirmer}, title = {Monitoring with Verified Guarantees}, journal = {CoRR}, volume = {abs/2110.11755}, year = {2021}, url = {https://arxiv.org/abs/2110.11755}, eprinttype = {arXiv}, eprint = {2110.11755}, timestamp = {Thu, 27 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2110-11755.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2111-05255, author = {Sebastian Biewer and Bernd Finkbeiner and Holger Hermanns and Maximilian A. K{\"{o}}hl and Yannik Schnitzer and Maximilian Schwenger}, title = {RTLola on Board: Testing Real Driving Emissions on your Phone}, journal = {CoRR}, volume = {abs/2111.05255}, year = {2021}, url = {https://arxiv.org/abs/2111.05255}, eprinttype = {arXiv}, eprint = {2111.05255}, timestamp = {Wed, 10 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-05255.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/FinkbeinerHLST20, author = {Bernd Finkbeiner and Christopher Hahn and Philip Lukert and Marvin Stenger and Leander Tentrup}, title = {Synthesis from hyperproperties}, journal = {Acta Informatica}, volume = {57}, number = {1-2}, pages = {137--163}, year = {2020}, url = {https://doi.org/10.1007/s00236-019-00358-2}, doi = {10.1007/S00236-019-00358-2}, timestamp = {Fri, 14 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/FinkbeinerHLST20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/FinkbeinerHST20, author = {Bernd Finkbeiner and Christopher Hahn and Marvin Stenger and Leander Tentrup}, title = {Efficient monitoring of hyperproperties using prefix trees}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {22}, number = {6}, pages = {729--740}, year = {2020}, url = {https://doi.org/10.1007/s10009-020-00552-5}, doi = {10.1007/S10009-020-00552-5}, timestamp = {Fri, 14 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/FinkbeinerHST20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/FinkbeinerGHO20, author = {Bernd Finkbeiner and Manuel Gieseking and Jesko Hecking{-}Harbusch and Ernst{-}R{\"{u}}diger Olderog}, editor = {Dang Van Hung and Oleg Sokolsky}, title = {Model Checking Branching Properties on Petri Nets with Transits}, booktitle = {Automated Technology for Verification and Analysis - 18th International Symposium, {ATVA} 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12302}, pages = {394--410}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-59152-6\_22}, doi = {10.1007/978-3-030-59152-6\_22}, timestamp = {Tue, 13 Oct 2020 16:52:35 +0200}, biburl = {https://dblp.org/rec/conf/atva/FinkbeinerGHO20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/BaumeisterFT20, author = {Tom Baumeister and Bernd Finkbeiner and Hazem Torfah}, editor = {Dang Van Hung and Oleg Sokolsky}, title = {Explainable Reactive Synthesis}, booktitle = {Automated Technology for Verification and Analysis - 18th International Symposium, {ATVA} 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12302}, pages = {413--428}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-59152-6\_23}, doi = {10.1007/978-3-030-59152-6\_23}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atva/BaumeisterFT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/FinkbeinerP20, author = {Bernd Finkbeiner and Noemi Passing}, editor = {Dang Van Hung and Oleg Sokolsky}, title = {Dependency-Based Compositional Synthesis}, booktitle = {Automated Technology for Verification and Analysis - 18th International Symposium, {ATVA} 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12302}, pages = {447--463}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-59152-6\_25}, doi = {10.1007/978-3-030-59152-6\_25}, timestamp = {Wed, 17 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atva/FinkbeinerP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/DimitrovaFT20, author = {Rayna Dimitrova and Bernd Finkbeiner and Hazem Torfah}, editor = {Dang Van Hung and Oleg Sokolsky}, title = {Probabilistic Hyperproperties of Markov Decision Processes}, booktitle = {Automated Technology for Verification and Analysis - 18th International Symposium, {ATVA} 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12302}, pages = {484--500}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-59152-6\_27}, doi = {10.1007/978-3-030-59152-6\_27}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atva/DimitrovaFT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BaumeisterFSST20, author = {Jan Baumeister and Bernd Finkbeiner and Sebastian Schirmer and Maximilian Schwenger and Christoph Torens}, editor = {Shuvendu K. Lahiri and Chao Wang}, title = {RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft}, booktitle = {Computer Aided Verification - 32nd International Conference, {CAV} 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12225}, pages = {28--39}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-53291-8\_3}, doi = {10.1007/978-3-030-53291-8\_3}, timestamp = {Wed, 12 Aug 2020 15:15:44 +0200}, biburl = {https://dblp.org/rec/conf/cav/BaumeisterFSST20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FinkbeinerHHT20, author = {Bernd Finkbeiner and Christopher Hahn and Jana Hofmann and Leander Tentrup}, editor = {Shuvendu K. Lahiri and Chao Wang}, title = {Realizing {\o}mega-regular Hyperproperties}, booktitle = {Computer Aided Verification - 32nd International Conference, {CAV} 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12225}, pages = {40--63}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-53291-8\_4}, doi = {10.1007/978-3-030-53291-8\_4}, timestamp = {Wed, 12 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/FinkbeinerHHT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FinkbeinerGHO20, author = {Bernd Finkbeiner and Manuel Gieseking and Jesko Hecking{-}Harbusch and Ernst{-}R{\"{u}}diger Olderog}, editor = {Shuvendu K. Lahiri and Chao Wang}, title = {AdamMC: {A} Model Checker for Petri Nets with Transits against Flow-LTL}, booktitle = {Computer Aided Verification - 32nd International Conference, {CAV} 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12225}, pages = {64--76}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-53291-8\_5}, doi = {10.1007/978-3-030-53291-8\_5}, timestamp = {Wed, 12 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/FinkbeinerGHO20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/BonakdarpourF20, author = {Borzoo Bonakdarpour and Bernd Finkbeiner}, title = {Controller Synthesis for Hyperproperties}, booktitle = {33rd {IEEE} Computer Security Foundations Symposium, {CSF} 2020, Boston, MA, USA, June 22-26, 2020}, pages = {366--379}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/CSF49147.2020.00033}, doi = {10.1109/CSF49147.2020.00033}, timestamp = {Mon, 10 Aug 2020 18:44:11 +0200}, biburl = {https://dblp.org/rec/conf/csfw/BonakdarpourF20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/FinkbeinerOPS20, author = {Bernd Finkbeiner and Stefan Oswald and Noemi Passing and Maximilian Schwenger}, editor = {Jyotirmoy Deshmukh and Dejan Nickovic}, title = {Verified Rust Monitors for Lola Specifications}, booktitle = {Runtime Verification - 20th International Conference, {RV} 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12399}, pages = {431--450}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-60508-7\_24}, doi = {10.1007/978-3-030-60508-7\_24}, timestamp = {Wed, 17 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rv/FinkbeinerOPS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/BaumeisterFKS20, author = {Jan Baumeister and Bernd Finkbeiner and Matthis Kruse and Maximilian Schwenger}, editor = {Jyotirmoy Deshmukh and Dejan Nickovic}, title = {Automatic Optimizations for Stream-Based Monitoring Languages}, booktitle = {Runtime Verification - 20th International Conference, {RV} 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12399}, pages = {451--461}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-60508-7\_25}, doi = {10.1007/978-3-030-60508-7\_25}, timestamp = {Tue, 20 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/BaumeisterFKS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/SeidlMF20, author = {Helmut Seidl and Christian M{\"{u}}ller and Bernd Finkbeiner}, editor = {Dirk Beyer and Damien Zufferey}, title = {How to Win First-Order Safety Games}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 21st International Conference, {VMCAI} 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11990}, pages = {426--448}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-39322-9\_20}, doi = {10.1007/978-3-030-39322-9\_20}, timestamp = {Thu, 16 Jan 2020 17:28:31 +0100}, biburl = {https://dblp.org/rec/conf/vmcai/SeidlMF20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/birthday/2020gurevich, editor = {Andreas Blass and Patrick C{\'{e}}gielski and Nachum Dershowitz and Manfred Droste and Bernd Finkbeiner}, title = {Fields of Logic and Computation {III} - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday}, series = {Lecture Notes in Computer Science}, volume = {12180}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-48006-6}, doi = {10.1007/978-3-030-48006-6}, isbn = {978-3-030-48005-9}, timestamp = {Tue, 26 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/2020gurevich.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2003-04218, author = {Bernd Finkbeiner and Christopher Hahn and Markus N. Rabe and Frederik Schmitt}, title = {Teaching Temporal Logics to Neural Networks}, journal = {CoRR}, volume = {abs/2003.04218}, year = {2020}, url = {https://arxiv.org/abs/2003.04218}, eprinttype = {arXiv}, eprint = {2003.04218}, timestamp = {Tue, 10 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2003-04218.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2003-12477, author = {Jan Baumeister and Bernd Finkbeiner and Maximilian Schwenger and Hazem Torfah}, title = {{FPGA} Stream-Monitoring of Real-time Properties}, journal = {CoRR}, volume = {abs/2003.12477}, year = {2020}, url = {https://arxiv.org/abs/2003.12477}, eprinttype = {arXiv}, eprint = {2003.12477}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2003-12477.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2004-06488, author = {Jan Baumeister and Bernd Finkbeiner and Sebastian Schirmer and Maximilian Schwenger and Christoph Torens}, title = {RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft}, journal = {CoRR}, volume = {abs/2004.06488}, year = {2020}, url = {https://arxiv.org/abs/2004.06488}, eprinttype = {arXiv}, eprint = {2004.06488}, timestamp = {Tue, 21 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2004-06488.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2005-03362, author = {Rayna Dimitrova and Bernd Finkbeiner and Hazem Torfah}, title = {Probabilistic Hyperproperties of Markov Decision Processes}, journal = {CoRR}, volume = {abs/2005.03362}, year = {2020}, url = {https://arxiv.org/abs/2005.03362}, eprinttype = {arXiv}, eprint = {2005.03362}, timestamp = {Sat, 09 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-03362.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2005-05934, author = {Norine Coenen and Bernd Finkbeiner and Christopher Hahn and Jana Hofmann}, title = {The Hierarchy of Hyperlogics}, journal = {CoRR}, volume = {abs/2005.05934}, year = {2020}, url = {https://arxiv.org/abs/2005.05934}, eprinttype = {arXiv}, eprint = {2005.05934}, timestamp = {Thu, 14 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-05934.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2005-07130, author = {Bernd Finkbeiner and Manuel Gieseking and Jesko Hecking{-}Harbusch and Ernst{-}R{\"{u}}diger Olderog}, title = {AdamMC: {A} Model Checker for Petri Nets with Transits against Flow-LTL (Full Version)}, journal = {CoRR}, volume = {abs/2005.07130}, year = {2020}, url = {https://arxiv.org/abs/2005.07130}, eprinttype = {arXiv}, eprint = {2005.07130}, timestamp = {Fri, 22 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-07130.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2005-07425, author = {Norine Coenen and Bernd Finkbeiner and C{\'{e}}sar S{\'{a}}nchez and Leander Tentrup}, title = {Verifying Hyperliveness}, journal = {CoRR}, volume = {abs/2005.07425}, year = {2020}, url = {https://arxiv.org/abs/2005.07425}, eprinttype = {arXiv}, eprint = {2005.07425}, timestamp = {Wed, 28 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-07425.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2007-06941, author = {Bernd Finkbeiner and Noemi Passing}, title = {Dependency-based Compositional Synthesis (Full Version)}, journal = {CoRR}, volume = {abs/2007.06941}, year = {2020}, url = {https://arxiv.org/abs/2007.06941}, eprinttype = {arXiv}, eprint = {2007.06941}, timestamp = {Wed, 17 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2007-06941.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2007-07235, author = {Bernd Finkbeiner and Manuel Gieseking and Jesko Hecking{-}Harbusch and Ernst{-}R{\"{u}}diger Olderog}, title = {Model Checking Branching Properties on Petri Nets with Transits (Full Version)}, journal = {CoRR}, volume = {abs/2007.07235}, year = {2020}, url = {https://arxiv.org/abs/2007.07235}, eprinttype = {arXiv}, eprint = {2007.07235}, timestamp = {Tue, 21 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2007-07235.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2010-03311, author = {Jonni Virtema and Jana Hofmann and Bernd Finkbeiner and Juha Kontinen and Fan Yang}, title = {Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity}, journal = {CoRR}, volume = {abs/2010.03311}, year = {2020}, url = {https://arxiv.org/abs/2010.03311}, eprinttype = {arXiv}, eprint = {2010.03311}, timestamp = {Tue, 13 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2010-03311.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2011-13344, author = {Jan Baumeister and Bernd Finkbeiner and Matthis Kruse and Maximilian Schwenger}, title = {Automatic Optimizations for Stream-based Monitoring Languages}, journal = {CoRR}, volume = {abs/2011.13344}, year = {2020}, url = {https://arxiv.org/abs/2011.13344}, eprinttype = {arXiv}, eprint = {2011.13344}, timestamp = {Tue, 01 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2011-13344.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2012-08961, author = {Bernd Finkbeiner and Stefan Oswald and Noemi Passing and Maximilian Schwenger}, title = {Verified Rust Monitors for Lola Specifications}, journal = {CoRR}, volume = {abs/2012.08961}, year = {2020}, url = {https://arxiv.org/abs/2012.08961}, eprinttype = {arXiv}, eprint = {2012.08961}, timestamp = {Wed, 17 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2012-08961.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2012-14582, author = {Tom Baumeister and Bernd Finkbeiner and Hazem Torfah}, title = {Explainable Reactive Synthesis}, journal = {CoRR}, volume = {abs/2012.14582}, year = {2020}, url = {https://arxiv.org/abs/2012.14582}, eprinttype = {arXiv}, eprint = {2012.14582}, timestamp = {Fri, 08 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2012-14582.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2012-14586, author = {Bernd Finkbeiner and Lennart Haas and Hazem Torfah}, title = {Canonical Representations of k-Safety Hyperproperties}, journal = {CoRR}, volume = {abs/2012.14586}, year = {2020}, url = {https://arxiv.org/abs/2012.14586}, eprinttype = {arXiv}, eprint = {2012.14586}, timestamp = {Fri, 08 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2012-14586.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2012-14590, author = {Rayna Dimitrova and Bernd Finkbeiner and Hazem Torfah}, title = {Approximate Automata for Omega-Regular Languages}, journal = {CoRR}, volume = {abs/2012.14590}, year = {2020}, url = {https://arxiv.org/abs/2012.14590}, eprinttype = {arXiv}, eprint = {2012.14590}, timestamp = {Fri, 08 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2012-14590.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2012-14592, author = {Rayna Dimitrova and Bernd Finkbeiner and Hazem Torfah}, title = {Synthesizing Approximate Implementations for Unrealizable Specifications}, journal = {CoRR}, volume = {abs/2012.14592}, year = {2020}, url = {https://arxiv.org/abs/2012.14592}, eprinttype = {arXiv}, eprint = {2012.14592}, timestamp = {Fri, 08 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2012-14592.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/FinkbeinerHST19, author = {Bernd Finkbeiner and Christopher Hahn and Marvin Stenger and Leander Tentrup}, title = {Monitoring hyperproperties}, journal = {Formal Methods Syst. Des.}, volume = {54}, number = {3}, pages = {336--363}, year = {2019}, url = {https://doi.org/10.1007/s10703-019-00334-z}, doi = {10.1007/S10703-019-00334-Z}, timestamp = {Sat, 30 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fmsd/FinkbeinerHST19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tecs/BaumeisterFST19, author = {Jan Baumeister and Bernd Finkbeiner and Maximilian Schwenger and Hazem Torfah}, title = {{FPGA} Stream-Monitoring of Real-time Properties}, journal = {{ACM} Trans. Embed. Comput. Syst.}, volume = {18}, number = {5s}, pages = {88:1--88:24}, year = {2019}, url = {https://doi.org/10.1145/3358220}, doi = {10.1145/3358220}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tecs/BaumeisterFST19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/DimitrovaFT19, author = {Rayna Dimitrova and Bernd Finkbeiner and Hazem Torfah}, editor = {Yu{-}Fang Chen and Chih{-}Hong Cheng and Javier Esparza}, title = {Approximate Automata for Omega-Regular Languages}, booktitle = {Automated Technology for Verification and Analysis - 17th International Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11781}, pages = {334--349}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-31784-3\_19}, doi = {10.1007/978-3-030-31784-3\_19}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atva/DimitrovaFT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/BonakdarpourF19, author = {Borzoo Bonakdarpour and Bernd Finkbeiner}, editor = {Yu{-}Fang Chen and Chih{-}Hong Cheng and Javier Esparza}, title = {Program Repair for Hyperproperties}, booktitle = {Automated Technology for Verification and Analysis - 17th International Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11781}, pages = {423--441}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-31784-3\_25}, doi = {10.1007/978-3-030-31784-3\_25}, timestamp = {Tue, 22 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/BonakdarpourF19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/FinkbeinerGHO19, author = {Bernd Finkbeiner and Manuel Gieseking and Jesko Hecking{-}Harbusch and Ernst{-}R{\"{u}}diger Olderog}, editor = {Yu{-}Fang Chen and Chih{-}Hong Cheng and Javier Esparza}, title = {Model Checking Data Flows in Concurrent Network Updates}, booktitle = {Automated Technology for Verification and Analysis - 17th International Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11781}, pages = {515--533}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-31784-3\_30}, doi = {10.1007/978-3-030-31784-3\_30}, timestamp = {Tue, 22 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/FinkbeinerGHO19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/CoenenFST19, author = {Norine Coenen and Bernd Finkbeiner and C{\'{e}}sar S{\'{a}}nchez and Leander Tentrup}, editor = {Isil Dillig and Serdar Tasiran}, title = {Verifying Hyperliveness}, booktitle = {Computer Aided Verification - 31st International Conference, {CAV} 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {11561}, pages = {121--139}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-25540-4\_7}, doi = {10.1007/978-3-030-25540-4\_7}, timestamp = {Wed, 28 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/CoenenFST19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/DimitrovaFT19, author = {Rayna Dimitrova and Bernd Finkbeiner and Hazem Torfah}, editor = {Isil Dillig and Serdar Tasiran}, title = {Synthesizing Approximate Implementations for Unrealizable Specifications}, booktitle = {Computer Aided Verification - 31st International Conference, {CAV} 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {11561}, pages = {241--258}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-25540-4\_13}, doi = {10.1007/978-3-030-25540-4\_13}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/DimitrovaFT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FaymonvilleFSSS19, author = {Peter Faymonville and Bernd Finkbeiner and Malte Schledjewski and Maximilian Schwenger and Marvin Stenger and Leander Tentrup and Hazem Torfah}, editor = {Isil Dillig and Serdar Tasiran}, title = {StreamLAB: Stream-based Monitoring of Cyber-Physical Systems}, booktitle = {Computer Aided Verification - 31st International Conference, {CAV} 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {11561}, pages = {421--431}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-25540-4\_24}, doi = {10.1007/978-3-030-25540-4\_24}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/FaymonvilleFSSS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/Finkbeiner0PS19, author = {Bernd Finkbeiner and Felix Klein and Ruzica Piskac and Mark Santolucito}, editor = {Isil Dillig and Serdar Tasiran}, title = {Temporal Stream Logic: Synthesis Beyond the Bools}, booktitle = {Computer Aided Verification - 31st International Conference, {CAV} 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {11561}, pages = {609--629}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-25540-4\_35}, doi = {10.1007/978-3-030-25540-4\_35}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/Finkbeiner0PS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BeutnerFH19, author = {Raven Beutner and Bernd Finkbeiner and Jesko Hecking{-}Harbusch}, editor = {Wan J. Fokkink and Rob van Glabbeek}, title = {Translating Asynchronous Games for Distributed Synthesis}, booktitle = {30th International Conference on Concurrency Theory, {CONCUR} 2019, August 27-30, 2019, Amsterdam, the Netherlands}, series = {LIPIcs}, volume = {140}, pages = {26:1--26:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2019}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.26}, doi = {10.4230/LIPICS.CONCUR.2019.26}, timestamp = {Mon, 18 May 2020 10:45:19 +0200}, biburl = {https://dblp.org/rec/conf/concur/BeutnerFH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/FinkbeinerHT19, author = {Bernd Finkbeiner and Lennart Haas and Hazem Torfah}, title = {Canonical Representations of k-Safety Hyperproperties}, booktitle = {32nd {IEEE} Computer Security Foundations Symposium, {CSF} 2019, Hoboken, NJ, USA, June 25-28, 2019}, pages = {17--31}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/CSF.2019.00009}, doi = {10.1109/CSF.2019.00009}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/FinkbeinerHT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/GeierH0F19, author = {Gideon Geier and Philippe Heim and Felix Klein and Bernd Finkbeiner}, editor = {Clark W. Barrett and Jin Yang}, title = {Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications}, booktitle = {2019 Formal Methods in Computer Aided Design, {FMCAD} 2019, San Jose, CA, USA, October 22-25, 2019}, pages = {138--146}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.23919/FMCAD.2019.8894261}, doi = {10.23919/FMCAD.2019.8894261}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/GeierH0F19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/haskell/Finkbeiner0PS19, author = {Bernd Finkbeiner and Felix Klein and Ruzica Piskac and Mark Santolucito}, editor = {Richard A. Eisenberg}, title = {Synthesizing functional reactive programs}, booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Symposium on Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019}, pages = {162--175}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3331545.3342601}, doi = {10.1145/3331545.3342601}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/haskell/Finkbeiner0PS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/CoenenFHH19, author = {Norine Coenen and Bernd Finkbeiner and Christopher Hahn and Jana Hofmann}, title = {The Hierarchy of Hyperlogics}, booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2019, Vancouver, BC, Canada, June 24-27, 2019}, pages = {1--13}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/LICS.2019.8785713}, doi = {10.1109/LICS.2019.8785713}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/lics/CoenenFHH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rv/2019, editor = {Bernd Finkbeiner and Leonardo Mariani}, title = {Runtime Verification - 19th International Conference, {RV} 2019, Porto, Portugal, October 8-11, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11757}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-32079-9}, doi = {10.1007/978-3-030-32079-9}, isbn = {978-3-030-32078-2}, timestamp = {Mon, 07 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/abs-1901-00073, editor = {Bernd Finkbeiner and Samantha Kleinberg}, title = {Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018}, series = {{EPTCS}}, volume = {286}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.286}, doi = {10.4204/EPTCS.286}, timestamp = {Mon, 04 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1901-00073.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1903-11138, author = {Bernd Finkbeiner and Christopher Hahn and Tobias Hans}, title = {MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the {\(\exists\)}\({}^{\mbox{*}}\){\(\forall\)}\({}^{\mbox{*}}\) Fragment}, journal = {CoRR}, volume = {abs/1903.11138}, year = {2019}, url = {http://arxiv.org/abs/1903.11138}, eprinttype = {arXiv}, eprint = {1903.11138}, timestamp = {Tue, 02 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1903-11138.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1904-07736, author = {Swen Jacobs and Roderick Bloem and Maximilien Colange and Peter Faymonville and Bernd Finkbeiner and Ayrat Khalimov and Felix Klein and Michael Luttenberger and Philipp J. Meyer and Thibaud Michaud and Mouhammad Sakr and Salomon Sickert and Leander Tentrup and Adam Walker}, title = {The 5th Reactive Synthesis Competition {(SYNTCOMP} 2018): Benchmarks, Participants {\&} Results}, journal = {CoRR}, volume = {abs/1904.07736}, year = {2019}, url = {http://arxiv.org/abs/1904.07736}, eprinttype = {arXiv}, eprint = {1904.07736}, timestamp = {Mon, 19 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1904-07736.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1905-09825, author = {Bernd Finkbeiner and Felix Klein and Ruzica Piskac and Mark Santolucito}, title = {Synthesizing Functional Reactive Programs}, journal = {CoRR}, volume = {abs/1905.09825}, year = {2019}, url = {http://arxiv.org/abs/1905.09825}, eprinttype = {arXiv}, eprint = {1905.09825}, timestamp = {Wed, 29 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1905-09825.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1905-13511, author = {Bernd Finkbeiner and Christopher Hahn and Philip Lukert and Marvin Stenger and Leander Tentrup}, title = {Synthesizing Reactive Systems from Hyperproperties}, journal = {CoRR}, volume = {abs/1905.13511}, year = {2019}, url = {http://arxiv.org/abs/1905.13511}, eprinttype = {arXiv}, eprint = {1905.13511}, timestamp = {Mon, 03 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1905-13511.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1905-13514, author = {Bernd Finkbeiner and Christopher Hahn and Hazem Torfah}, title = {Model Checking Quantitative Hyperproperties}, journal = {CoRR}, volume = {abs/1905.13514}, year = {2019}, url = {http://arxiv.org/abs/1905.13514}, eprinttype = {arXiv}, eprint = {1905.13514}, timestamp = {Mon, 03 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1905-13514.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1906-00798, author = {Bernd Finkbeiner and Christopher Hahn and Marvin Stenger and Leander Tentrup}, title = {RVHyper: {A} Runtime Verification Tool for Temporal Hyperproperties}, journal = {CoRR}, volume = {abs/1906.00798}, year = {2019}, url = {http://arxiv.org/abs/1906.00798}, eprinttype = {arXiv}, eprint = {1906.00798}, timestamp = {Thu, 13 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1906-00798.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1907-00829, author = {Raven Beutner and Bernd Finkbeiner and Jesko Hecking{-}Harbusch}, title = {Translating Asynchronous Games for Distributed Synthesis (Full Version)}, journal = {CoRR}, volume = {abs/1907.00829}, year = {2019}, url = {http://arxiv.org/abs/1907.00829}, eprinttype = {arXiv}, eprint = {1907.00829}, timestamp = {Mon, 08 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-00829.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1907-11061, author = {Bernd Finkbeiner and Manuel Gieseking and Jesko Hecking{-}Harbusch and Ernst{-}R{\"{u}}diger Olderog}, title = {Model Checking Data Flows in Concurrent Network Updates (Full Version)}, journal = {CoRR}, volume = {abs/1907.11061}, year = {2019}, url = {http://arxiv.org/abs/1907.11061}, eprinttype = {arXiv}, eprint = {1907.11061}, timestamp = {Thu, 01 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-11061.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1908-05964, author = {Helmut Seidl and Christian M{\"{u}}ller and Bernd Finkbeiner}, title = {How to Win First-Order Safety Games}, journal = {CoRR}, volume = {abs/1908.05964}, year = {2019}, url = {http://arxiv.org/abs/1908.05964}, eprinttype = {arXiv}, eprint = {1908.05964}, timestamp = {Mon, 19 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1908-05964.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/FinkbeinerPZ18, author = {Bernd Finkbeiner and Geguang Pu and Lijun Zhang}, title = {Preface for the special issue for {ATVA} 2015}, journal = {Acta Informatica}, volume = {55}, number = {8}, pages = {625--626}, year = {2018}, url = {https://doi.org/10.1007/s00236-018-0330-0}, doi = {10.1007/S00236-018-0330-0}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/FinkbeinerPZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/GerstackerKF18, author = {Carsten Gerstacker and Felix Klein and Bernd Finkbeiner}, editor = {Shuvendu K. Lahiri and Chao Wang}, title = {Bounded Synthesis of Reactive Programs}, booktitle = {Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11138}, pages = {441--457}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-01090-4\_26}, doi = {10.1007/978-3-030-01090-4\_26}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/atva/GerstackerKF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/FinkbeinerHH18, author = {Bernd Finkbeiner and Christopher Hahn and Tobias Hans}, editor = {Shuvendu K. Lahiri and Chao Wang}, title = {MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the {\textbackslash}exists {\^{}}*{\textbackslash}forall {\^{}}* {\(\exists\)} {\({_\ast}\)} {\(\forall\)} {\({_\ast}\)} Fragment}, booktitle = {Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11138}, pages = {521--527}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-01090-4\_31}, doi = {10.1007/978-3-030-01090-4\_31}, timestamp = {Mon, 01 Oct 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/FinkbeinerHH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FinkbeinerHT18, author = {Bernd Finkbeiner and Christopher Hahn and Hazem Torfah}, editor = {Hana Chockler and Georg Weissenbacher}, title = {Model Checking Quantitative Hyperproperties}, booktitle = {Computer Aided Verification - 30th International Conference, {CAV} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {10981}, pages = {144--163}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-96145-3\_8}, doi = {10.1007/978-3-319-96145-3\_8}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/FinkbeinerHT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FinkbeinerHLST18, author = {Bernd Finkbeiner and Christopher Hahn and Philip Lukert and Marvin Stenger and Leander Tentrup}, editor = {Hana Chockler and Georg Weissenbacher}, title = {Synthesizing Reactive Systems from Hyperproperties}, booktitle = {Computer Aided Verification - 30th International Conference, {CAV} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {10981}, pages = {289--306}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-96145-3\_16}, doi = {10.1007/978-3-319-96145-3\_16}, timestamp = {Wed, 03 Oct 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/FinkbeinerHLST18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/BonakdarpourF18, author = {Borzoo Bonakdarpour and Bernd Finkbeiner}, title = {The Complexity of Monitoring Hyperproperties}, booktitle = {31st {IEEE} Computer Security Foundations Symposium, {CSF} 2018, Oxford, United Kingdom, July 9-12, 2018}, pages = {162--174}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/CSF.2018.00019}, doi = {10.1109/CSF.2018.00019}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/BonakdarpourF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/FinkbeinerHST18, author = {Bernd Finkbeiner and Christopher Hahn and Marvin Stenger and Leander Tentrup}, editor = {Dirk Beyer and Marieke Huisman}, title = {RVHyper: {A} Runtime Verification Tool for Temporal Hyperproperties}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, {TACAS} 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {10806}, pages = {194--200}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-89963-3\_11}, doi = {10.1007/978-3-319-89963-3\_11}, timestamp = {Fri, 09 Apr 2021 18:45:36 +0200}, biburl = {https://dblp.org/rec/conf/tacas/FinkbeinerHST18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1803-08890, author = {Bernd Finkbeiner and Hazem Torfah}, title = {The Density of Linear-time Properties}, journal = {CoRR}, volume = {abs/1803.08890}, year = {2018}, url = {http://arxiv.org/abs/1803.08890}, eprinttype = {arXiv}, eprint = {1803.08890}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-08890.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1803-09285, author = {Bernd Finkbeiner and Hazem Torfah}, title = {Synthesizing Skeletons for Reactive Systems}, journal = {CoRR}, volume = {abs/1803.09285}, year = {2018}, url = {http://arxiv.org/abs/1803.09285}, eprinttype = {arXiv}, eprint = {1803.09285}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-09285.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1803-09566, author = {Peter Faymonville and Bernd Finkbeiner and Leander Tentrup}, title = {BoSy: An Experimentation Framework for Bounded Synthesis}, journal = {CoRR}, volume = {abs/1803.09566}, year = {2018}, url = {http://arxiv.org/abs/1803.09566}, eprinttype = {arXiv}, eprint = {1803.09566}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-09566.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1803-09570, author = {Peter Faymonville and Bernd Finkbeiner and Markus N. Rabe and Leander Tentrup}, title = {Encodings of Bounded Synthesis}, journal = {CoRR}, volume = {abs/1803.09570}, year = {2018}, url = {http://arxiv.org/abs/1803.09570}, eprinttype = {arXiv}, eprint = {1803.09570}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-09570.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1803-10104, author = {Bernd Finkbeiner and Felix Klein}, title = {Reactive Synthesis: Towards Output-Sensitive Algorithms}, journal = {CoRR}, volume = {abs/1803.10104}, year = {2018}, url = {http://arxiv.org/abs/1803.10104}, eprinttype = {arXiv}, eprint = {1803.10104}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-10104.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1803-10154, author = {Gilles Barthe and Pedro R. D'Argenio and Bernd Finkbeiner and Holger Hermanns}, title = {Facets of Software Doping}, journal = {CoRR}, volume = {abs/1803.10154}, year = {2018}, url = {http://arxiv.org/abs/1803.10154}, eprinttype = {arXiv}, eprint = {1803.10154}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-10154.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1803-10383, author = {Bernd Finkbeiner and Felix Klein and Ruzica Piskac and Mark Santolucito}, title = {Vehicle Platooning Simulations with Functional Reactive Programming}, journal = {CoRR}, volume = {abs/1803.10383}, year = {2018}, url = {http://arxiv.org/abs/1803.10383}, eprinttype = {arXiv}, eprint = {1803.10383}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-10383.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1804-04487, author = {Florian{-}Michael Adolf and Peter Faymonville and Bernd Finkbeiner and Sebastian Schirmer and Christoph Torens}, title = {Stream Runtime Monitoring on {UAS}}, journal = {CoRR}, volume = {abs/1804.04487}, year = {2018}, url = {http://arxiv.org/abs/1804.04487}, eprinttype = {arXiv}, eprint = {1804.04487}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-04487.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1807-00758, author = {Bernd Finkbeiner and Christopher Hahn and Marvin Stenger and Leander Tentrup}, title = {Monitoring Hyperproperties}, journal = {CoRR}, volume = {abs/1807.00758}, year = {2018}, url = {http://arxiv.org/abs/1807.00758}, eprinttype = {arXiv}, eprint = {1807.00758}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1807-00758.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1807-09047, author = {Carsten Gerstacker and Felix Klein and Bernd Finkbeiner}, title = {Bounded Synthesis of Reactive Programs}, journal = {CoRR}, volume = {abs/1807.09047}, year = {2018}, url = {http://arxiv.org/abs/1807.09047}, eprinttype = {arXiv}, eprint = {1807.09047}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1807-09047.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Finkbeiner17, author = {Bernd Finkbeiner}, title = {Temporal Hyperproperties}, journal = {Bull. {EATCS}}, volume = {123}, year = {2017}, url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/514}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eatcs/Finkbeiner17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/FinkbeinerO17, author = {Bernd Finkbeiner and Ernst{-}R{\"{u}}diger Olderog}, title = {Petri games: Synthesis of distributed systems with causal memory}, journal = {Inf. Comput.}, volume = {253}, pages = {181--203}, year = {2017}, url = {https://doi.org/10.1016/j.ic.2016.07.006}, doi = {10.1016/J.IC.2016.07.006}, timestamp = {Thu, 18 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/FinkbeinerO17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/FinkbeinerT17, author = {Bernd Finkbeiner and Hazem Torfah}, editor = {Deepak D'Souza and K. Narayan Kumar}, title = {The Density of Linear-Time Properties}, booktitle = {Automated Technology for Verification and Analysis - 15th International Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10482}, pages = {139--155}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68167-2\_10}, doi = {10.1007/978-3-319-68167-2\_10}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atva/FinkbeinerT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FaymonvilleFT17, author = {Peter Faymonville and Bernd Finkbeiner and Leander Tentrup}, editor = {Rupak Majumdar and Viktor Kuncak}, title = {BoSy: An Experimentation Framework for Bounded Synthesis}, booktitle = {Computer Aided Verification - 29th International Conference, {CAV} 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {10427}, pages = {325--332}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-63390-9\_17}, doi = {10.1007/978-3-319-63390-9\_17}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/FaymonvilleFT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FinkbeinerHS17, author = {Bernd Finkbeiner and Christopher Hahn and Marvin Stenger}, editor = {Rupak Majumdar and Viktor Kuncak}, title = {EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties}, booktitle = {Computer Aided Verification - 29th International Conference, {CAV} 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {10427}, pages = {564--570}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-63390-9\_29}, doi = {10.1007/978-3-319-63390-9\_29}, timestamp = {Fri, 14 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/FinkbeinerHS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/Finkbeiner0SZ17, author = {Bernd Finkbeiner and Christian M{\"{u}}ller and Helmut Seidl and Eugen Zalinescu}, editor = {Bhavani Thuraisingham and David Evans and Tal Malkin and Dongyan Xu}, title = {Verifying Security Policies in Multi-agent Workflows with Loops}, booktitle = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 - November 03, 2017}, pages = {633--645}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3133956.3134080}, doi = {10.1145/3133956.3134080}, timestamp = {Wed, 29 Jun 2022 15:37:41 +0200}, biburl = {https://dblp.org/rec/conf/ccs/Finkbeiner0SZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpsweek/Finkbeiner0PS17, author = {Bernd Finkbeiner and Felix Klein and Ruzica Piskac and Mark Santolucito}, title = {Vehicle Platooning Simulations with Functional Reactive Programming}, booktitle = {Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, SCAV@CPSWeek 2017, Pittsburgh, PA, USA, April 21, 2017}, pages = {43--47}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3055378.3055385}, doi = {10.1145/3055378.3055385}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cpsweek/Finkbeiner0PS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/DArgenioBBFH17, author = {Pedro R. D'Argenio and Gilles Barthe and Sebastian Biewer and Bernd Finkbeiner and Holger Hermanns}, editor = {Hongseok Yang}, title = {Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs}, booktitle = {Programming Languages and Systems - 26th European Symposium on Programming, {ESOP} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10201}, pages = {83--110}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-54434-1\_4}, doi = {10.1007/978-3-662-54434-1\_4}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/DArgenioBBFH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/EhlersF17, author = {R{\"{u}}diger Ehlers and Bernd Finkbeiner}, editor = {Satya V. Lokam and R. Ramanujam}, title = {Symmetric Synthesis}, booktitle = {37th {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2017, December 11-15, 2017, Kanpur, India}, series = {LIPIcs}, volume = {93}, pages = {26:1--26:13}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2017}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2017.26}, doi = {10.4230/LIPICS.FSTTCS.2017.26}, timestamp = {Fri, 03 Sep 2021 15:00:19 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/EhlersF17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/FinkbeinerG17, author = {Bernd Finkbeiner and Paul G{\"{o}}lz}, editor = {Satya V. Lokam and R. Ramanujam}, title = {Synthesis in Distributed Environments}, booktitle = {37th {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2017, December 11-15, 2017, Kanpur, India}, series = {LIPIcs}, volume = {93}, pages = {28:1--28:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2017}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2017.28}, doi = {10.4230/LIPICS.FSTTCS.2017.28}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/FinkbeinerG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/AdolfFFST17, author = {Florian{-}Michael Adolf and Peter Faymonville and Bernd Finkbeiner and Sebastian Schirmer and Christoph Torens}, editor = {Shuvendu K. Lahiri and Giles Reger}, title = {Stream Runtime Monitoring on {UAS}}, booktitle = {Runtime Verification - 17th International Conference, {RV} 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10548}, pages = {33--49}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-67531-2\_3}, doi = {10.1007/978-3-319-67531-2\_3}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rv/AdolfFFST17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/FinkbeinerHST17, author = {Bernd Finkbeiner and Christopher Hahn and Marvin Stenger and Leander Tentrup}, editor = {Shuvendu K. Lahiri and Giles Reger}, title = {Monitoring Hyperproperties}, booktitle = {Runtime Verification - 17th International Conference, {RV} 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10548}, pages = {190--207}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-67531-2\_12}, doi = {10.1007/978-3-319-67531-2\_12}, timestamp = {Wed, 06 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/FinkbeinerHST17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Finkbeiner017, author = {Bernd Finkbeiner and Martin Zimmermann}, editor = {Heribert Vollmer and Brigitte Vall{\'{e}}e}, title = {The First-Order Logic of Hyperproperties}, booktitle = {34th Symposium on Theoretical Aspects of Computer Science, {STACS} 2017, March 8-11, 2017, Hannover, Germany}, series = {LIPIcs}, volume = {66}, pages = {30:1--30:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2017}, url = {https://doi.org/10.4230/LIPIcs.STACS.2017.30}, doi = {10.4230/LIPICS.STACS.2017.30}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/stacs/Finkbeiner017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/FaymonvilleFRT17, author = {Peter Faymonville and Bernd Finkbeiner and Markus N. Rabe and Leander Tentrup}, editor = {Axel Legay and Tiziana Margaria}, title = {Encodings of Bounded Synthesis}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, {TACAS} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {10205}, pages = {354--370}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-54577-5\_20}, doi = {10.1007/978-3-662-54577-5\_20}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/FaymonvilleFRT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1711-10637, author = {Bernd Finkbeiner and Manuel Gieseking and Jesko Hecking{-}Harbusch and Ernst{-}R{\"{u}}diger Olderog}, editor = {Dana Fisman and Swen Jacobs}, title = {Symbolic vs. Bounded Synthesis for Petri Games}, booktitle = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017}, series = {{EPTCS}}, volume = {260}, pages = {23--43}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.260.5}, doi = {10.4204/EPTCS.260.5}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1711-10637.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1710-03391, author = {Bernd Finkbeiner and Andrey Kupriyanov}, editor = {Alex Groce and Stefan Leue}, title = {Causality-based Model Checking}, booktitle = {Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2017, Uppsala, Sweden, 29th April 2017}, series = {{EPTCS}}, volume = {259}, pages = {31--38}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.259.3}, doi = {10.4204/EPTCS.259.3}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1710-03391.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1711-11439, author = {Swen Jacobs and Nicolas Basset and Roderick Bloem and Romain Brenguier and Maximilien Colange and Peter Faymonville and Bernd Finkbeiner and Ayrat Khalimov and Felix Klein and Thibaud Michaud and Guillermo A. P{\'{e}}rez and Jean{-}Fran{\c{c}}ois Raskin and Ocan Sankur and Leander Tentrup}, editor = {Dana Fisman and Swen Jacobs}, title = {The 4th Reactive Synthesis Competition {(SYNTCOMP} 2017): Benchmarks, Participants {\&} Results}, booktitle = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017}, series = {{EPTCS}}, volume = {260}, pages = {116--143}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.260.10}, doi = {10.4204/EPTCS.260.10}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1711-11439.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/natosec/Finkbeiner017, author = {Bernd Finkbeiner and Felix Klein}, editor = {Alexander Pretschner and Doron Peled and Thomas Hutzelmann}, title = {Reactive Synthesis: Towards Output-Sensitive Algorithms}, booktitle = {Dependable Software Systems Engineering}, series = {{NATO} Science for Peace and Security Series - {D:} Information and Communication Security}, volume = {50}, pages = {25--43}, publisher = {{IOS} Press}, year = {2017}, url = {https://doi.org/10.3233/978-1-61499-810-5-25}, doi = {10.3233/978-1-61499-810-5-25}, timestamp = {Tue, 06 Aug 2019 09:52:02 +0200}, biburl = {https://dblp.org/rec/series/natosec/Finkbeiner017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/DArgenioBBFH17, author = {Pedro R. D'Argenio and Gilles Barthe and Sebastian Biewer and Bernd Finkbeiner and Holger Hermanns}, title = {Is your software on dope? Formal analysis of surreptitiously "enhanced" programs}, journal = {CoRR}, volume = {abs/1702.04693}, year = {2017}, url = {http://arxiv.org/abs/1702.04693}, eprinttype = {arXiv}, eprint = {1702.04693}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DArgenioBBFH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1708-09013, author = {Bernd Finkbeiner and Christian M{\"{u}}ller and Helmut Seidl and Eugen Zalinescu}, title = {Verifying Security Policies in Multi-agent Workflows with Loops}, journal = {CoRR}, volume = {abs/1708.09013}, year = {2017}, url = {http://arxiv.org/abs/1708.09013}, eprinttype = {arXiv}, eprint = {1708.09013}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1708-09013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1710-05368, author = {Bernd Finkbeiner and Paul G{\"{o}}lz}, title = {Synthesis in Distributed Environments}, journal = {CoRR}, volume = {abs/1710.05368}, year = {2017}, url = {http://arxiv.org/abs/1710.05368}, eprinttype = {arXiv}, eprint = {1710.05368}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1710-05368.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1710-05633, author = {R{\"{u}}diger Ehlers and Bernd Finkbeiner}, title = {Symmetric Synthesis}, journal = {CoRR}, volume = {abs/1710.05633}, year = {2017}, url = {http://arxiv.org/abs/1710.05633}, eprinttype = {arXiv}, eprint = {1710.05633}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1710-05633.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1711-03829, author = {Peter Faymonville and Bernd Finkbeiner and Maximilian Schwenger and Hazem Torfah}, title = {Real-time Stream-based Monitoring}, journal = {CoRR}, volume = {abs/1711.03829}, year = {2017}, url = {http://arxiv.org/abs/1711.03829}, eprinttype = {arXiv}, eprint = {1711.03829}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1711-03829.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1712-00246, author = {Bernd Finkbeiner and Felix Klein and Ruzica Piskac and Mark Santolucito}, title = {Temporal Stream Logic: Synthesis beyond the Bools}, journal = {CoRR}, volume = {abs/1712.00246}, year = {2017}, url = {http://arxiv.org/abs/1712.00246}, eprinttype = {arXiv}, eprint = {1712.00246}, timestamp = {Tue, 21 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1712-00246.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/FinkbeinerS16, author = {Bernd Finkbeiner and C{\'{e}}sar S{\'{a}}nchez}, title = {Special issue on Rich Models, {EU-COST} Action {IC0901} Rich-Model Toolkit}, journal = {Acta Informatica}, volume = {53}, number = {4}, pages = {325--326}, year = {2016}, url = {https://doi.org/10.1007/s00236-016-0259-0}, doi = {10.1007/S00236-016-0259-0}, timestamp = {Wed, 28 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/acta/FinkbeinerS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/FinkbeinerS016, author = {Bernd Finkbeiner and Helmut Seidl and Christian M{\"{u}}ller}, editor = {Cyrille Artho and Axel Legay and Doron Peled}, title = {Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents}, booktitle = {Automated Technology for Verification and Analysis - 14th International Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9938}, pages = {157--173}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-46520-3\_11}, doi = {10.1007/978-3-319-46520-3\_11}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/atva/FinkbeinerS016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/FinkbeinerT16, author = {Bernd Finkbeiner and Hazem Torfah}, editor = {Cyrille Artho and Axel Legay and Doron Peled}, title = {Synthesizing Skeletons for Reactive Systems}, booktitle = {Automated Technology for Verification and Analysis - 14th International Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9938}, pages = {271--286}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-46520-3\_18}, doi = {10.1007/978-3-319-46520-3\_18}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atva/FinkbeinerT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FinkbeinerK16, author = {Bernd Finkbeiner and Felix Klein}, editor = {Swarat Chaudhuri and Azadeh Farzan}, title = {Bounded Cycle Synthesis}, booktitle = {Computer Aided Verification - 28th International Conference, {CAV} 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {9779}, pages = {118--135}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-41528-4\_7}, doi = {10.1007/978-3-319-41528-4\_7}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/FinkbeinerK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/FinkbeinerH16, author = {Bernd Finkbeiner and Christopher Hahn}, editor = {Jos{\'{e}}e Desharnais and Radha Jagadeesan}, title = {Deciding Hyperproperties}, booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016, August 23-26, 2016, Qu{\'{e}}bec City, Canada}, series = {LIPIcs}, volume = {59}, pages = {13:1--13:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2016}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.13}, doi = {10.4230/LIPICS.CONCUR.2016.13}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/concur/FinkbeinerH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/FinkbeinerR16, author = {Bernd Finkbeiner and Markus N. Rabe}, editor = {Ruzica Piskac and Muralidhar Talupur}, title = {Verifying hyperproperties of hardware systems}, booktitle = {2016 Formal Methods in Computer-Aided Design, {FMCAD} 2016, Mountain View, CA, USA, October 3-6, 2016}, pages = {5}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/FMCAD.2016.7886651}, doi = {10.1109/FMCAD.2016.7886651}, timestamp = {Wed, 16 Oct 2019 14:14:56 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/FinkbeinerR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/BartheDFH16, author = {Gilles Barthe and Pedro R. D'Argenio and Bernd Finkbeiner and Holger Hermanns}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {Facets of Software Doping}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {9953}, pages = {601--608}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-47169-3\_46}, doi = {10.1007/978-3-319-47169-3\_46}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/isola/BartheDFH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/BonakdarpourF16, author = {Borzoo Bonakdarpour and Bernd Finkbeiner}, editor = {Yli{\`{e}}s Falcone and C{\'{e}}sar S{\'{a}}nchez}, title = {Runtime Verification for HyperLTL}, booktitle = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid, Spain, September 23-30, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10012}, pages = {41--45}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-46982-9\_4}, doi = {10.1007/978-3-319-46982-9\_4}, timestamp = {Wed, 28 Dec 2022 16:42:42 +0100}, biburl = {https://dblp.org/rec/conf/rv/BonakdarpourF16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/FaymonvilleFST16, author = {Peter Faymonville and Bernd Finkbeiner and Sebastian Schirmer and Hazem Torfah}, editor = {Yli{\`{e}}s Falcone and C{\'{e}}sar S{\'{a}}nchez}, title = {A Stream-Based Specification Language for Network Monitoring}, booktitle = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid, Spain, September 23-30, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10012}, pages = {152--168}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-46982-9\_10}, doi = {10.1007/978-3-319-46982-9\_10}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rv/FaymonvilleFST16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/DammFR16, author = {Werner Damm and Bernd Finkbeiner and Astrid Rakow}, editor = {Ruzica Piskac and Rayna Dimitrova}, title = {What You Really Need To Know About Your Neighbor}, booktitle = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016}, series = {{EPTCS}}, volume = {229}, pages = {21--34}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.229.4}, doi = {10.4204/EPTCS.229.4}, timestamp = {Wed, 12 Sep 2018 01:05:13 +0200}, biburl = {https://dblp.org/rec/journals/corr/DammFR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/natosec/Finkbeiner16, author = {Bernd Finkbeiner}, editor = {Javier Esparza and Orna Grumberg and Salomon Sickert}, title = {Synthesis of Reactive Systems}, booktitle = {Dependable Software Systems Engineering}, series = {{NATO} Science for Peace and Security Series - {D:} Information and Communication Security}, volume = {45}, pages = {72--98}, publisher = {{IOS} Press}, year = {2016}, url = {https://doi.org/10.3233/978-1-61499-627-9-72}, doi = {10.3233/978-1-61499-627-9-72}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/natosec/Finkbeiner16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FinkbeinerK16, author = {Bernd Finkbeiner and Felix Klein}, title = {Bounded Cycle Synthesis}, journal = {CoRR}, volume = {abs/1605.01511}, year = {2016}, url = {http://arxiv.org/abs/1605.01511}, eprinttype = {arXiv}, eprint = {1605.01511}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FinkbeinerK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FinkbeinerH16, author = {Bernd Finkbeiner and Christopher Hahn}, title = {Deciding Hyperproperties}, journal = {CoRR}, volume = {abs/1606.07047}, year = {2016}, url = {http://arxiv.org/abs/1606.07047}, eprinttype = {arXiv}, eprint = {1606.07047}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FinkbeinerH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FinkbeinerZ16, author = {Bernd Finkbeiner and Martin Zimmermann}, title = {The First-Order Logic of Hyperproperties}, journal = {CoRR}, volume = {abs/1610.04388}, year = {2016}, url = {http://arxiv.org/abs/1610.04388}, eprinttype = {arXiv}, eprint = {1610.04388}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FinkbeinerZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FinkbeinerT15, author = {Bernd Finkbeiner and Leander Tentrup}, title = {Detecting Unrealizability of Distributed Fault-tolerant Systems}, journal = {Log. Methods Comput. Sci.}, volume = {11}, number = {3}, year = {2015}, url = {https://doi.org/10.2168/LMCS-11(3:12)2015}, doi = {10.2168/LMCS-11(3:12)2015}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FinkbeinerT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Finkbeiner15, author = {Bernd Finkbeiner}, editor = {Roland Meyer and Andr{\'{e}} Platzer and Heike Wehrheim}, title = {Bounded Synthesis for Petri Games}, booktitle = {Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9360}, pages = {223--237}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-23506-6\_15}, doi = {10.1007/978-3-319-23506-6\_15}, timestamp = {Mon, 02 Sep 2019 16:45:58 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Finkbeiner15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FinkbeinerRS15, author = {Bernd Finkbeiner and Markus N. Rabe and C{\'{e}}sar S{\'{a}}nchez}, editor = {Daniel Kroening and Corina S. Pasareanu}, title = {Algorithms for Model Checking HyperLTL and HyperCTL {\^{}}*}, booktitle = {Computer Aided Verification - 27th International Conference, {CAV} 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {9206}, pages = {30--48}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-21690-4\_3}, doi = {10.1007/978-3-319-21690-4\_3}, timestamp = {Wed, 28 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/FinkbeinerRS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FinkbeinerGO15, author = {Bernd Finkbeiner and Manuel Gieseking and Ernst{-}R{\"{u}}diger Olderog}, editor = {Daniel Kroening and Corina S. Pasareanu}, title = {Adam: Causality-Based Synthesis of Distributed Systems}, booktitle = {Computer Aided Verification - 27th International Conference, {CAV} 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {9206}, pages = {433--439}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-21690-4\_25}, doi = {10.1007/978-3-319-21690-4\_25}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/FinkbeinerGO15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/atva/2015, editor = {Bernd Finkbeiner and Geguang Pu and Lijun Zhang}, title = {Automated Technology for Verification and Analysis - 13th International Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9364}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24953-7}, doi = {10.1007/978-3-319-24953-7}, isbn = {978-3-319-24952-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/birthday/2015gurevich, editor = {Lev D. Beklemishev and Andreas Blass and Nachum Dershowitz and Bernd Finkbeiner and Wolfram Schulte}, title = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday}, series = {Lecture Notes in Computer Science}, volume = {9300}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-23534-9}, doi = {10.1007/978-3-319-23534-9}, isbn = {978-3-319-23533-2}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/2015gurevich.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/it/FinkbeinerR14, author = {Bernd Finkbeiner and Markus N. Rabe}, title = {The linear-hyper-branching spectrum of temporal logics}, journal = {it Inf. Technol.}, volume = {56}, number = {6}, pages = {273--279}, year = {2014}, url = {http://www.degruyter.com/view/j/itit.2014.56.issue-6/itit-2014-1067/itit-2014-1067.xml}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/it/FinkbeinerR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/KupriyanovF14, author = {Andrey Kupriyanov and Bernd Finkbeiner}, editor = {Armin Biere and Roderick Bloem}, title = {Causal Termination of Multi-threaded Programs}, booktitle = {Computer Aided Verification - 26th International Conference, {CAV} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 18-22, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8559}, pages = {814--830}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-08867-9\_54}, doi = {10.1007/978-3-319-08867-9\_54}, timestamp = {Mon, 03 Jan 2022 22:13:44 +0100}, biburl = {https://dblp.org/rec/conf/cav/KupriyanovF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/DammF14, author = {Werner Damm and Bernd Finkbeiner}, editor = {Cliff B. Jones and Pekka Pihlajasaari and Jun Sun}, title = {Automatic Compositional Synthesis of Distributed Systems}, booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8442}, pages = {179--193}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-06410-9\_13}, doi = {10.1007/978-3-319-06410-9\_13}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/DammF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lata/FinkbeinerT14, author = {Bernd Finkbeiner and Hazem Torfah}, editor = {Adrian{-}Horia Dediu and Carlos Mart{\'{\i}}n{-}Vide and Jos{\'{e}} Luis Sierra{-}Rodr{\'{\i}}guez and Bianca Truthe}, title = {Counting Models of Linear-Time Temporal Logic}, booktitle = {Language and Automata Theory and Applications - 8th International Conference, {LATA} 2014, Madrid, Spain, March 10-14, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8370}, pages = {360--371}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-04921-2\_29}, doi = {10.1007/978-3-319-04921-2\_29}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lata/FinkbeinerT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/post/ClarksonFKMRS14, author = {Michael R. Clarkson and Bernd Finkbeiner and Masoud Koleini and Kristopher K. Micinski and Markus N. Rabe and C{\'{e}}sar S{\'{a}}nchez}, editor = {Mart{\'{\i}}n Abadi and Steve Kremer}, title = {Temporal Logics for Hyperproperties}, booktitle = {Principles of Security and Trust - Third International Conference, {POST} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8414}, pages = {265--284}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54792-8\_15}, doi = {10.1007/978-3-642-54792-8\_15}, timestamp = {Wed, 28 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/post/ClarksonFKMRS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/FinkbeinerT14, author = {Bernd Finkbeiner and Leander Tentrup}, editor = {Carsten Sinz and Uwe Egly}, title = {Fast {DQBF} Refutation}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8561}, pages = {243--251}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-09284-3\_19}, doi = {10.1007/978-3-319-09284-3\_19}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/sat/FinkbeinerT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/FinkbeinerT14, author = {Bernd Finkbeiner and Leander Tentrup}, editor = {Erika {\'{A}}brah{\'{a}}m and Klaus Havelund}, title = {Detecting Unrealizable Specifications of Distributed Systems}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, {TACAS} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8413}, pages = {78--92}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54862-8\_6}, doi = {10.1007/978-3-642-54862-8\_6}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/FinkbeinerT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/FaymonvilleFP14, author = {Peter Faymonville and Bernd Finkbeiner and Doron A. Peled}, editor = {Kenneth L. McMillan and Xavier Rival}, title = {Monitoring Parametric Temporal Logic}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 15th International Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8318}, pages = {357--375}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54013-4\_20}, doi = {10.1007/978-3-642-54013-4\_20}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/FaymonvilleFP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/FinkbeinerO14, author = {Bernd Finkbeiner and Ernst{-}R{\"{u}}diger Olderog}, editor = {Adriano Peron and Carla Piazza}, title = {Petri Games: Synthesis of Distributed Systems with Causal Memory}, booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014}, series = {{EPTCS}}, volume = {161}, pages = {217--230}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.161.19}, doi = {10.4204/EPTCS.161.19}, timestamp = {Wed, 12 Sep 2018 01:05:14 +0200}, biburl = {https://dblp.org/rec/journals/corr/FinkbeinerO14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/FinkbeinerS14, editor = {Bernd Finkbeiner and Armando Solar{-}Lezama}, title = {Proceedings Second Workshop on Synthesis, {SYNT} 2013, Saint Petersburg, Russia, July 13th and July 14th, 2013}, series = {{EPTCS}}, volume = {142}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.142}, doi = {10.4204/EPTCS.142}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FinkbeinerS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ClarksonFKMRS14, author = {Michael R. Clarkson and Bernd Finkbeiner and Masoud Koleini and Kristopher K. Micinski and Markus N. Rabe and C{\'{e}}sar S{\'{a}}nchez}, title = {Temporal Logics for Hyperproperties}, journal = {CoRR}, volume = {abs/1401.4492}, year = {2014}, url = {http://arxiv.org/abs/1401.4492}, eprinttype = {arXiv}, eprint = {1401.4492}, timestamp = {Wed, 28 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/ClarksonFKMRS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/FinkbeinerS13, author = {Bernd Finkbeiner and Sven Schewe}, title = {Bounded synthesis}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {15}, number = {5-6}, pages = {519--539}, year = {2013}, url = {https://doi.org/10.1007/s10009-012-0228-z}, doi = {10.1007/S10009-012-0228-Z}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/FinkbeinerS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/Finkbeiner13, author = {Bernd Finkbeiner}, editor = {Alexei Lisitsa and Andrei P. Nemytykh}, title = {Transforming Undecidable Synthesis Problems into Decidable Problems}, booktitle = {First International Workshop on Verification and Program Transformation, {VPT} 2013, Saint Petersburg, Russia, July 12-13, 2013}, series = {EPiC Series in Computing}, volume = {16}, pages = {9}, publisher = {EasyChair}, year = {2013}, url = {https://doi.org/10.29007/tj84}, doi = {10.29007/TJ84}, timestamp = {Fri, 03 Jun 2022 08:18:13 +0200}, biburl = {https://dblp.org/rec/conf/cav/Finkbeiner13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/KovacsSF13, author = {M{\'{a}}t{\'{e}} Kov{\'{a}}cs and Helmut Seidl and Bernd Finkbeiner}, editor = {Ahmad{-}Reza Sadeghi and Virgil D. Gligor and Moti Yung}, title = {Relational abstract interpretation for the verification of 2-hypersafety properties}, booktitle = {2013 {ACM} {SIGSAC} Conference on Computer and Communications Security, CCS'13, Berlin, Germany, November 4-8, 2013}, pages = {211--222}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2508859.2516721}, doi = {10.1145/2508859.2516721}, timestamp = {Tue, 10 Nov 2020 19:58:06 +0100}, biburl = {https://dblp.org/rec/conf/ccs/KovacsSF13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/KupriyanovF13, author = {Andrey Kupriyanov and Bernd Finkbeiner}, editor = {Pedro R. D'Argenio and Hern{\'{a}}n C. Melgratti}, title = {Causality-Based Verification of Multi-threaded Programs}, booktitle = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference, {CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8052}, pages = {257--272}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40184-8\_19}, doi = {10.1007/978-3-642-40184-8\_19}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/KupriyanovF13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1303-0790, author = {Rayna Dimitrova and Bernd Finkbeiner}, editor = {Fabio Mogavero and Aniello Murano and Moshe Y. Vardi}, title = {Lossy Channel Games under Incomplete Information}, booktitle = {Proceedings 1st International Workshop on Strategic Reasoning, {SR} 2013, Rome, Italy, March 16-17, 2013}, series = {{EPTCS}}, volume = {112}, pages = {43--51}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.112.9}, doi = {10.4204/EPTCS.112.9}, timestamp = {Sat, 30 Sep 2023 10:08:06 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1303-0790.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FinkbeinerRS13, author = {Bernd Finkbeiner and Markus N. Rabe and C{\'{e}}sar S{\'{a}}nchez}, title = {A Temporal Logic for Hyperproperties}, journal = {CoRR}, volume = {abs/1306.6657}, year = {2013}, url = {http://arxiv.org/abs/1306.6657}, eprinttype = {arXiv}, eprint = {1306.6657}, timestamp = {Wed, 28 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/FinkbeinerRS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1210-0574, author = {Lars Kuhtz and Bernd Finkbeiner}, title = {Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds}, journal = {Log. Methods Comput. Sci.}, volume = {8}, number = {4}, year = {2012}, url = {https://doi.org/10.2168/LMCS-8(4:10)2012}, doi = {10.2168/LMCS-8(4:10)2012}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-0574.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/formats/DimitrovaF12, author = {Rayna Dimitrova and Bernd Finkbeiner}, editor = {Marcin Jurdzinski and Dejan Nickovic}, title = {Counterexample-Guided Synthesis of Observation Predicates}, booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7595}, pages = {107--122}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33365-1\_9}, doi = {10.1007/978-3-642-33365-1\_9}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/formats/DimitrovaF12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/formats/PeterF12, author = {Hans{-}J{\"{o}}rg Peter and Bernd Finkbeiner}, editor = {Marcin Jurdzinski and Dejan Nickovic}, title = {The Complexity of Bounded Synthesis for Timed Control with Partial Observability}, booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7595}, pages = {204--219}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33365-1\_15}, doi = {10.1007/978-3-642-33365-1\_15}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/formats/PeterF12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/DimitrovaFR12, author = {Rayna Dimitrova and Bernd Finkbeiner and Markus N. Rabe}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {Monitoring Temporal Information Flow}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {7609}, pages = {342--357}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-34026-0\_26}, doi = {10.1007/978-3-642-34026-0\_26}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/isola/DimitrovaFR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itaero/0002EFP12, author = {Michael Gerke and R{\"{u}}diger Ehlers and Bernd Finkbeiner and Hans{-}J{\"{o}}rg Peter}, title = {FlexRay for Avionics: Automatic Verification with Parametric Physical Layers}, booktitle = {Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21, 2012}, year = {2012}, url = {https://doi.org/10.2514/6.2012-2583}, doi = {10.2514/6.2012-2583}, timestamp = {Fri, 05 May 2017 13:12:21 +0200}, biburl = {https://dblp.org/rec/conf/itaero/0002EFP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/FinkbeinerP12, author = {Bernd Finkbeiner and Hans{-}J{\"{o}}rg Peter}, editor = {Cormac Flanagan and Barbara K{\"{o}}nig}, title = {Template-Based Controller Synthesis for Timed Systems}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, {TACAS} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7214}, pages = {392--406}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28756-5\_27}, doi = {10.1007/978-3-642-28756-5\_27}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/FinkbeinerP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/DimitrovaFKRS12, author = {Rayna Dimitrova and Bernd Finkbeiner and M{\'{a}}t{\'{e}} Kov{\'{a}}cs and Markus N. Rabe and Helmut Seidl}, editor = {Viktor Kuncak and Andrey Rybalchenko}, title = {Model Checking Information Flow in Reactive Systems}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7148}, pages = {169--185}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-27940-9\_12}, doi = {10.1007/978-3-642-27940-9\_12}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/DimitrovaFKRS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/FinkbeinerJ12, author = {Bernd Finkbeiner and Swen Jacobs}, editor = {Viktor Kuncak and Andrey Rybalchenko}, title = {Lazy Synthesis}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7148}, pages = {219--234}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-27940-9\_15}, doi = {10.1007/978-3-642-27940-9\_15}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/FinkbeinerJ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/abs-1202-4229, editor = {Johannes Reich and Bernd Finkbeiner}, title = {Proceedings Second International Workshop on Interactions, Games and Protocols, {IWIGP} 2012, Tallinn, Estonia, 25th March 2012}, series = {{EPTCS}}, volume = {78}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.78}, doi = {10.4204/EPTCS.78}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1202-4229.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/KuhtzF11, author = {Lars Kuhtz and Bernd Finkbeiner}, editor = {Joost{-}Pieter Katoen and Barbara K{\"{o}}nig}, title = {Weak Kripke Structures and {LTL}}, booktitle = {{CONCUR} 2011 - Concurrency Theory - 22nd International Conference, {CONCUR} 2011, Aachen, Germany, September 6-9, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6901}, pages = {419--433}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-23217-6\_28}, doi = {10.1007/978-3-642-23217-6\_28}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/KuhtzF11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/DammF11, author = {Werner Damm and Bernd Finkbeiner}, editor = {Michael J. Butler and Wolfram Schulte}, title = {Does It Pay to Extend the Perimeter of a World Model?}, booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6664}, pages = {12--26}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21437-0\_4}, doi = {10.1007/978-3-642-21437-0\_4}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/DammF11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/EhlersF11, author = {R{\"{u}}diger Ehlers and Bernd Finkbeiner}, editor = {Sarfraz Khurshid and Koushik Sen}, title = {Monitoring Realizability}, booktitle = {Runtime Verification - Second International Conference, {RV} 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7186}, pages = {427--441}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-29860-8\_34}, doi = {10.1007/978-3-642-29860-8\_34}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/rv/EhlersF11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1106-1240, author = {R{\"{u}}diger Ehlers and Bernd Finkbeiner}, editor = {Giovanna D'Agostino and Salvatore La Torre}, title = {Reactive Safety}, booktitle = {Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011}, series = {{EPTCS}}, volume = {54}, pages = {178--191}, year = {2011}, url = {https://doi.org/10.4204/EPTCS.54.13}, doi = {10.4204/EPTCS.54.13}, timestamp = {Wed, 12 Sep 2018 01:05:14 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1106-1240.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/abs-1102-3741, editor = {Johannes Reich and Bernd Finkbeiner}, title = {Proceedings International Workshop on Interactions, Games and Protocols, iWIGP 2011, Saarbr{\"{u}}cken, Germany, 27th March 2011}, series = {{EPTCS}}, volume = {50}, year = {2011}, url = {https://doi.org/10.4204/EPTCS.50}, doi = {10.4204/EPTCS.50}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1102-3741.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iee/FinkbeinerPS10, author = {Bernd Finkbeiner and Hans{-}J{\"{o}}rg Peter and Sven Schewe}, title = {Synthesising certificates in networks of timed automata}, journal = {{IET} Softw.}, volume = {4}, number = {3}, pages = {222--235}, year = {2010}, url = {https://doi.org/10.1049/iet-sen.2009.0047}, doi = {10.1049/IET-SEN.2009.0047}, timestamp = {Fri, 22 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iee/FinkbeinerPS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/FinkbeinerS10, author = {Bernd Finkbeiner and Sven Schewe}, editor = {Anuj Dawar and Helmut Veith}, title = {Coordination Logic}, booktitle = {Computer Science Logic, 24th International Workshop, {CSL} 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6247}, pages = {305--319}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15205-4\_25}, doi = {10.1007/978-3-642-15205-4\_25}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/csl/FinkbeinerS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmics/GerkeEFP10, author = {Michael Gerke and R{\"{u}}diger Ehlers and Bernd Finkbeiner and Hans{-}J{\"{o}}rg Peter}, editor = {Stefan Kowalewski and Marco Roveri}, title = {Model Checking the FlexRay Physical Layer Protocol}, booktitle = {Formal Methods for Industrial Critical Systems - 15th International Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6371}, pages = {132--147}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15898-8\_9}, doi = {10.1007/978-3-642-15898-8\_9}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fmics/GerkeEFP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/EhlersF10, author = {R{\"{u}}diger Ehlers and Bernd Finkbeiner}, editor = {Jaco van de Pol and Michael Weber}, title = {On the Virtue of Patience: Minimizing B{\"{u}}chi Automata}, booktitle = {Model Checking Software - 17th International {SPIN} Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6349}, pages = {129--145}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16164-3\_10}, doi = {10.1007/978-3-642-16164-3\_10}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/spin/EhlersF10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/DragerKFW10, author = {Klaus Dr{\"{a}}ger and Andrey Kupriyanov and Bernd Finkbeiner and Heike Wehrheim}, editor = {Javier Esparza and Rupak Majumdar}, title = {{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6015}, pages = {271--274}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-12002-2\_22}, doi = {10.1007/978-3-642-12002-2\_22}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/DragerKFW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FinkbeinerGP10, author = {Bernd Finkbeiner and Yuri Gurevich and Alexander K. Petrenko}, editor = {Bernd Finkbeiner and Yuri Gurevich and Alexander K. Petrenko}, title = {Preface}, booktitle = {Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS 2010, Paphos, Cyprus, March 21, 2010}, series = {Electronic Notes in Theoretical Computer Science}, volume = {264}, number = {3}, pages = {1}, publisher = {Elsevier}, year = {2010}, url = {https://doi.org/10.1016/j.entcs.2010.12.010}, doi = {10.1016/J.ENTCS.2010.12.010}, timestamp = {Fri, 10 Mar 2023 10:51:54 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FinkbeinerGP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbt/2010, editor = {Bernd Finkbeiner and Yuri Gurevich and Alexander K. Petrenko}, title = {Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS 2010, Paphos, Cyprus, March 21, 2010}, series = {Electronic Notes in Theoretical Computer Science}, volume = {264}, number = {3}, publisher = {Elsevier}, year = {2010}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/264/issue/3}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbt/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rv/2010, editor = {Howard Barringer and Yli{\`{e}}s Falcone and Bernd Finkbeiner and Klaus Havelund and Insup Lee and Gordon J. Pace and Grigore Rosu and Oleg Sokolsky and Nikolai Tillmann}, title = {Runtime Verification - First International Conference, {RV} 2010, St. Julians, Malta, November 1-4, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6418}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16612-9}, doi = {10.1007/978-3-642-16612-9}, isbn = {978-3-642-16611-2}, timestamp = {Thu, 26 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rv/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/DragerFP09, author = {Klaus Dr{\"{a}}ger and Bernd Finkbeiner and Andreas Podelski}, title = {Directed model checking with distance-preserving abstractions}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {11}, number = {1}, pages = {27--37}, year = {2009}, url = {https://doi.org/10.1007/s10009-008-0092-z}, doi = {10.1007/S10009-008-0092-Z}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/DragerFP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/DimitrovaF09, author = {Rayna Dimitrova and Bernd Finkbeiner}, editor = {Zhiming Liu and Anders P. Ravn}, title = {Synthesis of Fault-Tolerant Distributed Systems}, booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5799}, pages = {321--336}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04761-9\_24}, doi = {10.1007/978-3-642-04761-9\_24}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/atva/DimitrovaF09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/KuhtzF09, author = {Lars Kuhtz and Bernd Finkbeiner}, editor = {Susanne Albers and Alberto Marchetti{-}Spaccamela and Yossi Matias and Sotiris E. Nikoletseas and Wolfgang Thomas}, title = {{LTL} Path Checking Is Efficiently Parallelizable}, booktitle = {Automata, Languages and Programming, 36th Internatilonal Colloquium, {ICALP} 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {5556}, pages = {235--246}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02930-1\_20}, doi = {10.1007/978-3-642-02930-1\_20}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/KuhtzF09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/FinkbeinerK09, author = {Bernd Finkbeiner and Lars Kuhtz}, editor = {Saddek Bensalem and Doron A. Peled}, title = {Monitor Circuits for {LTL} with Bounded and Unbounded Future}, booktitle = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble, France, June 26-28, 2009. Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5779}, pages = {60--75}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04694-0\_5}, doi = {10.1007/978-3-642-04694-0\_5}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/rv/FinkbeinerK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FinkbeinerGP09, author = {Bernd Finkbeiner and Yuri Gurevich and Alexander K. Petrenko}, editor = {Bernd Finkbeiner and Yuri Gurevich and Alexander K. Petrenko}, title = {Preface}, booktitle = {Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009}, series = {Electronic Notes in Theoretical Computer Science}, volume = {253}, number = {2}, pages = {1}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/j.entcs.2009.09.047}, doi = {10.1016/J.ENTCS.2009.09.047}, timestamp = {Fri, 24 Feb 2023 15:15:05 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FinkbeinerGP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbt/2009, editor = {Bernd Finkbeiner and Yuri Gurevich and Alexander K. Petrenko}, title = {Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009}, series = {Electronic Notes in Theoretical Computer Science}, volume = {253}, number = {2}, publisher = {Elsevier}, year = {2009}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/253/issue/2}, timestamp = {Fri, 24 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbt/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BrucknerDFW08, author = {Ingo Br{\"{u}}ckner and Klaus Dr{\"{a}}ger and Bernd Finkbeiner and Heike Wehrheim}, title = {Slicing Abstractions}, journal = {Fundam. Informaticae}, volume = {89}, number = {4}, pages = {369--392}, year = {2008}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-4-02}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BrucknerDFW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/DragerF08, author = {Klaus Dr{\"{a}}ger and Bernd Finkbeiner}, editor = {Franck van Breugel and Marsha Chechik}, title = {Subsequence Invariants}, booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference, {CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5201}, pages = {172--186}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-85361-9\_17}, doi = {10.1007/978-3-540-85361-9\_17}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/DragerF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/DimitrovaF08, author = {Rayna Dimitrova and Bernd Finkbeiner}, editor = {Ramesh Hariharan and Madhavan Mukund and V. Vinay}, title = {Abstraction Refinement for Games with Incomplete Information}, booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008, Bangalore, India}, series = {LIPIcs}, volume = {2}, pages = {175--186}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2008}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1751}, doi = {10.4230/LIPICS.FSTTCS.2008.1751}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/DimitrovaF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rtss/FinkbeinerPS08, author = {Bernd Finkbeiner and Hans{-}J{\"{o}}rg Peter and Sven Schewe}, title = {Synthesizing Certificates in Networks of Timed Automata}, booktitle = {Proceedings of the 29th {IEEE} Real-Time Systems Symposium, {RTSS} 2008, Barcelona, Spain, 30 November - 3 December 2008}, pages = {183--194}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/RTSS.2008.46}, doi = {10.1109/RTSS.2008.46}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rtss/FinkbeinerPS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/FinkbeinerPS08, author = {Bernd Finkbeiner and Hans{-}J{\"{o}}rg Peter and Sven Schewe}, editor = {C. R. Ramakrishnan and Jakob Rehof}, title = {{RESY:} Requirement Synthesis for Compositional Model Checking}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, {TACAS} 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4963}, pages = {463--466}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78800-3\_35}, doi = {10.1007/978-3-540-78800-3\_35}, timestamp = {Mon, 03 Apr 2023 17:23:33 +0200}, biburl = {https://dblp.org/rec/conf/tacas/FinkbeinerPS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FinkbeinerGP08, author = {Bernd Finkbeiner and Yuri Gurevich and Alexander K. Petrenko}, editor = {Bernd Finkbeiner and Yuri Gurevich and Alexander K. Petrenko}, title = {Preface}, booktitle = {Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {220}, number = {1}, pages = {1}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.11.001}, doi = {10.1016/J.ENTCS.2008.11.001}, timestamp = {Fri, 17 Feb 2023 11:06:30 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FinkbeinerGP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dagstuhl/2007P7011, editor = {Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky}, title = {Runtime Verification, 02.01. - 06.01.2007}, series = {Dagstuhl Seminar Proceedings}, volume = {07011}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2008}, url = {http://drops.dagstuhl.de/portals/07011/}, timestamp = {Thu, 10 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/2007P7011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbt/2008, editor = {Bernd Finkbeiner and Yuri Gurevich and Alexander K. Petrenko}, title = {Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {220}, number = {1}, publisher = {Elsevier}, year = {2008}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/220/issue/1}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbt/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijfcs/ScheweF07, author = {Sven Schewe and Bernd Finkbeiner}, title = {Semi-automatic Distributed Synthesis}, journal = {Int. J. Found. Comput. Sci.}, volume = {18}, number = {1}, pages = {113--138}, year = {2007}, url = {https://doi.org/10.1142/S0129054107004590}, doi = {10.1142/S0129054107004590}, timestamp = {Wed, 14 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijfcs/ScheweF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/ScheweF07, author = {Sven Schewe and Bernd Finkbeiner}, editor = {Kedar S. Namjoshi and Tomohiro Yoneda and Teruo Higashino and Yoshio Okamura}, title = {Distributed Synthesis for Alternating-Time Logics}, booktitle = {Automated Technology for Verification and Analysis, 5th International Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4762}, pages = {268--283}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75596-8\_20}, doi = {10.1007/978-3-540-75596-8\_20}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/atva/ScheweF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/ScheweF07a, author = {Sven Schewe and Bernd Finkbeiner}, editor = {Kedar S. Namjoshi and Tomohiro Yoneda and Teruo Higashino and Yoshio Okamura}, title = {Bounded Synthesis}, booktitle = {Automated Technology for Verification and Analysis, 5th International Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4762}, pages = {474--488}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75596-8\_33}, doi = {10.1007/978-3-540-75596-8\_33}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/ScheweF07a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsen/BrucknerDFW07, author = {Ingo Br{\"{u}}ckner and Klaus Dr{\"{a}}ger and Bernd Finkbeiner and Heike Wehrheim}, editor = {Farhad Arbab and Marjan Sirjani}, title = {Slicing Abstractions}, booktitle = {International Symposium on Fundamentals of Software Engineering, International Symposium, {FSEN} 2007, Tehran, Iran, April 17-19, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4767}, pages = {17--32}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75698-9\_2}, doi = {10.1007/978-3-540-75698-9\_2}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/fsen/BrucknerDFW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/KupferschmidDHFDPB07, author = {Sebastian Kupferschmid and Klaus Dr{\"{a}}ger and J{\"{o}}rg Hoffmann and Bernd Finkbeiner and Henning Dierks and Andreas Podelski and Gerd Behrmann}, editor = {Orna Grumberg and Michael Huth}, title = {Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, {TACAS} 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4424}, pages = {679--682}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-71209-1\_52}, doi = {10.1007/978-3-540-71209-1\_52}, timestamp = {Mon, 11 Sep 2023 15:43:49 +0200}, biburl = {https://dblp.org/rec/conf/tacas/KupferschmidDHFDPB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FinkbeinerGP07, author = {Bernd Finkbeiner and Yuri Gurevich and Alexander K. Petrenko}, editor = {Bernd Finkbeiner and Yuri Gurevich and Alexander K. Petrenko}, title = {Preface}, booktitle = {Proceedings of the Third Workshop on Model Based Testing, {MBT} 2007, Braga, Portugal, March 31 - April 1, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {190}, number = {2}, pages = {1}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2007.08.001}, doi = {10.1016/J.ENTCS.2007.08.001}, timestamp = {Tue, 31 Jan 2023 15:52:26 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FinkbeinerGP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbt/2007, editor = {Bernd Finkbeiner and Yuri Gurevich and Alexander K. Petrenko}, title = {Proceedings of the Third Workshop on Model Based Testing, {MBT} 2007, Braga, Portugal, March 31 - April 1, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {190}, number = {2}, publisher = {Elsevier}, year = {2007}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/190/issue/2}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbt/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/FinkbeinerHRS07, author = {Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky}, editor = {Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky}, title = {07011 Executive Summary -- Runtime Verification}, booktitle = {Runtime Verification, 02.01. - 06.01.2007}, series = {Dagstuhl Seminar Proceedings}, volume = {07011}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2008/1369}, timestamp = {Thu, 10 Jun 2021 13:02:06 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/FinkbeinerHRS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/FinkbeinerHRS07a, author = {Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky}, editor = {Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky}, title = {07011 Abstracts Collection -- Runtime Verification}, booktitle = {Runtime Verification, 02.01. - 06.01.2007}, series = {Dagstuhl Seminar Proceedings}, volume = {07011}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2008/1376}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/FinkbeinerHRS07a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/ScheweF06, author = {Sven Schewe and Bernd Finkbeiner}, editor = {Zolt{\'{a}}n {\'{E}}sik}, title = {Satisfiability and Finite Model Property for the Alternating-Time \emph{mu}-Calculus}, booktitle = {Computer Science Logic, 20th International Workshop, {CSL} 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4207}, pages = {591--605}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11874683\_39}, doi = {10.1007/11874683\_39}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/csl/ScheweF06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/FinkbeinerSB06, author = {Bernd Finkbeiner and Sven Schewe and Matthias Brill}, editor = {Elie Najm and Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and V{\'{e}}ronique Donzeau{-}Gouge}, title = {Automatic Synthesis of Assumptions for Compositional Model Checking}, booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE} 2006, 26th {IFIP} {WG} 6.1 International Conference, Paris, France, September 26-29, 2006}, series = {Lecture Notes in Computer Science}, volume = {4229}, pages = {143--158}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11888116\_12}, doi = {10.1007/11888116\_12}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/forte/FinkbeinerSB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/ScheweF06, author = {Sven Schewe and Bernd Finkbeiner}, editor = {Germ{\'{a}}n Puebla}, title = {Synthesis of Asynchronous Systems}, booktitle = {Logic-Based Program Synthesis and Transformation, 16th International Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4407}, pages = {127--142}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-71410-1\_10}, doi = {10.1007/978-3-540-71410-1\_10}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/ScheweF06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/DragerFP06, author = {Klaus Dr{\"{a}}ger and Bernd Finkbeiner and Andreas Podelski}, editor = {Antti Valmari}, title = {Directed Model Checking with Distance-Preserving Abstractions}, booktitle = {Model Checking Software, 13th International {SPIN} Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3925}, pages = {19--34}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11691617\_2}, doi = {10.1007/11691617\_2}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/spin/DragerFP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FinkbeinerGP06, author = {Bernd Finkbeiner and Yuri Gurevich and Alexander K. Petrenko}, editor = {Bernd Finkbeiner and Yuri Gurevich and Alexander K. Petrenko}, title = {Preface}, booktitle = {Proceedings of the Second Workshop on Model Based Testing, {MBT} 2006, Vienna, Austria, March 25-26, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {164}, number = {4}, pages = {1}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2006.09.001}, doi = {10.1016/J.ENTCS.2006.09.001}, timestamp = {Fri, 20 Jan 2023 13:14:20 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FinkbeinerGP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mbt/2006, editor = {Bernd Finkbeiner and Yuri Gurevich and Alexander K. Petrenko}, title = {Proceedings of the Second Workshop on Model Based Testing, {MBT} 2006, Vienna, Austria, March 25-26, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {164}, number = {4}, publisher = {Elsevier}, year = {2006}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/164/issue/4}, timestamp = {Fri, 20 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mbt/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rv/2005, editor = {Howard Barringer and Bernd Finkbeiner and Yuri Gurevich and Henny Sipma}, title = {Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV 2005, Edinburgh, UK, July 12, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {144}, number = {4}, publisher = {Elsevier}, year = {2006}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/144/issue/4}, timestamp = {Fri, 16 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rv/2005.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/FinkbeinerSS05, author = {Bernd Finkbeiner and Sriram Sankaranarayanan and Henny Sipma}, title = {Collecting Statistics Over Runtime Executions}, journal = {Formal Methods Syst. Des.}, volume = {27}, number = {3}, pages = {253--274}, year = {2005}, url = {https://doi.org/10.1007/s10703-005-3399-3}, doi = {10.1007/S10703-005-3399-3}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/FinkbeinerSS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/FinkbeinerS05, author = {Bernd Finkbeiner and Sven Schewe}, editor = {Doron A. Peled and Yih{-}Kuen Tsay}, title = {Semi-automatic Distributed Synthesis}, booktitle = {Automated Technology for Verification and Analysis, Third International Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3707}, pages = {263--277}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11562948\_21}, doi = {10.1007/11562948\_21}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/atva/FinkbeinerS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/FinkbeinerS05, author = {Bernd Finkbeiner and Sven Schewe}, title = {Uniform Distributed Synthesis}, booktitle = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings}, pages = {321--330}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/LICS.2005.53}, doi = {10.1109/LICS.2005.53}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/FinkbeinerS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/DAngeloSSRFSMM05, author = {Ben D'Angelo and Sriram Sankaranarayanan and C{\'{e}}sar S{\'{a}}nchez and Will Robinson and Bernd Finkbeiner and Henny B. Sipma and Sandeep Mehrotra and Zohar Manna}, title = {{LOLA:} Runtime Monitoring of Synchronous Systems}, booktitle = {12th International Symposium on Temporal Representation and Reasoning {(TIME} 2005), 23-25 June 2005, Burlington, Vermont, {USA}}, pages = {166--174}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/TIME.2005.26}, doi = {10.1109/TIME.2005.26}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/time/DAngeloSSRFSMM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BarringerFGS06, author = {Howard Barringer and Bernd Finkbeiner and Yuri Gurevich and Henny B. Sipma}, editor = {Howard Barringer and Bernd Finkbeiner and Yuri Gurevich and Henny Sipma}, title = {Preface}, booktitle = {Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV 2005, Edinburgh, UK, July 12, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {144}, number = {4}, pages = {1}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2006.02.001}, doi = {10.1016/J.ENTCS.2006.02.001}, timestamp = {Fri, 16 Dec 2022 11:10:41 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BarringerFGS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/FinkbeinerS04, author = {Bernd Finkbeiner and Henny Sipma}, title = {Checking Finite Traces Using Alternating Automata}, journal = {Formal Methods Syst. Des.}, volume = {24}, number = {2}, pages = {101--127}, year = {2004}, url = {https://doi.org/10.1023/B:FORM.0000017718.28096.48}, doi = {10.1023/B:FORM.0000017718.28096.48}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/FinkbeinerS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/us/Finkbeiner02, author = {Bernd Finkbeiner}, title = {Verification algorithms based on alternating automata}, school = {Stanford University, {USA}}, year = {2002}, url = {https://searchworks.stanford.edu/view/5507882}, timestamp = {Wed, 31 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/us/Finkbeiner02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FinkbeinerSS02, author = {Bernd Finkbeiner and Sriram Sankaranarayanan and Henny Sipma}, editor = {Klaus Havelund and Grigore Rosu}, title = {Collecting Statistics over Runtime Executions}, booktitle = {Runtime Verification 2002, {RV} 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {70}, number = {4}, pages = {36--54}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80576-0}, doi = {10.1016/S1571-0661(04)80576-0}, timestamp = {Fri, 16 Dec 2022 10:59:39 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FinkbeinerSS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/Finkbeiner01, author = {Bernd Finkbeiner}, editor = {Tiziana Margaria and Wang Yi}, title = {Language Containment Checking with Nondeterministic BDDs}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, {TACAS} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2031}, pages = {24--38}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45319-9\_3}, doi = {10.1007/3-540-45319-9\_3}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/Finkbeiner01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FinkbeinerS01, author = {Bernd Finkbeiner and Henny Sipma}, editor = {Klaus Havelund and Grigore Rosu}, title = {Checking Finite Traces using Alternating Automata}, booktitle = {Workshop on Runtime Verification, {RV} 2001, in connection with {CAV} 2001, Paris, France, July 23, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {55}, number = {2}, pages = {147--163}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00250-6}, doi = {10.1016/S1571-0661(04)00250-6}, timestamp = {Mon, 05 Dec 2022 12:32:56 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FinkbeinerS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BrowneFMS00, author = {Anca Browne and Bernd Finkbeiner and Zohar Manna and Henny Sipma}, title = {The 'Cash-Point' Service: {A} Verification Case Study Using STeP}, journal = {Formal Aspects Comput.}, volume = {12}, number = {4}, pages = {218--219}, year = {2000}, url = {https://doi.org/10.1007/s001650070014}, doi = {10.1007/S001650070014}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BrowneFMS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/BjornerBCFMSU00, author = {Nikolaj S. Bj{\o}rner and Anca Browne and Michael Col{\'{o}}n and Bernd Finkbeiner and Zohar Manna and Henny Sipma and Tom{\'{a}}s E. Uribe}, title = {Verifying Temporal Properties of Reactive Systems: {A} STeP Tutorial}, journal = {Formal Methods Syst. Des.}, volume = {16}, number = {3}, pages = {227--270}, year = {2000}, url = {https://doi.org/10.1023/A:1008700623084}, doi = {10.1023/A:1008700623084}, timestamp = {Thu, 14 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fmsd/BjornerBCFMSU00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tssdv/MannaBBCFPSU98, author = {Zohar Manna and Nikolaj S. Bj{\o}rner and Anca Browne and Michael Col{\'{o}}n and Bernd Finkbeiner and Mark C. Pichora and Henny B. Sipma and Tom{\'{a}}s E. Uribe}, editor = {Rudolf Berghammer and Yassine Lakhnech}, title = {An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems}, booktitle = {Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998}, series = {Advances in computing science}, pages = {174--188}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/978-3-7091-6355-9\_13}, doi = {10.1007/978-3-7091-6355-9\_13}, timestamp = {Thu, 14 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tssdv/MannaBBCFPSU98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compos/FinkbeinerMS97, author = {Bernd Finkbeiner and Zohar Manna and Henny Sipma}, editor = {Willem P. de Roever and Hans Langmaack and Amir Pnueli}, title = {Deductive Verification of Modular Systems}, booktitle = {Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {1536}, pages = {239--275}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-49213-5\_9}, doi = {10.1007/3-540-49213-5\_9}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/compos/FinkbeinerMS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rtse/MannaCFSU97, author = {Zohar Manna and Michael Col{\'{o}}n and Bernd Finkbeiner and Henny Sipma and Tom{\'{a}}s E. Uribe}, editor = {Manfred Broy and Bernhard Rumpe}, title = {Abstraction and Modular Verification of Infinite-State Reactive Systems}, booktitle = {Requirements Targeting Software and Systems Engineering, International Workshop {RTSE} '97, Bernried, Germany, October 12-14, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1526}, pages = {273--292}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/10692867\_13}, doi = {10.1007/10692867\_13}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/rtse/MannaCFSU97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.