default search action

combined dblp search
author search
venue search
publication search

ask others

Bernd Finkbeiner

> Home > Persons

Person information

affiliation: CISPA Helmholtz Center for Information Security, Saarbrücken, Germany
affiliation: Saarland University, Saarbrücken, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/JacobsPABCCDDDFFKKLMMPR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/JacobsPABCCDDDFFKKLMMPR24
Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker:
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. Int. J. Softw. Tools Technol. Transf. 26(5): 551-567 (2024)
[c164]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/BeutnerF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BeutnerF24
Raven Beutner, Bernd Finkbeiner:
On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing. AAAI 2024: 17317-17326
[c163]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/BeutnerFF024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BeutnerFF024
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger:
Monitoring Second-Order Hyperproperties. AAMAS 2024: 180-188
[c162]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/BeutnerF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BeutnerF24
Raven Beutner, Bernd Finkbeiner:
Hyper Strategy Logic. AAMAS 2024: 189-197
[c161]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BeutnerHBF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BeutnerHBF24
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner:
Syntax-Guided Automated Program Repair for Hyperproperties. CAV (3) 2024: 3-26
[c160]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/FinkbeinerMM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerMM24
Bernd Finkbeiner, Niklas Metzger, Yoram Moses:
Information Flow Guided Synthesis with Unbounded Communication. CAV (3) 2024: 64-86
[c159]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/FinkbeinerFMS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerFMS24
Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber:
Synthesis of Temporal Causality. CAV (3) 2024: 87-111
[c158]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BaumeisterFKLMST24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BaumeisterFKLMST24
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens:
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned. CAV (2) 2024: 207-218
[c157]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BeutnerFG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BeutnerFG24
Raven Beutner, Bernd Finkbeiner, Angelina Göbl:
Visualizing Game-Based Certificates for Hyperproperty Verification. FM (2) 2024: 67-75
[c156]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BaumeisterFKS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BaumeisterFKS24
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Frederik Scheerer:
A Tutorial on Stream-Based Monitoring. FM (2) 2024: 624-648
[c155]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/SchirmerSJDF024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/SchirmerSJDF024
Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan:
Temporal Behavior Trees: Robustness and Segmentation. HSCC 2024: 9:1-9:14
[c154]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/SchirmerSJDFS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/SchirmerSJDFS24
Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan:
Temporal Behavior Trees - Segmentation. HSCC 2024: 31:1-31:2
[c153]
- view
  authority control:
- export record
  dblp key:
  - conf/icaps/BeutnerF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaps/BeutnerF24
