Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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}
}
a service of 
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.
last updated on 2024-04-15 20:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