Raven Beutner, Bernd Finkbeiner:
Non-deterministic Planning for Hyperproperty Verification. ICAPS 2024: 25-30
[c152]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/FinkbeinerFKK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/FinkbeinerFKK24
Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger:
Stream-Based Monitoring Under Measurement Noise. RV 2024: 22-39
[c151]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/BaumeisterFKR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/BaumeisterFKR24
Jan Baumeister, Bernd Finkbeiner, Jan Kautenburger, Clara Rubeck:
RTLolaMo³Vis - A Mobile and Modular Visualization Framework for Online Monitoring. RV 2024: 192-202
[e20]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/2024-1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/2024-1
Bernd Finkbeiner, Laura Kovács:
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. Lecture Notes in Computer Science 14570, Springer 2024, ISBN 978-3-031-57245-6 [contents]
[e19]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/2024-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/2024-2
Bernd Finkbeiner, Laura Kovács:
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. Lecture Notes in Computer Science 14571, Springer 2024, ISBN 978-3-031-57248-7 [contents]
[e18]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/2024-3
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/2024-3
Bernd Finkbeiner, Laura Kovács:
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. Lecture Notes in Computer Science 14572, Springer 2024, ISBN 978-3-031-57255-5 [contents]
[d4]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeutnerHBF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeutnerHBF24
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner:
HyRep: Automated Program Repair For Hyperproperties. Version 1. Zenodo, 2024 [all versions]
[d3]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeutnerHBF24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeutnerHBF24a
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner:
HyRep: Automated Program Repair For Hyperproperties. Version 2. Zenodo, 2024 [all versions]
[i100]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-08365
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-08365
Mohamed Ghanem, Frederik Schmitt, Julian Siber, Bernd Finkbeiner:
NeuRes: Learning Proofs of Propositional Satisfiability. CoRR abs/2402.08365 (2024)
[i99]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-13741
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-13741
Raven Beutner, Bernd Finkbeiner:
Hyper Strategy Logic. CoRR abs/2403.13741 (2024)
[i98]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-09652
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-09652
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger:
Monitoring Second-Order Hyperproperties. CoRR abs/2404.09652 (2024)
[i97]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-12035
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-12035
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens:
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned. CoRR abs/2404.12035 (2024)
[i96]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-10912
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-10912
Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber:
Synthesis of Temporal Causality. CoRR abs/2405.10912 (2024)
[i95]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-13488
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-13488
Raven Beutner, Bernd Finkbeiner:
Non-Deterministic Planning for Hyperproperty Verification. CoRR abs/2405.13488 (2024)
[i94]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-12298
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-12298
Bernd Finkbeiner, Niklas Metzger, Yoram Moses:
Information Flow Guided Synthesis with Unbounded Communication. CoRR abs/2407.12298 (2024)
[i93]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-06035
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-06035
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner:
Syntax-Guided Automated Program Repair for Hyperproperties. CoRR abs/2408.06035 (2024)
[i92]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/0001FMPS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/0001FMPS24
S. Akshay, Bernd Finkbeiner, Kuldeep S. Meel, Ruzica Piskac, Arijit Shaw:
Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171). Dagstuhl Reports 14(4): 85-107 (2024)
2023
[j30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/isse/FinkbeinerGP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/FinkbeinerGP23
Bernd Finkbeiner, Gideon Geier, Noemi Passing:
Specification decomposition for reactive synthesis. Innov. Syst. Softw. Eng. 19(4): 339-357 (2023)
[j29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/BeutnerF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/BeutnerF23
Raven Beutner, Bernd Finkbeiner:
HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems. Log. Methods Comput. Sci. 19(2) (2023)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Finkbeiner23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Finkbeiner23
Bernd Finkbeiner:
Logics and Algorithms for Hyperproperties. ACM SIGLOG News 10(2): 4-23 (2023)
[j27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/BiewerFHKSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BiewerFHKSS23
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger:
On the road with RTLola. Int. J. Softw. Tools Technol. Transf. 25(2): 205-218 (2023)
[j26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/BaumeisterDFS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BaumeisterDFS23
Jan Baumeister, Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer:
Monitoring with verified guarantees. Int. J. Softw. Tools Technol. Transf. 25(4): 593-616 (2023)
[c150]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/FinkbeinerHKP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FinkbeinerHKP23
Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing:
Reactive Synthesis of Smart Contract Control Flows. ATVA (1) 2023: 248-269
[c149]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/FinkbeinerKS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FinkbeinerKS23
Bernd Finkbeiner, Florian Kohn, Malte Schledjewski:
Leveraging Static Analysis: An IDE for RTLola. ATVA 2023: 251-262
[c148]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BeutnerFFS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BeutnerFFS23
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber:
Checking and Sketching Causes on Temporal Sequences. ATVA 2023: 314-327
[c147]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/birthday/FinkbeinerO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/FinkbeinerO23
Bernd Finkbeiner, Ernst-Rüdiger Olderog:
Concurrent Hyperproperties. Theories of Programming and Formal Methods 2023: 211-231
[c146]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BeutnerFFM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BeutnerFFM23
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger:
Second-Order Hyperproperties. CAV (2) 2023: 309-332
[c145]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/CoenenFHT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/CoenenFHT23
Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia J. Tillman:
Smart Contract Synthesis Modulo Hyperproperties. CSF 2023: 276-291
[c144]
- view
  - electronic edition @ openreview.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/iclr/CoslerSHF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclr/CoslerSHF23
Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner:
Iterative Circuit Repair Against Formal Specifications. ICLR 2023
[c143]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/BeutnerF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BeutnerF23
Raven Beutner, Bernd Finkbeiner:
Model Checking Omega-Regular Hyperproperties with AutoHyperQ. LPAR 2023: 23-35
[c142]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/FinkbeinerS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/FinkbeinerS23
Bernd Finkbeiner, Julian Siber:
Counterfactuals Modulo Temporal Logics. LPAR 2023: 181-204
[c141]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/FinkbeinerFHL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/FinkbeinerFHL23
Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann, Janine Lohse:
Automata-Based Software Model Checking of Hyperproperties. NFM 2023: 361-379
[c140]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HsuBFS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HsuBFS23
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
Bounded Model Checking for Asynchronous Hyperproperties. TACAS (1) 2023: 29-46
[c139]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BeutnerF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BeutnerF23
Raven Beutner, Bernd Finkbeiner:
AutoHyper: Explicit-State Model Checking for HyperLTL. TACAS (1) 2023: 145-163
[i91]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-07208
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-07208
Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
Bounded Model Checking for Asynchronous Hyperproperties. CoRR abs/2301.07208 (2023)
[i90]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-11229
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-11229
Raven Beutner, Bernd Finkbeiner:
AutoHyper: Explicit-State Model Checking for HyperLTL. CoRR abs/2301.11229 (2023)
[i89]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-01158
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-01158
Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner:
Iterative Circuit Repair Against Formal Specifications. CoRR abs/2303.01158 (2023)
[i88]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-14796
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-14796
Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann, Janine Lohse:
Automata-Based Software Model Checking of Hyperproperties. CoRR abs/2303.14796 (2023)
[i87]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-17935
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-17935
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger:
Second-Order Hyperproperties. CoRR abs/2305.17935 (2023)
[i86]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-08916
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-08916
Bernd Finkbeiner, Julian Siber:
Counterfactuals Modulo Temporal Logics. CoRR abs/2306.08916 (2023)
[i85]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-00705
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-00705
Bernd Finkbeiner, Ernst-Rüdiger Olderog:
Concurrent Hyperproperties. CoRR abs/2310.00705 (2023)
[i84]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-08096
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-08096
Bernd Finkbeiner, Florian Kohn, Malte Schledjewski:
Leveraging Static Analysis: An IDE for RTLola. CoRR abs/2311.08096 (2023)
[i83]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-12403
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-12403
Raven Beutner, Bernd Finkbeiner:
On Alternating-time Temporal Logic, Hyperproperties, and Strategy Sharing. CoRR abs/2312.12403 (2023)
[i82]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/FijalkowF0PM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/FijalkowF0PM23
Nathanaël Fijalkow, Bernd Finkbeiner, Guillermo A. Pérez, Elizabeth Polgreen, Rémi Morvan:
The Futures of Reactive Synthesis (Dagstuhl Seminar 23391). Dagstuhl Reports 13(9): 166-184 (2023)
2022
[j25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/algorithms/FinkbeinerFKK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/algorithms/FinkbeinerFKK22
Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger:
A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation. Algorithms 15(4): 126 (2022)
[j24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/isse/FinkbeinerKM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/FinkbeinerKM22
Bernd Finkbeiner, Felix Klein, Niklas Metzger:
Live synthesis. Innov. Syst. Softw. Eng. 18(3): 443-454 (2022)
[j23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/isse/FinkbeinerP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/FinkbeinerP22
Bernd Finkbeiner, Noemi Passing:
Compositional synthesis of modular systems. Innov. Syst. Softw. Eng. 18(3): 455-469 (2022)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/tvcg/HorakCMHFMDFD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tvcg/HorakCMHFMDFD22
Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt:
Visual Analysis of Hyperproperties for Understanding Model Checking Results. IEEE Trans. Vis. Comput. Graph. 28(1): 357-367 (2022)
[c138]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/CoenenFFHMS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/CoenenFFHMS22
Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber:
Temporal Causality in Reactive Systems. ATVA 2022: 208-224
[c137]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BeutnerF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BeutnerF22
Raven Beutner, Bernd Finkbeiner:
Software Verification of Hyperproperties Beyond k-Safety. CAV (1) 2022: 341-362
[c136]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/CoenenDFFHHMS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CoenenDFFHHMS22
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber:
Explaining Hyperproperty Violations. CAV (1) 2022: 407-429
[c135]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/FinkbeinerMM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerMM22
Bernd Finkbeiner, Niklas Metzger, Yoram Moses:
Information Flow Guided Synthesis. CAV (2) 2022: 505-525
[c134]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/BeutnerF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/BeutnerF22
Raven Beutner, Bernd Finkbeiner:
Prophecy Variables for Hyperproperty Verification. CSF 2022: 471-485
[c133]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/csl/FinkbeinerGHO22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/FinkbeinerGHO22
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. CSL 2022: 20:1-20:19
[c132]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/FinkbeinerHP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/FinkbeinerHP22
Bernd Finkbeiner, Philippe Heim, Noemi Passing:
Temporal Stream Logic modulo Theories. FoSSaCS 2022: 325-346
[c131]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/FinkbeinerP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/FinkbeinerP22
Bernd Finkbeiner, Noemi Passing:
Synthesizing Dominant Strategies for Liveness. FSTTCS 2022: 37:1-37:19
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/FinkbeinerMPSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/FinkbeinerMPSS22
Bernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte Schledjewski, Anne-Kathrin Schmuck:
BOCoSy: Small but Powerful Symbolic Output-Feedback Control. HSCC 2022: 24:1-24:11
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/BeutnerCFHK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/BeutnerCFHK22
Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch:
Deciding Hyperproperties Combined with Functional Specifications. LICS 2022: 56:1-56:13
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ChoiFPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ChoiFPS22
Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, Mark Santolucito:
Can reactive synthesis and syntax-guided synthesis be friends? PLDI 2022: 229-243
[c127]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/rv/BaumeisterFGS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/BaumeisterFGS22
Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold, Malte Schledjewski:
Real-Time Visualization of Stream-Based Monitoring Data. RV 2022: 325-335
[e17]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/2022
Bernd Finkbeiner, Thomas Wies:
Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings. Lecture Notes in Computer Science 13182, Springer 2022, ISBN 978-3-030-94582-4 [contents]
[i81]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-04146
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-04146
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo:
Runtime Enforcement of Hyperproperties. CoRR abs/2203.04146 (2022)
[i80]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-07283
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-07283
Raven Beutner, Bernd Finkbeiner:
A Logic for Hyperproperties in Multi-Agent Systems. CoRR abs/2203.07283 (2022)
[i79]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-06039
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-06039
Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing:
Reactive Synthesis of Smart Contract Control Flows. CoRR abs/2205.06039 (2022)
[i78]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-12085
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-12085
Bernd Finkbeiner, Niklas Metzger, Yoram Moses:
Information Flow Guided Synthesis (Full Version). CoRR abs/2205.12085 (2022)
[i77]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-12823
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-12823
Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold, Malte Schledjewski:
Real-time Visualization of Stream-based Monitoring Data. CoRR abs/2205.12823 (2022)
[i76]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-15138
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-15138
Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch:
Deciding Hyperproperties Combined with Functional Specifications. CoRR abs/2205.15138 (2022)
[i75]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-15389
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-15389
Niklas Metzger, Christopher Hahn, Julian Siber, Frederik Schmitt, Bernd Finkbeiner:
Attention Flows for General Transformers. CoRR abs/2205.15389 (2022)
[i74]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-00251
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-00251
Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker:
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. CoRR abs/2206.00251 (2022)
[i73]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-01797
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-01797
Raven Beutner, Bernd Finkbeiner:
Prophecy Variables for Hyperproperty Verification. CoRR abs/2206.01797 (2022)
[i72]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-01962
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-01962
Christopher Hahn, Frederik Schmitt, Julia J. Tillman, Niklas Metzger, Julian Siber, Bernd Finkbeiner:
Formal Specifications from Natural Language. CoRR abs/2206.01962 (2022)
[i71]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-02074
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-02074
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber:
Explaining Hyperproperty Violations. CoRR abs/2206.02074 (2022)
[i70]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-03381
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-03381
Raven Beutner, Bernd Finkbeiner:
Software Verification of Hyperproperties Beyond k-Safety. CoRR abs/2206.03381 (2022)
[i69]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-07180
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-07180
Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia J. Tillman:
Smart Contract Synthesis Modulo Hyperproperties. CoRR abs/2208.07180 (2022)
[i68]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-01660
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-01660
Bernd Finkbeiner, Noemi Passing:
Synthesizing Dominant Strategies for Liveness (Full Version). CoRR abs/2210.01660 (2022)
2021
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/FinkbeinerM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/FinkbeinerM21
Bernd Finkbeiner, Leonardo Mariani:
Introduction to the special issue of the 19th International Conference on Runtime Verification. Int. J. Softw. Tools Technol. Transf. 23(4): 545-546 (2021)
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/FinkbeinerKM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FinkbeinerKM21
Bernd Finkbeiner, Felix Klein, Niklas Metzger:
Live Synthesis. ATVA 2021: 153-169
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/CoenenFHHS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/CoenenFHHS21
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo:
Runtime Enforcement of Hyperproperties. ATVA 2021: 283-299
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/FinkbeinerP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FinkbeinerP21
Bernd Finkbeiner, Noemi Passing:
Compositional Synthesis of Modular Systems. ATVA 2021: 303-319
[c123]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BaumeisterCBFS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BaumeisterCBFS21
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
A Temporal Logic for Asynchronous Hyperproperties. CAV (1) 2021: 694-717
[c122]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BaierCFFJS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BaierCFFJS21
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber:
Causality-Based Game Solving. CAV (1) 2021: 894-917
[c121]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/BeutnerF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BeutnerF21
Raven Beutner, Bernd Finkbeiner:
A Temporal Logic for Strategic Hyperproperties. CONCUR 2021: 24:1-24:19
[c120]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/VirtemaHFK021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/VirtemaHFK021
Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang:
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity. FSTTCS 2021: 52:1-52:17
[c119]
- view
  - electronic edition @ openreview.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/iclr/HahnSKRF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclr/HahnSKRF21
Christopher Hahn, Frederik Schmitt, Jens U. Kreber, Markus Norman Rabe, Bernd Finkbeiner:
Teaching Temporal Logics to Neural Networks. ICLR 2021
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/FinkbeinerGP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/FinkbeinerGP21
Bernd Finkbeiner, Gideon Geier, Noemi Passing:
Specification Decomposition for Reactive Synthesis. NFM 2021: 113-130
[c117]
- view
  - electronic edition @ neurips.cc (open access)
  - details & citations
- export record
  dblp key:
  - conf/nips/SchmittHRF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/SchmittHRF21
Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner:
Neural Circuit Synthesis from Specification Patterns. NeurIPS 2021: 15408-15420
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/DauerFS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/DauerFS21
Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer:
Monitoring with Verified Guarantees. RV 2021: 62-80
[c115]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BiewerFHKSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BiewerFHKSS21
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger:
RTLola on Board: Testing Real Driving Emissions on your Phone. TACAS (2) 2021: 365-372
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/Finkbeiner21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Finkbeiner21
Bernd Finkbeiner:
Model Checking Algorithms for Hyperproperties (Invited Paper). VMCAI 2021: 3-16
[i67]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2101-07109
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-07109
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
Efficient Monitoring of Hyperproperties using Prefix Trees. CoRR abs/2101.07109 (2021)
[i66]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2101-07161
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-07161
Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup:
Realizing Omega-regular Hyperproperties. CoRR abs/2101.07161 (2021)
[i65]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2101-07232
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-07232
Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner:
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications. CoRR abs/2101.07232 (2021)
[i64]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2101-07847
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-07847
Borzoo Bonakdarpour, Bernd Finkbeiner:
The Complexity of Monitoring Hyperproperties. CoRR abs/2101.07847 (2021)
[i63]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2101-08257
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-08257
Borzoo Bonakdarpour, Bernd Finkbeiner:
Program Repair for Hyperproperties. CoRR abs/2101.08257 (2021)
[i62]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2101-08880
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-08880
Borzoo Bonakdarpour, Bernd Finkbeiner:
Controller Synthesis for Hyperproperties. CoRR abs/2101.08880 (2021)
[i61]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2103-08459
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-08459
Bernd Finkbeiner, Gideon Geier, Noemi Passing:
Specification Decomposition for Reactive Synthesis (Full Version). CoRR abs/2103.08459 (2021)
[i60]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2104-14025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-14025
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
A Temporal Logic for Asynchronous Hyperproperties. CoRR abs/2104.14025 (2021)
[i59]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2104-14988
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-14988
Bernd Finkbeiner, Philippe Heim, Noemi Passing:
Temporal Stream Logic modulo Theories. CoRR abs/2104.14988 (2021)
[i58]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2105-14247
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-14247
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber:
Causality-Based Game Solving. CoRR abs/2105.14247 (2021)
[i57]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2106-14783
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-14783
Bernd Finkbeiner, Noemi Passing:
Compositional Synthesis of Modular Systems (Full Version). CoRR abs/2106.14783 (2021)
[i56]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2107-01136
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-01136
Bernd Finkbeiner, Felix Klein, Niklas Metzger:
Live Synthesis. CoRR abs/2107.01136 (2021)
[i55]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2107-02509
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-02509
Raven Beutner, Bernd Finkbeiner:
A Temporal Logic for Strategic Hyperproperties. CoRR abs/2107.02509 (2021)
[i54]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2107-09280
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-09280
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory. CoRR abs/2107.09280 (2021)
[i53]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2107-11841
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-11841
Bernd Finkbeiner:
Model Checking Algorithms for Hyperproperties. CoRR abs/2107.11841 (2021)
[i52]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2107-11864
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-11864
Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner:
Neural Circuit Synthesis from Specification Patterns. CoRR abs/2107.11864 (2021)
[i51]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2108-03698
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-03698
Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt:
Visual Analysis of Hyperproperties for Understanding Model Checking Results. CoRR abs/2108.03698 (2021)
[i50]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2110-11755
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-11755
Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer:
Monitoring with Verified Guarantees. CoRR abs/2110.11755 (2021)
[i49]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2111-05255
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-05255
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger:
RTLola on Board: Testing Real Driving Emissions on your Phone. CoRR abs/2111.05255 (2021)
2020
[j20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/acta/FinkbeinerHLST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/FinkbeinerHLST20
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup:
Synthesis from hyperproperties. Acta Informatica 57(1-2): 137-163 (2020)
[j19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/FinkbeinerHST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/FinkbeinerHST20
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
Efficient monitoring of hyperproperties using prefix trees. Int. J. Softw. Tools Technol. Transf. 22(6): 729-740 (2020)
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/FinkbeinerGHO20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FinkbeinerGHO20
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Model Checking Branching Properties on Petri Nets with Transits. ATVA 2020: 394-410
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BaumeisterFT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BaumeisterFT20
Tom Baumeister, Bernd Finkbeiner, Hazem Torfah:
Explainable Reactive Synthesis. ATVA 2020: 413-428
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/FinkbeinerP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FinkbeinerP20
Bernd Finkbeiner, Noemi Passing:
Dependency-Based Compositional Synthesis. ATVA 2020: 447-463
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/DimitrovaFT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/DimitrovaFT20
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Probabilistic Hyperproperties of Markov Decision Processes. ATVA 2020: 484-500
[c109]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BaumeisterFSST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BaumeisterFSST20
Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens:
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft. CAV (2) 2020: 28-39
[c108]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/FinkbeinerHHT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerHHT20
Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup:
Realizing ømega-regular Hyperproperties. CAV (2) 2020: 40-63
[c107]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/FinkbeinerGHO20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerGHO20
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL. CAV (2) 2020: 64-76
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/BonakdarpourF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/BonakdarpourF20
Borzoo Bonakdarpour, Bernd Finkbeiner:
Controller Synthesis for Hyperproperties. CSF 2020: 366-379
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/FinkbeinerOPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/FinkbeinerOPS20
Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger:
Verified Rust Monitors for Lola Specifications. RV 2020: 431-450
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/BaumeisterFKS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/BaumeisterFKS20
Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger:
Automatic Optimizations for Stream-Based Monitoring Languages. RV 2020: 451-461
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/SeidlMF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/SeidlMF20
Helmut Seidl, Christian Müller, Bernd Finkbeiner:
How to Win First-Order Safety Games. VMCAI 2020: 426-448
[e16]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2020gurevich
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2020gurevich
Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner:
Fields of Logic and Computation III - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday. Lecture Notes in Computer Science 12180, Springer 2020, ISBN 978-3-030-48005-9 [contents]
[i48]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2003-04218
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-04218
Bernd Finkbeiner, Christopher Hahn, Markus N. Rabe, Frederik Schmitt:
Teaching Temporal Logics to Neural Networks. CoRR abs/2003.04218 (2020)
[i47]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2003-12477
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-12477
Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah:
FPGA Stream-Monitoring of Real-time Properties. CoRR abs/2003.12477 (2020)
[i46]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2004-06488
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-06488
Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens:
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft. CoRR abs/2004.06488 (2020)
[i45]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-03362
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-03362
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Probabilistic Hyperproperties of Markov Decision Processes. CoRR abs/2005.03362 (2020)
[i44]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-05934
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-05934
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann:
The Hierarchy of Hyperlogics. CoRR abs/2005.05934 (2020)
[i43]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-07130
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-07130
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (Full Version). CoRR abs/2005.07130 (2020)
[i42]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-07425
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-07425
Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup:
Verifying Hyperliveness. CoRR abs/2005.07425 (2020)
[i41]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2007-06941
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-06941
Bernd Finkbeiner, Noemi Passing:
Dependency-based Compositional Synthesis (Full Version). CoRR abs/2007.06941 (2020)
[i40]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2007-07235
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-07235
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Model Checking Branching Properties on Petri Nets with Transits (Full Version). CoRR abs/2007.07235 (2020)
[i39]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2010-03311
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-03311
Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang:
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity. CoRR abs/2010.03311 (2020)
[i38]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2011-13344
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-13344
Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger:
Automatic Optimizations for Stream-based Monitoring Languages. CoRR abs/2011.13344 (2020)
[i37]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2012-08961
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-08961
Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger:
Verified Rust Monitors for Lola Specifications. CoRR abs/2012.08961 (2020)
[i36]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2012-14582
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-14582
Tom Baumeister, Bernd Finkbeiner, Hazem Torfah:
Explainable Reactive Synthesis. CoRR abs/2012.14582 (2020)
[i35]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2012-14586
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-14586
Bernd Finkbeiner, Lennart Haas, Hazem Torfah:
Canonical Representations of k-Safety Hyperproperties. CoRR abs/2012.14586 (2020)
[i34]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2012-14590
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-14590
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Approximate Automata for Omega-Regular Languages. CoRR abs/2012.14590 (2020)
[i33]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2012-14592
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-14592
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Synthesizing Approximate Implementations for Unrealizable Specifications. CoRR abs/2012.14592 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/FinkbeinerHST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FinkbeinerHST19
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
Monitoring hyperproperties. Formal Methods Syst. Des. 54(3): 336-363 (2019)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/BaumeisterFST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/BaumeisterFST19
Jan Baumeister, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah:
FPGA Stream-Monitoring of Real-time Properties. ACM Trans. Embed. Comput. Syst. 18(5s): 88:1-88:24 (2019)
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/DimitrovaFT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/DimitrovaFT19
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Approximate Automata for Omega-Regular Languages. ATVA 2019: 334-349
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BonakdarpourF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BonakdarpourF19
Borzoo Bonakdarpour, Bernd Finkbeiner:
Program Repair for Hyperproperties. ATVA 2019: 423-441
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/FinkbeinerGHO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FinkbeinerGHO19
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Model Checking Data Flows in Concurrent Network Updates. ATVA 2019: 515-533
[c99]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/CoenenFST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CoenenFST19
Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup:
Verifying Hyperliveness. CAV (1) 2019: 121-139
[c98]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/DimitrovaFT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DimitrovaFT19
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah:
Synthesizing Approximate Implementations for Unrealizable Specifications. CAV (1) 2019: 241-258
[c97]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/FaymonvilleFSSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FaymonvilleFSSS19
Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah:
StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. CAV (1) 2019: 421-431
[c96]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/Finkbeiner0PS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Finkbeiner0PS19
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Temporal Stream Logic: Synthesis Beyond the Bools. CAV (1) 2019: 609-629
[c95]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/BeutnerFH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BeutnerFH19
Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch:
Translating Asynchronous Games for Distributed Synthesis. CONCUR 2019: 26:1-26:16
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/FinkbeinerHT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/FinkbeinerHT19
Bernd Finkbeiner, Lennart Haas, Hazem Torfah:
Canonical Representations of k-Safety Hyperproperties. CSF 2019: 17-31
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/GeierH0F19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/GeierH0F19
Gideon Geier, Philippe Heim, Felix Klein, Bernd Finkbeiner:
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications. FMCAD 2019: 138-146
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Finkbeiner0PS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Finkbeiner0PS19
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Synthesizing functional reactive programs. Haskell@ICFP 2019: 162-175
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/CoenenFHH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/CoenenFHH19
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann:
The Hierarchy of Hyperlogics. LICS 2019: 1-13
[e15]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/2019
Bernd Finkbeiner, Leonardo Mariani:
Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings. Lecture Notes in Computer Science 11757, Springer 2019, ISBN 978-3-030-32078-2 [contents]
[e14]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1901-00073
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-00073
Bernd Finkbeiner, Samantha Kleinberg:
Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018. EPTCS 286, 2019 [contents]
[d2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/SeidlMF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/SeidlMF19
Helmut Seidl, Christian Müller, Bernd Finkbeiner:
How to Win First Order Safety Games - Software Artifact. Zenodo, 2019
[d1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/SeidlMF19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/SeidlMF19a
Helmut Seidl, Christian Müller, Bernd Finkbeiner:
How to Win First Order Safety Games - Software Artifact. Zenodo, 2019
[i32]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1903-11138
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-11138
Bernd Finkbeiner, Christopher Hahn, Tobias Hans:
MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the ∃^*∀^* Fragment. CoRR abs/1903.11138 (2019)
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1904-07736
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-07736
Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr, Salomon Sickert, Leander Tentrup, Adam Walker:
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. CoRR abs/1904.07736 (2019)
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1905-09825
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-09825
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Synthesizing Functional Reactive Programs. CoRR abs/1905.09825 (2019)
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1905-13511
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-13511
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup:
Synthesizing Reactive Systems from Hyperproperties. CoRR abs/1905.13511 (2019)
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1905-13514
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-13514
Bernd Finkbeiner, Christopher Hahn, Hazem Torfah:
Model Checking Quantitative Hyperproperties. CoRR abs/1905.13514 (2019)
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1906-00798
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-00798
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties. CoRR abs/1906.00798 (2019)
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1907-00829
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-00829
Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch:
Translating Asynchronous Games for Distributed Synthesis (Full Version). CoRR abs/1907.00829 (2019)
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1907-11061
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-11061
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Model Checking Data Flows in Concurrent Network Updates (Full Version). CoRR abs/1907.11061 (2019)
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1908-05964
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-05964
Helmut Seidl, Christian Müller, Bernd Finkbeiner:
How to Win First-Order Safety Games. CoRR abs/1908.05964 (2019)
2018
[j16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/acta/FinkbeinerPZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/FinkbeinerPZ18
Bernd Finkbeiner, Geguang Pu, Lijun Zhang:
Preface for the special issue for ATVA 2015. Acta Informatica 55(8): 625-626 (2018)
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/GerstackerKF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GerstackerKF18
Carsten Gerstacker, Felix Klein, Bernd Finkbeiner:
Bounded Synthesis of Reactive Programs. ATVA 2018: 441-457
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/FinkbeinerHH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FinkbeinerHH18
Bernd Finkbeiner, Christopher Hahn, Tobias Hans:
MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the \exists ^*\forall ^* ∃ ∗ ∀ ∗ Fragment. ATVA 2018: 521-527
[c88]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/FinkbeinerHT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerHT18
Bernd Finkbeiner, Christopher Hahn, Hazem Torfah:
Model Checking Quantitative Hyperproperties. CAV (1) 2018: 144-163
[c87]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/FinkbeinerHLST18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerHLST18
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup:
Synthesizing Reactive Systems from Hyperproperties. CAV (1) 2018: 289-306
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/BonakdarpourF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/BonakdarpourF18
Borzoo Bonakdarpour, Bernd Finkbeiner:
The Complexity of Monitoring Hyperproperties. CSF 2018: 162-174
[c85]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/FinkbeinerHST18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FinkbeinerHST18
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties. TACAS (2) 2018: 194-200
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1803-08890
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-08890
Bernd Finkbeiner, Hazem Torfah:
The Density of Linear-time Properties. CoRR abs/1803.08890 (2018)
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1803-09285
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-09285
Bernd Finkbeiner, Hazem Torfah:
Synthesizing Skeletons for Reactive Systems. CoRR abs/1803.09285 (2018)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1803-09566
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-09566
Peter Faymonville, Bernd Finkbeiner, Leander Tentrup:
BoSy: An Experimentation Framework for Bounded Synthesis. CoRR abs/1803.09566 (2018)
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1803-09570
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-09570
Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup:
Encodings of Bounded Synthesis. CoRR abs/1803.09570 (2018)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1803-10104
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-10104
Bernd Finkbeiner, Felix Klein:
Reactive Synthesis: Towards Output-Sensitive Algorithms. CoRR abs/1803.10104 (2018)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1803-10154
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-10154
Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns:
Facets of Software Doping. CoRR abs/1803.10154 (2018)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1803-10383
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-10383
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Vehicle Platooning Simulations with Functional Reactive Programming. CoRR abs/1803.10383 (2018)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1804-04487
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-04487
Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens:
Stream Runtime Monitoring on UAS. CoRR abs/1804.04487 (2018)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1807-00758
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-00758
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
Monitoring Hyperproperties. CoRR abs/1807.00758 (2018)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1807-09047
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-09047
Carsten Gerstacker, Felix Klein, Bernd Finkbeiner:
Bounded Synthesis of Reactive Programs. CoRR abs/1807.09047 (2018)
2017
[j15]
- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Finkbeiner17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Finkbeiner17
Bernd Finkbeiner:
Temporal Hyperproperties. Bull. EATCS 123 (2017)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/FinkbeinerO17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/FinkbeinerO17
Bernd Finkbeiner, Ernst-Rüdiger Olderog:
Petri games: Synthesis of distributed systems with causal memory. Inf. Comput. 253: 181-203 (2017)
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/FinkbeinerT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FinkbeinerT17
Bernd Finkbeiner, Hazem Torfah:
The Density of Linear-Time Properties. ATVA 2017: 139-155
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/FaymonvilleFT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FaymonvilleFT17
Peter Faymonville, Bernd Finkbeiner, Leander Tentrup:
BoSy: An Experimentation Framework for Bounded Synthesis. CAV (2) 2017: 325-332
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/FinkbeinerHS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerHS17
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger:
EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties. CAV (2) 2017: 564-570
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/Finkbeiner0SZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/Finkbeiner0SZ17
Bernd Finkbeiner, Christian Müller, Helmut Seidl, Eugen Zalinescu:
Verifying Security Policies in Multi-agent Workflows with Loops. CCS 2017: 633-645
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/cpsweek/Finkbeiner0PS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/Finkbeiner0PS17
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Vehicle Platooning Simulations with Functional Reactive Programming. SCAV@CPSWeek 2017: 43-47
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/DArgenioBBFH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/DArgenioBBFH17
Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns:
Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs. ESOP 2017: 83-110
[c78]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/EhlersF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/EhlersF17
Rüdiger Ehlers, Bernd Finkbeiner:
Symmetric Synthesis. FSTTCS 2017: 26:1-26:13
[c77]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/FinkbeinerG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/FinkbeinerG17
Bernd Finkbeiner, Paul Gölz:
Synthesis in Distributed Environments. FSTTCS 2017: 28:1-28:14
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/AdolfFFST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/AdolfFFST17
Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens:
Stream Runtime Monitoring on UAS. RV 2017: 33-49
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/FinkbeinerHST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/FinkbeinerHST17
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
Monitoring Hyperproperties. RV 2017: 190-207
[c74]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/stacs/Finkbeiner017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/Finkbeiner017
Bernd Finkbeiner, Martin Zimmermann:
The First-Order Logic of Hyperproperties. STACS 2017: 30:1-30:14
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/FaymonvilleFRT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FaymonvilleFRT17
Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup:
Encodings of Bounded Synthesis. TACAS (1) 2017: 354-370
[c72]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1711-10637
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-10637
Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog:
Symbolic vs. Bounded Synthesis for Petri Games. SYNT@CAV 2017: 23-43
[c71]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1710-03391
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-03391
Bernd Finkbeiner, Andrey Kupriyanov:
Causality-based Model Checking. CREST@ETAPS 2017: 31-38
[c70]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1711-11439
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-11439
Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup:
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. SYNT@CAV 2017: 116-143
[p2]
- view
  authority control:
- export record
  dblp key:
  - series/natosec/Finkbeiner017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/Finkbeiner017
Bernd Finkbeiner, Felix Klein:
Reactive Synthesis: Towards Output-Sensitive Algorithms. Dependable Software Systems Engineering 2017: 25-43
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/DArgenioBBFH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DArgenioBBFH17
Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns:
Is your software on dope? Formal analysis of surreptitiously "enhanced" programs. CoRR abs/1702.04693 (2017)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1708-09013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-09013
Bernd Finkbeiner, Christian Müller, Helmut Seidl, Eugen Zalinescu:
Verifying Security Policies in Multi-agent Workflows with Loops. CoRR abs/1708.09013 (2017)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1710-05368
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-05368
Bernd Finkbeiner, Paul Gölz:
Synthesis in Distributed Environments. CoRR abs/1710.05368 (2017)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1710-05633
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-05633
Rüdiger Ehlers, Bernd Finkbeiner:
Symmetric Synthesis. CoRR abs/1710.05633 (2017)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1711-03829
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-03829
Peter Faymonville, Bernd Finkbeiner, Maximilian Schwenger, Hazem Torfah:
Real-time Stream-based Monitoring. CoRR abs/1711.03829 (2017)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1712-00246
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1712-00246
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Temporal Stream Logic: Synthesis beyond the Bools. CoRR abs/1712.00246 (2017)
2016
[j13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/acta/FinkbeinerS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/FinkbeinerS16
Bernd Finkbeiner, César Sánchez:
Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit. Acta Informatica 53(4): 325-326 (2016)
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/FinkbeinerS016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FinkbeinerS016
Bernd Finkbeiner, Helmut Seidl, Christian Müller:
Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents. ATVA 2016: 157-173
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/FinkbeinerT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FinkbeinerT16
Bernd Finkbeiner, Hazem Torfah:
Synthesizing Skeletons for Reactive Systems. ATVA 2016: 271-286
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/FinkbeinerK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerK16
Bernd Finkbeiner, Felix Klein:
Bounded Cycle Synthesis. CAV (1) 2016: 118-135
[c66]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/FinkbeinerH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/FinkbeinerH16
Bernd Finkbeiner, Christopher Hahn:
Deciding Hyperproperties. CONCUR 2016: 13:1-13:14
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/FinkbeinerR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/FinkbeinerR16
Bernd Finkbeiner, Markus N. Rabe:
Verifying hyperproperties of hardware systems. FMCAD 2016: 5
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BartheDFH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BartheDFH16
Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns:
Facets of Software Doping. ISoLA (2) 2016: 601-608
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/BonakdarpourF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/BonakdarpourF16
Borzoo Bonakdarpour, Bernd Finkbeiner:
Runtime Verification for HyperLTL. RV 2016: 41-45
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/FaymonvilleFST16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/FaymonvilleFST16
Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah:
A Stream-Based Specification Language for Network Monitoring. RV 2016: 152-168
[c61]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DammFR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DammFR16
Werner Damm, Bernd Finkbeiner, Astrid Rakow:
What You Really Need To Know About Your Neighbor. SYNT@CAV 2016: 21-34
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/natosec/Finkbeiner16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/Finkbeiner16
Bernd Finkbeiner:
Synthesis of Reactive Systems. Dependable Software Systems Engineering 2016: 72-98
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/FinkbeinerK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FinkbeinerK16
Bernd Finkbeiner, Felix Klein:
Bounded Cycle Synthesis. CoRR abs/1605.01511 (2016)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/FinkbeinerH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FinkbeinerH16
Bernd Finkbeiner, Christopher Hahn:
Deciding Hyperproperties. CoRR abs/1606.07047 (2016)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/FinkbeinerZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FinkbeinerZ16
Bernd Finkbeiner, Martin Zimmermann:
The First-Order Logic of Hyperproperties. CoRR abs/1610.04388 (2016)
2015
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/FinkbeinerT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FinkbeinerT15
Bernd Finkbeiner, Leander Tentrup:
Detecting Unrealizability of Distributed Fault-tolerant Systems. Log. Methods Comput. Sci. 11(3) (2015)
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Finkbeiner15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Finkbeiner15
Bernd Finkbeiner:
Bounded Synthesis for Petri Games. Correct System Design 2015: 223-237
[c59]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/FinkbeinerRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerRS15
Bernd Finkbeiner, Markus N. Rabe, César Sánchez:
Algorithms for Model Checking HyperLTL and HyperCTL ^*. CAV (1) 2015: 30-48
[c58]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/FinkbeinerGO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerGO15
Bernd Finkbeiner, Manuel Gieseking, Ernst-Rüdiger Olderog:
Adam: Causality-Based Synthesis of Distributed Systems. CAV (1) 2015: 433-439
[e13]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/2015
Bernd Finkbeiner, Geguang Pu, Lijun Zhang:
Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Lecture Notes in Computer Science 9364, Springer 2015, ISBN 978-3-319-24952-0 [contents]
[e12]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2015gurevich
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2015gurevich
Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte:
Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. Lecture Notes in Computer Science 9300, Springer 2015, ISBN 978-3-319-23533-2 [contents]
2014
[j11]
- view
  - electronic edition @ degruyter.com
  - details & citations
- export record
  dblp key:
  - journals/it/FinkbeinerR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/it/FinkbeinerR14
Bernd Finkbeiner, Markus N. Rabe:
The linear-hyper-branching spectrum of temporal logics. it Inf. Technol. 56(6): 273-279 (2014)
[c57]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KupriyanovF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KupriyanovF14
Andrey Kupriyanov, Bernd Finkbeiner:
Causal Termination of Multi-threaded Programs. CAV 2014: 814-830
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/DammF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/DammF14
Werner Damm, Bernd Finkbeiner:
Automatic Compositional Synthesis of Distributed Systems. FM 2014: 179-193
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/FinkbeinerT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/FinkbeinerT14
Bernd Finkbeiner, Hazem Torfah:
Counting Models of Linear-Time Temporal Logic. LATA 2014: 360-371
[c54]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/post/ClarksonFKMRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/ClarksonFKMRS14
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez:
Temporal Logics for Hyperproperties. POST 2014: 265-284
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/FinkbeinerT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/FinkbeinerT14
Bernd Finkbeiner, Leander Tentrup:
Fast DQBF Refutation. SAT 2014: 243-251
[c52]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/FinkbeinerT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FinkbeinerT14
Bernd Finkbeiner, Leander Tentrup:
Detecting Unrealizable Specifications of Distributed Systems. TACAS 2014: 78-92
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/FaymonvilleFP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/FaymonvilleFP14
Peter Faymonville, Bernd Finkbeiner, Doron A. Peled:
Monitoring Parametric Temporal Logic. VMCAI 2014: 357-375
[c50]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/FinkbeinerO14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FinkbeinerO14
Bernd Finkbeiner, Ernst-Rüdiger Olderog:
Petri Games: Synthesis of Distributed Systems with Causal Memory. GandALF 2014: 217-230
[e11]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/FinkbeinerS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FinkbeinerS14
Bernd Finkbeiner, Armando Solar-Lezama:
Proceedings Second Workshop on Synthesis, SYNT 2013, Saint Petersburg, Russia, July 13th and July 14th, 2013. EPTCS 142, 2014 [contents]
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ClarksonFKMRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ClarksonFKMRS14
Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez:
Temporal Logics for Hyperproperties. CoRR abs/1401.4492 (2014)
2013
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/FinkbeinerS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/FinkbeinerS13
Bernd Finkbeiner, Sven Schewe:
Bounded synthesis. Int. J. Softw. Tools Technol. Transf. 15(5-6): 519-539 (2013)
[c49]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/Finkbeiner13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Finkbeiner13
Bernd Finkbeiner:
Transforming Undecidable Synthesis Problems into Decidable Problems. VPT@CAV 2013: 9
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/KovacsSF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/KovacsSF13
Máté Kovács, Helmut Seidl, Bernd Finkbeiner:
Relational abstract interpretation for the verification of 2-hypersafety properties. CCS 2013: 211-222
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/KupriyanovF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/KupriyanovF13
Andrey Kupriyanov, Bernd Finkbeiner:
Causality-Based Verification of Multi-threaded Programs. CONCUR 2013: 257-272
[c46]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1303-0790
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-0790
Rayna Dimitrova, Bernd Finkbeiner:
Lossy Channel Games under Incomplete Information. SR 2013: 43-51
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/FinkbeinerRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FinkbeinerRS13
Bernd Finkbeiner, Markus N. Rabe, César Sánchez:
A Temporal Logic for Hyperproperties. CoRR abs/1306.6657 (2013)
2012
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-0574
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-0574
Lars Kuhtz, Bernd Finkbeiner:
Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds. Log. Methods Comput. Sci. 8(4) (2012)
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/DimitrovaF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/DimitrovaF12
Rayna Dimitrova, Bernd Finkbeiner:
Counterexample-Guided Synthesis of Observation Predicates. FORMATS 2012: 107-122
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/PeterF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/PeterF12
Hans-Jörg Peter, Bernd Finkbeiner:
The Complexity of Bounded Synthesis for Timed Control with Partial Observability. FORMATS 2012: 204-219
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/DimitrovaFR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/DimitrovaFR12
Rayna Dimitrova, Bernd Finkbeiner, Markus N. Rabe:
Monitoring Temporal Information Flow. ISoLA (1) 2012: 342-357
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/itaero/0002EFP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itaero/0002EFP12
Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter:
FlexRay for Avionics: Automatic Verification with Parametric Physical Layers. Infotech@Aerospace 2012
[c41]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/FinkbeinerP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FinkbeinerP12
Bernd Finkbeiner, Hans-Jörg Peter:
Template-Based Controller Synthesis for Timed Systems. TACAS 2012: 392-406
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/DimitrovaFKRS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/DimitrovaFKRS12
Rayna Dimitrova, Bernd Finkbeiner, Máté Kovács, Markus N. Rabe, Helmut Seidl:
Model Checking Information Flow in Reactive Systems. VMCAI 2012: 169-185
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/FinkbeinerJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/FinkbeinerJ12
Bernd Finkbeiner, Swen Jacobs:
Lazy Synthesis. VMCAI 2012: 219-234
[e10]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1202-4229
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-4229
Johannes Reich, Bernd Finkbeiner:
Proceedings Second International Workshop on Interactions, Games and Protocols, IWIGP 2012, Tallinn, Estonia, 25th March 2012. EPTCS 78, 2012 [contents]
2011
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/KuhtzF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/KuhtzF11
Lars Kuhtz, Bernd Finkbeiner:
Weak Kripke Structures and LTL. CONCUR 2011: 419-433
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/DammF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/DammF11
Werner Damm, Bernd Finkbeiner:
Does It Pay to Extend the Perimeter of a World Model? FM 2011: 12-26
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/EhlersF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/EhlersF11
Rüdiger Ehlers, Bernd Finkbeiner:
Monitoring Realizability. RV 2011: 427-441
[c35]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-1240
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-1240
Rüdiger Ehlers, Bernd Finkbeiner:
Reactive Safety. GandALF 2011: 178-191
[e9]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1102-3741
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-3741
Johannes Reich, Bernd Finkbeiner:
Proceedings International Workshop on Interactions, Games and Protocols, iWIGP 2011, Saarbrücken, Germany, 27th March 2011. EPTCS 50, 2011 [contents]
2010
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/FinkbeinerPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/FinkbeinerPS10
Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe:
Synthesising certificates in networks of timed automata. IET Softw. 4(3): 222-235 (2010)
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/FinkbeinerS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/FinkbeinerS10
Bernd Finkbeiner, Sven Schewe:
Coordination Logic. CSL 2010: 305-319
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/GerkeEFP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/GerkeEFP10
Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter:
Model Checking the FlexRay Physical Layer Protocol. FMICS 2010: 132-147
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/EhlersF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/EhlersF10
Rüdiger Ehlers, Bernd Finkbeiner:
On the Virtue of Patience: Minimizing Büchi Automata. SPIN 2010: 129-145
[c31]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/DragerKFW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DragerKFW10
Klaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim:
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. TACAS 2010: 271-274
[c30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FinkbeinerGP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FinkbeinerGP10
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. MBT@ETAPS 2010: 1
[e8]
- view
- export record
  dblp key:
  - conf/mbt/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbt/2010
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS 2010, Paphos, Cyprus, March 21, 2010. Electronic Notes in Theoretical Computer Science 264(3), Elsevier 2010 [contents]
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/2010
Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann:
Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Lecture Notes in Computer Science 6418, Springer 2010, ISBN 978-3-642-16611-2 [contents]

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/DragerFP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/DragerFP09
Klaus Dräger, Bernd Finkbeiner, Andreas Podelski:
Directed model checking with distance-preserving abstractions. Int. J. Softw. Tools Technol. Transf. 11(1): 27-37 (2009)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/DimitrovaF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/DimitrovaF09
Rayna Dimitrova, Bernd Finkbeiner:
Synthesis of Fault-Tolerant Distributed Systems. ATVA 2009: 321-336
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/KuhtzF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/KuhtzF09
Lars Kuhtz, Bernd Finkbeiner:
LTL Path Checking Is Efficiently Parallelizable. ICALP (2) 2009: 235-246
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/FinkbeinerK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/FinkbeinerK09
Bernd Finkbeiner, Lars Kuhtz:
Monitor Circuits for LTL with Bounded and Unbounded Future. RV 2009: 60-75
[c26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FinkbeinerGP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FinkbeinerGP09
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. MBT@ETAPS 2009: 1
[e6]
- view
- export record
  dblp key:
  - conf/mbt/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbt/2009
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009. Electronic Notes in Theoretical Computer Science 253(2), Elsevier 2009 [contents]
2008
[j6]
- view
  - electronic edition @ iospress.com
  - details & citations
- export record
  dblp key:
  - journals/fuin/BrucknerDFW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BrucknerDFW08
Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim:
Slicing Abstractions. Fundam. Informaticae 89(4): 369-392 (2008)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/DragerF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/DragerF08
Klaus Dräger, Bernd Finkbeiner:
Subsequence Invariants. CONCUR 2008: 172-186
[c24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/DimitrovaF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/DimitrovaF08
Rayna Dimitrova, Bernd Finkbeiner:
Abstraction Refinement for Games with Incomplete Information. FSTTCS 2008: 175-186
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/FinkbeinerPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/FinkbeinerPS08
Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe:
Synthesizing Certificates in Networks of Timed Automata. RTSS 2008: 183-194
[c22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/FinkbeinerPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FinkbeinerPS08
Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe:
RESY: Requirement Synthesis for Compositional Model Checking. TACAS 2008: 463-466
[c21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FinkbeinerGP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FinkbeinerGP08
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. MBT@ETAPS 2008: 1
[e5]
- view
- export record
  dblp key:
  - conf/dagstuhl/2007P7011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2007P7011
Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky:
Runtime Verification, 02.01. - 06.01.2007. Dagstuhl Seminar Proceedings 07011, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents]
[e4]
- view
- export record
  dblp key:
  - conf/mbt/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbt/2008
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008. Electronic Notes in Theoretical Computer Science 220(1), Elsevier 2008 [contents]
2007
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/ScheweF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/ScheweF07
Sven Schewe, Bernd Finkbeiner:
Semi-automatic Distributed Synthesis. Int. J. Found. Comput. Sci. 18(1): 113-138 (2007)
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/ScheweF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ScheweF07
Sven Schewe, Bernd Finkbeiner:
Distributed Synthesis for Alternating-Time Logics. ATVA 2007: 268-283
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/ScheweF07a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ScheweF07a
Sven Schewe, Bernd Finkbeiner:
Bounded Synthesis. ATVA 2007: 474-488
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/BrucknerDFW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/BrucknerDFW07
Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim:
Slicing Abstractions. FSEN 2007: 17-32
[c17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/KupferschmidDHFDPB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KupferschmidDHFDPB07
Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann:
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking. TACAS 2007: 679-682
[c16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FinkbeinerGP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FinkbeinerGP07
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. MBT 2007: 1
[e3]
- view
- export record
  dblp key:
  - conf/mbt/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbt/2007
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007. Electronic Notes in Theoretical Computer Science 190(2), Elsevier 2007 [contents]
[i2]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/FinkbeinerHRS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/FinkbeinerHRS07
Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky:
07011 Executive Summary -- Runtime Verification. Runtime Verification 2007
[i1]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/FinkbeinerHRS07a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/FinkbeinerHRS07a
Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky:
07011 Abstracts Collection -- Runtime Verification. Runtime Verification 2007
2006
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/ScheweF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/ScheweF06
Sven Schewe, Bernd Finkbeiner:
Satisfiability and Finite Model Property for the Alternating-Time mu-Calculus. CSL 2006: 591-605
[c14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/FinkbeinerSB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/FinkbeinerSB06
Bernd Finkbeiner, Sven Schewe, Matthias Brill:
Automatic Synthesis of Assumptions for Compositional Model Checking. FORTE 2006: 143-158
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/ScheweF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/ScheweF06
Sven Schewe, Bernd Finkbeiner:
Synthesis of Asynchronous Systems. LOPSTR 2006: 127-142
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/DragerFP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/DragerFP06
Klaus Dräger, Bernd Finkbeiner, Andreas Podelski:
Directed Model Checking with Distance-Preserving Abstractions. SPIN 2006: 19-34
[c11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FinkbeinerGP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FinkbeinerGP06
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface. MBT 2006: 1
[e2]
- view
- export record
  dblp key:
  - conf/mbt/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbt/2006
Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006. Electronic Notes in Theoretical Computer Science 164(4), Elsevier 2006 [contents]
[e1]
- view
- export record
  dblp key:
  - conf/rv/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/2005
Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny Sipma:
Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV 2005, Edinburgh, UK, July 12, 2005. Electronic Notes in Theoretical Computer Science 144(4), Elsevier 2006 [contents]
2005
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/FinkbeinerSS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FinkbeinerSS05
Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma:
Collecting Statistics Over Runtime Executions. Formal Methods Syst. Des. 27(3): 253-274 (2005)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/FinkbeinerS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FinkbeinerS05
Bernd Finkbeiner, Sven Schewe:
Semi-automatic Distributed Synthesis. ATVA 2005: 263-277
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/FinkbeinerS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/FinkbeinerS05
Bernd Finkbeiner, Sven Schewe:
Uniform Distributed Synthesis. LICS 2005: 321-330
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/time/DAngeloSSRFSMM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/DAngeloSSRFSMM05
Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna:
LOLA: Runtime Monitoring of Synchronous Systems. TIME 2005: 166-174
[c7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BarringerFGS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BarringerFGS06
Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma:
Preface. RV@CAV 2005: 1
2004
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/FinkbeinerS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FinkbeinerS04
Bernd Finkbeiner, Henny Sipma:
Checking Finite Traces Using Alternating Automata. Formal Methods Syst. Des. 24(2): 101-127 (2004)
2002
[b1]
- view
  - electronic edition @ stanford.edu
  - details & citations
- export record
  dblp key:
  - phd/us/Finkbeiner02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Finkbeiner02
Bernd Finkbeiner:
Verification algorithms based on alternating automata. Stanford University, USA, 2002
[c6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FinkbeinerSS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FinkbeinerSS02
Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma:
Collecting Statistics over Runtime Executions. RV@FLoC 2002: 36-54
2001
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Finkbeiner01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Finkbeiner01
Bernd Finkbeiner:
Language Containment Checking with Nondeterministic BDDs. TACAS 2001: 24-38
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FinkbeinerS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FinkbeinerS01
Bernd Finkbeiner, Henny Sipma:
Checking Finite Traces using Alternating Automata. RV@CAV 2001: 147-163
2000
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BrowneFMS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BrowneFMS00
Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma:
The 'Cash-Point' Service: A Verification Case Study Using STeP. Formal Aspects Comput. 12(4): 218-219 (2000)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BjornerBCFMSU00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BjornerBCFMSU00
Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny Sipma, Tomás E. Uribe:
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. Formal Methods Syst. Des. 16(3): 227-270 (2000)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tssdv/MannaBBCFPSU98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tssdv/MannaBBCFPSU98
Zohar Manna, Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Mark C. Pichora, Henny B. Sipma, Tomás E. Uribe:
An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems. Tool Support for System Specification, Development and Verification 1998: 174-188
1997
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/compos/FinkbeinerMS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compos/FinkbeinerMS97
Bernd Finkbeiner, Zohar Manna, Henny Sipma:
Deductive Verification of Modular Systems. COMPOS 1997: 239-275
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/rtse/MannaCFSU97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtse/MannaCFSU97
Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe:
Abstraction and Modular Verification of Infinite-State Reactive Systems. Requirements Targeting Software and Systems Engineering 1997: 273-292

Coauthor Index

see FAQ

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.